MathOverflow is a question and answer site for professional mathematicians. 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

What is the (natural) bijection between the isomorphic class of sub modules and isomorphic class of quotient modules of a finitely generated torsion module over a PID. Is there any inclusion relation between these classes?

share|cite|improve this question
$(N \subset M) \leftrightarrow (M / N)$ – name Apr 12 '13 at 12:49
My intuitive guess is also this same correspondence. but I could not prove that non isomorphic sub modules have non isomorphic quotient modules.. is this very obvious? thanks. – GA316 Apr 12 '13 at 13:43
It's not true in general that non-isomorphic submodules give non-isomorphic quotients. For example, in the abelian group (i.e., $\mathbb Z$-module) $(\mathbb Z/4)\times(\mathbb Z/2)$, the cyclic subgroup $(\mathbb Z/4)\times0$ and the non-cyclic subgroup $(2\mathbb Z/4)\times(\mathbb Z/2)$ both produce quotients that are cyclic of order 2. – Andreas Blass Apr 12 '13 at 14:04
up vote 0 down vote accepted

If $M=R/(p^n)$ with $p$ prime, the result is clear. Since an arbitrary $M$ is a direct sum of such modules, the result is still clear.

share|cite|improve this answer
I try to prove the arbitrary case, for a particular sub module I could not identify the corresponding quotient module. can you explain me. – GA316 Apr 12 '13 at 17:28
thanks. general case I got some idea. – GA316 Apr 12 '13 at 17:45

Your Answer


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.