Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm looking for a geometrical interpretation of the action of automorphisms of cyclic groups. I'll take one particular example to make it clear :

I'm taking the cyclic group $\mathbb{Z}_{12}$, which has $\mathbb{Z}_2 \times \mathbb{Z}_2$ as it automorphism group. Considering the integers modulo 12, the automorphisms are the multiplications by 1, 5, 7 or 11.

I'm considering now the action of $\mathbb{Z}_{12}$ on a discretized circle of 12 points in a plane (an dodecagon). The action of multiplying by 11 (left figure below) corresponds to a geometrical reflection in the plane, and I recover the dihedral group of symmetries of the dodecagon.

enter image description here

However, multiplication by 5 or 7 sends shapes drawn on this circle to different shapes, and I find no obvious geometrical meaning to these. Is there any ? (For example in the right figure above, the action of multiplying by 5 on the purple triangle gives the green triangle, with no obvious relation between them) Since these automorphisms can be considered as affine transformations, and affine spaces can be considered as subspaces of projective spaces, I'm considering working in the projective line over the field of 13 elements but for now I'm getting nowhere...


Edit:

This post was edited as my original message was dealing with $\mathbb{Z}_8$. Interestingly, although $\mathbb{Z}_8$ has the same automorphism group, all multiplications correspond to geometrical reflections in the plane....

share|improve this question
    
I didn't quite understand what kind of a geometric object you are looking for in the general case. To get the octagon out of $\mathbf{Z}_8$ you label the vertices of the octagon with the elements of the group. Then you join two vertices, iff their labels differ by the chosen generator 1 of your group. Then you hope that if you apply an automorphism of the group to the labels of the vertices, you also get an automorphism of this graph? But for that to happen you also need to join the pairs of vertices with labels differing from each other by 3. Is that what you want? –  Jyrki Lahtonen Aug 23 '11 at 19:05
    
I just edited my post, and sorry for not giving enough details, but yes, the dodecagon is labelled by powers of the element of order 12... As said in my question, I'd like to know if there is a geometrical interpretation to the distorsion of the green triangle (or any other for that matter) in the case of multiplication by 5 or 7... –  AlexPof Aug 23 '11 at 20:37
    
The only reason you see geometry behind some some automorphisms and not others is because of the arbitrariness of the choice of generator. Change the generator, and you change which automorphims have an obvious geometric meaning. You could also up the number of dimensions you're working in until there exists a configuration where every automorphism identifies with an affine transformation (maximum dimension needed would be the order of the group, naturally). –  anon Aug 23 '11 at 21:50
    
I'm still somewhat confused by what you mean, when you say that "I recover the dihedral symmetries of the dodecahedron''. I don't see the rotations of the dodecahedron arising as automorphism of the group $G=\mathbf{Z}_{12}$! Any automorphism of $G$ will keep the vertex labelled $e$ fixed. I do realize that the action of the group $G$ on the set of 12 vertices gives you the rotations. But you seem to want two groups, $G$ and $Aut(G)$, to both act on your graph in a compatible way in the sense that action by $G$ labels the vertices with elements of $G$, and then $Aut(G)$ acts on the labels?? –  Jyrki Lahtonen Aug 24 '11 at 5:59
    
@anon: I think I see what you're saying (which is similar to the answers below). If I understand correctly, I should find a representation $\rho$ of $\mathbb{Z}_{12}$ in a vector space V, such that there exist a single $M_{\psi}$ $\in$ GL(V) such that $\forall g \in \mathbb{Z}_{12}, \rho(\psi(g))=M_{\psi}*\rho(g)$ (with $\psi$ an automorphism) ? Is there a construction or brute force should be applied :) ? –  AlexPof Aug 24 '11 at 13:00

2 Answers 2

up vote 1 down vote accepted

You can see the automorphisms of $Z_{12}$ as nice geometric transformations if you are willing to treat them separately.

-The identity (multiplication by 1) is always "geometric".

-Multiplication by -1 (or 11) is geometric in that it is realized by a reflection in the dodecahedron in your original post: the reflection fixes 0 and 6 = -6 (mod 12).

