Automorphism Group/Examples/Cyclic Group C8

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.