Show that $\varphi (a) = a^n$ is an automorphism of $G$, if $G$ is abelian and $GCD(n, |G|)=1$ Let $G$ be abelian. Let $n \in \mathbb{Z}^+$ such that the order of $G$ and $n$ are relatively prime. Show that the function $\varphi : G \rightarrow G$ defined by $\varphi (a) = a^n $ is an automorphism for $a \in G$.
I'm stuck in proving 1-1-ness of the function. Let $a,b$ in $G$ such that $\varphi (x) = \varphi (y)$ then $a^n = b^n$. How can I show that $\varphi$ is 1-1 from here on out?
 A: I assume you have shown that $\phi$ is a homomorphism.
Showing that a homomorphism is injective is equivalent to showing that its kernel is trivial.
Let $a \in \ker \phi$. We want to show that $a=1$. Let $g$ be the order of $G$ and let $k$ be the order of $a$. By Lagrange's theorem, $k \mid g$. Since $a \in \ker \phi$, we know that $a^n = 1$. Hence $k \mid n$. Since $\gcd(n,g) = 1$, there exist $x,y \in \mathbb{Z}$ such that $nx + gy = 1$. Now $k$ divides both $g$ and $n$, so it divides (a multiple of) their sum $nx + gy$. So $k \mid nx + gy = 1$. Therefore $k=1$ (orders of elements are $>0$). So $a$ has order $1$. It follows that $a$ is the neutral element.
$\ker \phi$ is trivial, so $\phi$ is injective.
A: Fun fact to know that it works also the other way around: let $G$ be abelian, if $\varphi(a)=a^n$ is an automorphism of $G$, then gcd$(n,|G|)=1$. Proof: assume that gcd$(n,|G|) \neq 1$ and let $p$ be a prime dividing both $n$ and $|G|$. By Cauchy's Theorem, there is an $a \neq 1$, such that $a^p = 1$. But then $\varphi(a)=a^n=(a^p)^{\frac{n}{p}}=1^{\frac{n}{p}}=1=1^n=\varphi(1)$. Since $\varphi$ is injective, it follows that $a=1$, a contradiction.
A: Hint: use the fact that $ \gcd(|G|, n ) = 1 $, hence, by Euclid's algorithm (or from the mentioned Bézout's identity), there exist integer $ x,y $ such that 
$$ x|G| + yn = 1 $$ So
$$ a = a ^{x|G|}a^{yn} = a^{yn} = b^{yn} = b $$
A: You can either show that $\phi(x)=\phi(y)$ implies $x=y$ or if $x\neq y$ then $\phi(x)\neq\phi(y)$.
Let's use the latter, if $x\neq y$ then we have that $xy^{-1}\neq e$. This gives us that
$$\phi(xy^{-1})=\phi(x)\phi(y^{-1})=\phi(x)\phi(y)^{-1}=x^n (y^{n})^{-1}$$
for $x^n (y^{n})^{-1}=e$ we must have that $x^n=y^{-n}$ which is not possible as $x\neq y$
