-1

To show that,

$\operatorname{Aut}(\mathbb{Z}/n\mathbb{Z})\cong (\mathbb{Z}/n\mathbb{Z})^\times.$

What I feel is that if we show that "any automorphism $\phi:\mathbb{Z}/n\mathbb{Z}\longrightarrow\mathbb{Z}/n\mathbb{Z}$ is of the form $\phi_a([k]_n):=[ak]_n$ for some $a\in\mathbb{Z}$ such that gcd$(a,n)=1.$ then we are done.

But I am not sure how to do this? Thanks in advance.

Shaun
  • 44,997
WhatsDUI
  • 570
  • 1
  • 5
  • 18
  • You have all the parts to prove your assertion. – Joel Pereira Nov 25 '18 at 16:31
  • Can you think of a map from $(\mathbb{Z}/n\mathbb{Z})^\times$ to $\mathrm{Aut}(\mathbb{Z}/n\mathbb{Z})$? The first one that you can think of is an isomorphism: you just need to prove it. That it's a homomorphism is easy, as is injectivity. Surjectivity is slightly harder, and is essentially what's in your thought process. As a hint for that, consider where $\varphi$ sends $[1]_n$. – user3482749 Nov 25 '18 at 16:50
  • As for LaTeX on here: see here. – user3482749 Nov 25 '18 at 16:51

1 Answers1

2

$\mathbb{Z}/n\mathbb{Z}$ is cyclic generated by $1$. So an isomorphism $\phi$ is completely determined by what 1 gets map to. Because suppose $\phi(1)=k$ then $\phi(m)=\phi(1+1+1+...+1)=\phi(1)+\phi(1)+...+\phi(1)= m*k$. Also, you need to make sure $0$ is the only element that gets map to $0$ as we have a isomorphism not a homomorphism. So you can't have $f(1)=k$ where $k$ is a zero divisor as then f(z)=zk=0 for some $z \neq 0$. Which means $f(1)$ has to be invertible. Now you can check that $\alpha :Aut(\mathbb{Z}/n\mathbb{Z}) \rightarrow (\mathbb{Z}/n\mathbb{Z})^*$ by $\alpha(f)=f(1)$ is an isomorphism.

Automorphism ring is a way to construct ring from groups. you can check that the reason why multiplication of two negative numbers is positive is because the ring of integers is actually automorphism of the abelian additive group $\mathbb{Z}$. Because when you compose $f,g$ where $f(1)=-k$(sends all positive to negative),$g(1)=-n$(sends all positive to negative and vice-versa), you get that the composition of the two map sends all positive to all positive. Hope I got it right.

user614287
  • 1,147