-Multiplication by 5 can be realized as follows. First count the fixed points. In other words solve $5x = x$ or $4x = 0$ in $\mathbb{Z}_12$. The solutions are 0, 3, 6, and 9. Now, view the group as the vertices of a rectangular hexagonal prism. Let $P$ be the prism, and let $H_b$ and $H_t$ be the bottom and top hexagons. Label the bottom vertices 0, 2, 4, 6, 8, 10 (cyclically) and label the top vertices 3, 5, 7, 9, 11, 1 so that 0 is joined to 3 by a vertical edge of the prism, 2 is joined to 5, etc. The underlying graph is almost the Cayley graph of $Z_{12}$ with respect to the (additive) generating set $\{2,3\}$; add the additional edges for the generator 3 to complete the Cayley graph. Multiplication by 5 is realized by a reflection. The fixed points are 0, 3, 6, and 9.

-Multiplication by 7 is realized in the same fashion. The fixed points are the solutions to $6x = 0$, i.e. 0, 2, 4, 6, 8, and 10. This time consider the Cayley graph with respect to the generating set $\{3, 4\}$. There is an nice reflection of this graph with the desired fixed points. (You should see three squares and 4 triangles; it can be nicely visualized on a torus, for instance.)

share|improve this answer
    
Thanks, this answer really speaks to me, but I like Vladimir's too... –  AlexPof Aug 25 '11 at 7:10

You can't say that you are considering THE action of $\mathbb Z_8$ on the circle because there are FOUR such faithful actions and three unfaithful actions. For the faithful ones, the generator, 1, can either be rotation by $\frac{2\pi}8=45^\circ$, rotation by $3\cdot\frac{2\pi}8=135^\circ$, rotation by $5\cdot\frac{2\pi}8=225^\circ$, or rotation by $7\cdot\frac{2\pi}8=315^\circ$. For the unfaithful ones, it can be rotation by $90^\circ$, $270^\circ$ or $180^\circ$.

The first geometric interpretation of the four automorphisms of $\mathbb Z_8$ is that they allow you to pass from one choice of faithful action to another choice of faithful action. In general, the endomorphisms of $\mathbb Z_8$ (which are given by the monoid of $\mathbb Z_8$ considered multiplicatively) allow one to pass from one choice of action to another choice of action. This probably does not seem terribly satisfactory, so below is a second geometric interpretation.

Each of the endomorphisms of $\mathbb Z_8$ corresponds (irrelevant of faithful action) to an endomorphism of the circle group, and endomorphisms of the circle group can be thought of as winding the plane around itself $x$ times.

So if you consider the set of vertices of your octagon, the geometric interpretation of an endomorphism $x\in\mathbb Z_8$ is that it acts on the vertices by winding the plane around itself $x$ times. This is why you the octagon becomes a star, one is the winding of the other.

The reason why the octagon is not preserved (but its set of vertices is) is that winding around actually changes the angles (e.g. $45^\circ$ become $3\cdot45^\circ=135^\circ$) and so distances must also change.

share|improve this answer
    
I voted for the other answer, but I like this answer too. If I could have voted for both, I would have... –  AlexPof Aug 25 '11 at 7:09
    
Thanks, AlexPof. There is a difference between voting for and accepting an answer though: voting is clicking on the up-arrow and indicates how useful the answer is, accepting (clicking the checkmark) is whether that answer is the one you're looking for. Though you can accept only one answer to a question you ask, you can vote for as many answers as you like (apologies if you already know this and have simply chosen not to use the voting mechanism; your profile seems to indicate you haven't properly voted for anything). –  Vladimir Sotirov Aug 25 '11 at 13:23
    
Sorry, I meant accepting... and I didn't think of accepting answers myself, I thought it was more or less a ranking system by other members... –  AlexPof Aug 26 '11 at 19:06
    
Coming back to another of my issues, am I really on the wrong way when trying to find a relation with projective spaces ? For example, mathoverflow.net/questions/13897/… considers the holomorph of a cyclic group of power prime order as an affine group of transformations over the corresponding field. However, 12 is not a prime power, so that's why I was considering working with the projective space over $\mathbb{F}_{11}$ or $\mathbb{F}_{13}$ –  AlexPof Aug 26 '11 at 19:35

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.