Aut(Z_n): Automorphism Group of Z_n

Do check out our list of Recommended Undergraduate Math Books!

We prove that Aut(\mathbb{Z}_n)\cong (\mathbb{Z}/n\mathbb{Z})^*, also known as U(n) (easier to type).

Define \Psi: Aut(\mathbb{Z}_n)\to U(n) by \Psi(\phi)=\phi (1).

First we show that it is a homomorphism:

\begin{aligned}\Psi(\phi_1 \circ \phi_2)&=\phi_1(\phi_2(1))\\    &=\phi_1 (1+1+\cdots +1)\ \ \ (\phi_2 (1) \text{ times})\\    &=\phi_1 (1)+\phi_1 (1)+\cdots +\phi_1 (1)\ \ \ (\phi_2 (1) \text{ times})\\    &=\phi_2 (1) \cdot \phi_1 (1)\\    &=\Psi (\phi_2)\cdot \Psi (\phi_1)\\    &=\Psi (\phi_1) \cdot \Psi (\phi_2)\ \ \ \text{since} (\mathbb{Z}/n\mathbb{Z})^* \text{ is abelian.}    \end{aligned}

Next we show that it is injective:

\Psi (\phi) =1

Thus, \phi (1)=1.

Let x\in \mathbb{Z}_n.

\phi (x)=x\phi (1)=x\cdot 1=x.

Thus, the only automorphism that maps to 1 is the identity.

Thus, \ker \Psi is trivial.

Finally, we show that it is surjective.

Let x\in (\mathbb{Z}/n\mathbb{Z})^*. Consider \phi such that \phi (0)=0, \phi (1)=x, \phi (i)=ix, …, \phi (n-1)=(n-1)x.

We claim that \phi is an automorphism of \mathbb{Z}_n.

Firstly, we need to show that \{0,1,2,\cdots, n-1\}=x\{0, 1, 2, \cdots, n-1\}. This is because \gcd (x,n)=1. Hence if q is the order of x, i.e. qx\equiv 0 \pmod n, then n\vert qx, which implies that n\vert q which implies that q is at least n. Since the order of x is also at most n, q=n.

Finally, we have \phi(a+b)=(a+b)x=ax+bx=\phi (a)+\phi (b) and thus we may take \phi as the preimage of x.

Hence \Psi is surjective.

This is a detailed explanation of the proof, it can be made more concise to fit in a few paragraphs!

Related posts: Recommended Books for Math Students


About mathtuition88
This entry was posted in group theory and tagged , , , . Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.