$G = \mathbb{Q} / \mathbb{Z}$ surjective map and kernel isomorphism

Question

Let $G = \mathbb{Q} / \mathbb{Z}$, written additively. For all $n > 0$ how come $p_n(x) = nx$ is a surjective homomorphism from $G \rightarrow G$ and how come the kernel of $p_n(x)$ is isomorphic to $\mathbb{Z_{n}}$? I know that once the above are true that we can conclude that $G$ is isomorphic to a proper quotient of itself, but I can not figure out why the above two are true.

Answer 1

An easy proof results from the snake lemma: you have a commutative diagram of short exact sequences: \begin{alignat*}{3}\DeclareMathOperator{\coker}{coker} 0\longrightarrow &\mathbf Z\longrightarrow &&\mathbf Q\longrightarrow &&\mathbf Q/\mathbf Z\longrightarrow 0\\ m_\mathbf Z &{\downarrow} &m_\mathbf Q&\downarrow & &\downarrow m_{\mathbf Q/\mathbf Z}\\ 0\longrightarrow &\mathbf Z\longrightarrow &&\mathbf Q\longrightarrow &&\mathbf Q/\mathbf Z\longrightarrow 0 \end{alignat*} in which the vertical maps are multiplication by $n$. The snake lemma assets we have an exact sequence $$0\to \ker m_\mathbf Z\to \ker m_\mathbf Q\to\ker m_{\mathbf Q/\mathbf Z}\xrightarrow{\delta} \coker m_\mathbf Z\to \coker m_\mathbf Q\to\coker m_{\mathbf Q/\mathbf Z}\to 0 $$ Now $\ker m_\mathbf Z= \ker m_\mathbf Q=0$ and $ \coker m_\mathbf Q=0$, since we're in a field. So $\coker m_{\mathbf Q/\mathbf Z}=0$, which means multiplication by $n$ in $\mathbf Q/\mathbf Z$ is surjective, and this exact sequence reduces to $$0\to\ker m_{\mathbf Q/\mathbf Z}\xrightarrow{\delta} \coker m_\mathbf Z\to 0$$ and this means $\delta$ is an isomorphism from $\ker m_{\mathbf Q/\mathbf Z}$ onto $\coker m_\mathbf Z=\mathbf Z/n\mathbf Z$.