Does every permutation of group generators imply an automorphism?

[Boorglar]

I couldn't find the words to summarize my question perfectly in the title so I will clarify my question here.

Say we have a group G in which every element can be written in the form g_1^{e_1} g_2^{e_2}...g_n^{e_n}, 0 ≤ e_i < |g_i|.

Suppose that there exists a different set g_1', g_2', ..., g_n' that generates G in the same way: g = g_1'^{e'_1} g_2'^{e'_2}...g_n'^{e'_n}, 0 ≤ e'_i ≤ |g'_i| where |g'_i| = |g_i|. (As a concrete example, think of Dn, in which every element can be written as s^i r^j, 0 ≤ i < 2, 0 ≤ j < n and r can be any rotation of order n, and s can be any reflection).

Then suppose \phi: G → G is an automorphism. Then \phi is completely determined by its effect on the generators of G. But are we guaranteed that switching g_i, g'_i always guarantees an automorphism, and that all values of \phi for the generators are independent?

For example, in Dn, can I define \phi(r) to be any rotation with order n, and define \phi(s) to be any reflection? Does the choice of \phi(s) depend on \phi(r)?

 

[micromass]

Here's a nice counterexample. Consider the group $S_4$, this can be visualized as:

The blue arrow is just applying $B= (1~2~3)$. The red arrows are applying $R = (1~4~3~2)$.

The entire group structure is visible from this diagram. For example, we see that $B^3 = I$. Indeed, pick an arbitrary point (for example $1234$ in the bottom left corner), follow the blue arrows 3 times and you end up at the same point. In the same way, we see that $R^4 = I$. Furthermore, we see easily that this generates the group.

Now, consider $\varphi(B) = RRBB$ (I use the usual composition notation, thus: follow blue two times, then follows red two times). We see that $(RRBB)^3 = I$.
Furthermore, we send $\varphi(R) = BRB$. We see that $(BRB)^4 = I$.

However, we can easily check that $RBR = BB$. But
\varphi(RBR) = BRBRRBBBRB \neq RRBBRRBB = \varphi(BB)

Indeed, if we start from $1234$ and we follow $BRBRRBBBRB$, then we end up with $1432$. And if we follow $RRBBRRBB$, then we end up with $4132$.

All of this can be checked algebraically as well, but it's tedious.

The difference with your example is that your example, we could write any example in a unique way in the form $r^a s^b$. This decomposition is not unique in my $S_4$ example. The difference is essentially that the dihedral group is a semi-direct product, while $S_4$ is not.

 

[Boorglar]

Right, and then \phi isn't well-defined. Ok, so we need to require that the factorization be unique?
About S_4, I have the conjecture that you can replace the generator with another generator of the same order reachable by at most one more "color-change" than it, starting from the identity. Like, for BB = (231) we can only switch it with a generator that has at most one color change. Like B B* R* where * means repeat an arbitrary number of times.

EDIT: ah no nevermind that. I don't think it works.

 

[micromass]

I'm not sure what your conjecture is really. But this should help: the automorphisms of $S_4$ are exactly of the form

\varphi:S_4\rightarrow S_4:g\rightarrow hgh^{-1}

where $h\in S_4$ is fixed. Thus the possible elements that $B$ (or any other element) can be sent to by an automorphism is given by $\{hBh^{-1}~\vert~h\in S_4\}$. This is the conjugacy class of $B$: http://en.wikipedia.org/wiki/Conjugacy_class

 

[Boorglar]

yeah what I said didn't really make sense.

So for S4 the set of all automorphisms is the same as the setof inner automorphisms?

If the factorization is unique, as it is for Dn, is it true that the elementary rotation can be sent to any other rotation of order n, and any reflection can be sent to any other reflection?

 

[micromass]

So for S4 the set of all automorphisms is the same as the setof inner automorphisms?

Indeed.

If the factorization is unique, as it is for Dn, is it true that the elementary rotation can be sent to any other generating rotation, and any reflection can be sent to any other reflection?

My gut feeling says yes, but you probably want to prove this.

 

[Boorglar]

I'm not really sure. I actually think that we need to add the requirement that the two sets of generators behave in the same way when multiplied. For Dn, for example, we should also say that s'r's' = r'^(-1).

In this case this is how I would try to prove it:

Suppose g_1, ..., g_n are the generators, and every element of G can be factored in a unique way in the form g = g_1^{e_1}...g_n^{e_n}. Then there is a one-to-one correspondence between g and the n-tuple (e_1, ..., e_n ) so I'll use the n-tuple as shorthand. Then we must look at how (e_1, ..., e_n ) behaves when multiplied by another n-tuple. We can define the product of two n-tuples as being the n-tuple consisting of the exponents of the g_i after multiplying the corresponding elements. For example in abelian groups, this is simply the addition operation in Z_{|g_1|} × ... × Z_{|g_n|}.
For D_n, s^ir^j \rightarrow (i, j) and (i, j) * ( i', j') = ( i + i' (mod 2), (-1)^{i'}j + j' (mod n) ) corresponding to the fact that sr = r^{-1}s.

In both cases (e_1, ... e_n ) * ( e'_1, ... e'_n ) = ( f_1( e_1, ..., e_n, e'_1, ..., e'_n ), ..., f_n( e_1, ... e_n, e'_1, ..., e'_n ) ).

So the requirement is that f_1, ..., f_n be the same for both sets of generators.

In that case, let \phi be an automorphism which sends the generating set to another set with the same f_i. Then by the previous equation, \phi( (e_1, ..., e_n ) * ( e'_1, ..., e'_n ) ) = \phi( ( f_1( e_1, ..., e_n, e'_1, ..., e'_n ), ..., f_n( e_1, ... e_n, e'_1, ..., e'_n ) ) = ( f_1( e_1, ..., e_n, e'_1, ..., e'_n ), ..., f_n( e_1, ... e_n, e'_1, ..., e'_n ) ) = ( e_1, ..., e_n ) * ( e'_1, ..., e'_n ) = \phi( ( e_1, ..., e_n ) ) * \phi( ( e'_1, ..., e'_n ) ).

So it is indeed an automorphism.

(To clarify a bit, 'cause I know this was very messy, the n-tuples represent only the exponents. The automorphism only changes the generators, not the exponents so this is why the n-tuples don't change after applying phi)

 

[Boorglar]

So if for some reason, there were elements s' and r' of order 2 and n in Dn that didn't follow s'r' = r'^(-1)s then we would not be allowed to switch them with the generators s and r.

We can check every pair of generators g_i, g_j and see how their exponents change after commuting them: g_i * g_j = g_i^{x_{ij}}g_j^{x_{ji}}. Then the functions are essentially determined by all values of x_{ij}, x_{ji}.