Group Homomorphism from $\Z/n\Z$ to $\Z/m\Z$ When $m$ Divides $n$
Problem 613
Let $m$ and $n$ be positive integers such that $m \mid n$.
(a) Prove that the map $\phi:\Zmod{n} \to \Zmod{m}$ sending $a+n\Z$ to $a+m\Z$ for any $a\in \Z$ is well-defined.
(b) Prove that $\phi$ is a group homomorphism.
(c) Prove that $\phi$ is surjective.
(d) Determine the group structure of the kernel of $\phi$.
Sponsored Links
Contents
Proof.
(a) Prove that the map $\phi:\Zmod{n} \to \Zmod{m}$ sending $a+n\Z$ to $a+m\Z$ for any $a\in \Z$ is well-defined.
To show that $\phi$ is well-defined, we need show that the value of $\phi$ does not depends on the choice of representative $a$.
So suppose that $a+n\Z=a’+n\Z$ so that $a$ and $a’$ are two representatives for the same element.
This yields that $a-a’$ is divisible by $n$.
Now, $a+n\Z$ is mapped to $a+m\Z$ by $\phi$. On the other hand, $a’+n\Z$ is mapped to $a+m\Z$ by $\phi$.
Since $a-a’$ is divisible by $n$ and $m \mid n$, it follows that $a-a’$ is divisible by $m$.
This implies that $a+m\Z=a’+m\Z$.
This prove that $\phi$ does not depend on the choice of the representative, and hence $\phi$ is well-defined.
(b) Prove that $\phi$ is a group homomorphism.
Let $a+n\Z$, $b+n\Z$ be two elements in $\Zmod{n}$. Then we have
\begin{align*}
&\phi\left(\, (a+n\Z)+(b+n\Z) \,\right)\\
&=\phi\left(\, (a+b)+n\Z) \,\right) &&\text{by addition in $\Zmod{n}$}\\
&=(a+b)+m\Z &&\text{by definition of $\phi$}\\
&=(a+m\Z)+(b+m\Z)&&\text{by addition in $\Zmod{m}$}\\
&=\phi(a+n\Z)+\phi(b+n\Z) &&\text{by definition of $\phi$}.
\end{align*}
Hence $\phi$ is a group homomorphism.
(c) Prove that $\phi$ is surjective.
For any $c+m\Z \in \Zmod{m}$, we pick $c+n\Z\in \Zmod{n}$.
Then as $\phi(c+n\Z)=c+m\Z$, we see that $\phi$ is surjective.
(d) Determine the group structure of the kernel of $\phi$.
If $a+n\Z\in \ker(\phi)$, then we have $0+m\Z=\phi(a+n\Z)=a+m\Z$.
This implies that $m\mid a$.
On the other hand, if $m\mid a$, then $\phi(a+n\Z)=a+m\Z=0+m\Z$ and $a+n\Z\in \ker(\phi)$.
It follows that
\[\ker(\phi)=\{mk+n\Z \mid k=0, 1, \dots, l-1\},\]
where $l$ is an integer such that $n=ml$.
Thus, $\ker(\phi)$ is a group of order $l$.
Since $\ker(\phi)$ is a subgroup of the cyclic group $\Zmod{n}$, we know that $\ker(\phi)$ is also cyclic.
Thus
\[\ker(\phi)\cong \Zmod{l}.\]
Another approach
Here is a more direct proof of this result.
Define a map $\psi:\Z\to \ker(\phi)$ by sending $k\in \Z$ to $mk+n\Z$.
It is straightforward to verify that $\psi$ is a surjective group homomorphism and the kernel of $\psi$ is $\ker(\psi)=l\Z$.
It follows from the first isomorphism theorem that
\[\Zmod{l}= \Z/\ker(\psi) \cong \im(\psi)=\ker(\phi). \]
Add to solve later
Sponsored Links