Let $t\in\mathbb{N}, t\geq 1,\, (G,+,0)$ abelian group $|G|=n$ and $\gcd(t,n)=1$
Let $f(x)=tx=\underbrace{x+\cdots+x}_{t\text{ summands}}.$
Prove $f\in \text{Aut}(G)$
I proved $f$ is an homomorphism now I want to prove $f$ is an isomorphism
- $f$ is injective because if $f(x)=f(y)$ $$tx=ty \Longleftrightarrow tx-ty=0 \Longleftrightarrow t(x-y)=0 \Longleftrightarrow x-y=0 \Longleftrightarrow x=y $$
- $f$ is surjective?
I think it is because if $y\in f(G)$ then $y=tx$ for $x\in G$ then $$f(x)=tx=y$$
Is this correct? I never used $\gcd(n,t)=1$ so why is that important?
Hint: Since $\gcd(n,t)=1$, by Bézout's Theorem, there exist $x,y\in\Bbb Z$ such that
$$xt+yn=1.$$
Consider
$$\begin{align} g:G&\to G,\\ a&\mapsto xa. \end{align}$$