4
$\begingroup$

Someone asked me about what is really the quotient $m\mathbb Z/n\mathbb Z$ looks like when $m|n$. Unfortunately, I did some handy calculations for him to convince him, but it didn't work. May someone help me to have a solid explanation about this group? Thank you!

2 Answers 2

7

If $m|n$ then $n\mathbb{Z}\lhd m\mathbb{Z}$. To see it's structure, look at the homomorphism $\varphi:m\mathbb{Z}\to \mathbb{Z}/\frac nm\mathbb{Z}$ defined by $\varphi(k)=\overline{\frac1m\cdot k}$ (the coset of $\frac1m\cdot k$). You can check that $\varphi$ is an epimorphism (onto) and $\ker(\varphi)=n\mathbb{Z}$. Hence, by the first isomorphism theorem, $m\mathbb{Z}/n\mathbb{Z}\cong \mathbb{Z}/\frac nm\mathbb{Z}$

1

$nZ$ is a normal subgroup of $mZ$. Thus, $mZ/nZ$ is the factor group.

  • 0
    Thank you but I wanted an answer in detailed.2012-12-01