I'm trying to get the hang of this theorem by solving some exercises involving it. One of those says: Prove that $(\mathbb{Q},+)/\mathbb{Z}$ is isomorphic to $(U_\infty,\cdot)$, where $U_\infty = \{ z \in C\mid z^n = 1, n \in \mathbb{N} \}$.
I know I need to find a morphism from $(\mathbb{Q},+)$ to $(U_\infty,\cdot)$ such that $\ker(f) = \mathbb{Z}$. I believe that $f(x)=\cos(2\pi x)+i \sin(2\pi x)$ does the trick, but I'm not sure. Could anyone tell me if this is correct, and if not, give another example of a function?
I'm going to provide a full answer to the problem. The morphism $f:(\mathbb Q,\rightarrow (U_\infty, \cdot), f(x)=(\cos(2\pi x), \sin(2\pi x))$ is a group morphism and $\ker f=\mathbb Z$.
Now let us see that $f$ is onto. Choose $z\in U_\infty$, and we want to find $x\in\mathbb Q$ so that $f(x)=z$. As $z\in U_\infty$, there exists $n\in\mathbb N$ so that $z^n=1$. Now, let us write $z=\cos (\theta) + i\sin(\theta)$. As $z^n=1$, $|z|^n=1$ so $|z|=1$. We have
$$z^n=1=\cos(n\theta)+i\sin(n\theta) \Rightarrow \cos n\theta =1 $$ so $n\theta= 2\pi m$ with $m\in\mathbb N$, and $\theta=\frac{2m}{n}\pi$.
That means $$z=\cos\left(\frac{2m}{n}\pi\right), \sin\left(\frac{2m}{n}\pi\right) = f\left(\frac mn\right)$$ as we wanted to prove.