Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Is $\mathbb{Z}/m\mathbb{Z}/n (\mathbb{Z}/m\mathbb{Z})=\mathbb{Z}/(m\mathbb{Z} +n \mathbb{Z})$?

Thanks.

share|cite|improve this question
up vote 5 down vote accepted

You are correct. The easy explanation is that you are modding out by $m$, then modding out by $n$, therefore to do it one step, you mod out both of them: i.e. the subgroup generated by both $m$ and $n$.

A calculation based on the isomorphism theorems is to observe $$n(\mathbb{Z} / m\mathbb{Z}) = (n \mathbb{Z} + m \mathbb{Z})/m \mathbb{Z}$$ and so

$$(\mathbb{Z} / m \mathbb{Z}) / n(\mathbb{Z} / m \mathbb{Z}) = (\mathbb{Z} / m \mathbb{Z}) / ((n \mathbb{Z} + m \mathbb{Z})/m \mathbb{Z}) = \mathbb{Z} / (n \mathbb{Z} + m \mathbb{Z}) $$

share|cite|improve this answer

Let $\mathbb{Z}/m\mathbb{Z}$ be generated by $a$. Then $n(\mathbb{Z}/m\mathbb{Z})$ is generated by $na$. So the result is $\mathbb{Z}/d\mathbb{Z}$ where $d=\text{gcd}(n,m)$, which is indeed the same as $\mathbb{Z}/(m\mathbb{Z}+n\mathbb{Z})$.

share|cite|improve this answer
    
but $mZ + nZ = dZ$ no? Z/dZ should not be the same as Z/(m/d)Z then... – user38268 Jan 11 '13 at 7:56

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.