1: \begin{proof}

2: From the geometrical interpretation of the map, it should be clear that it is an injective group homomorphism. For a rigorous algebraic proof, see \cite{Lin}.

3: \end{proof}