Automorphism Group/Examples/Cyclic Group C8

From ProofWiki
Jump to navigation Jump to search

Example of Automorphism Group

The automorphism group of the cyclic group $C_8$ is the Klein $4$-group.


Proof

The cyclic group $C_8$ is isomorphic to the underlying group of the ring $\Z_8$.

So the elements of $C_8$ can be denoted by $\eqclass 0 8, \eqclass 1 8, \ldots, \eqclass 7 8$.

By Power of Generator of Cyclic Group is Generator iff Power is Coprime with Order, the generators of $C_8$ are exactly $\eqclass 1 8, \eqclass 3 8, \eqclass 5 8, \eqclass 7 8$.


By Automorphism Maps Generator to Generator and Homomorphism of Generated Group, there are exactly $4$ automorphisms for the group $C_8$, namely:

$\phi_1: \eqclass 1 8 \mapsto \eqclass 1 8$
$\phi_3: \eqclass 1 8 \mapsto \eqclass 3 8$
$\phi_5: \eqclass 1 8 \mapsto \eqclass 5 8$
$\phi_7: \eqclass 1 8 \mapsto \eqclass 7 8$



By direct computation, the Cayley table for these $4$ elements can be presented as:

$\begin{array}{c|cccc} & \phi_1 & \phi_3 & \phi_5 & \phi_7 \\ \hline \phi_1 & \phi_1 & \phi_3 & \phi_5 & \phi_7 \\ \phi_3 & \phi_3 & \phi_1 & \phi_7 & \phi_5 \\ \phi_5 & \phi_5 & \phi_7 & \phi_1 & \phi_3 \\ \phi_7 & \phi_7 & \phi_5 & \phi_3 & \phi_1 \\ \end{array}$

which is the same as the Cayley table of the Klein $4$-group.

This shows that the automorphism group of $C_8$ is isomorphic to the Klein $4$-group.

$\blacksquare$


Sources