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?

  • $\begingroup$ $(N \subset M) \leftrightarrow (M / N)$ $\endgroup$ – name Apr 12 '13 at 12:49
  • $\begingroup$ 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. $\endgroup$ – GA316 Apr 12 '13 at 13:43
  • 4
    $\begingroup$ 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. $\endgroup$ – Andreas Blass Apr 12 '13 at 14:04

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.

  • $\begingroup$ I try to prove the arbitrary case, for a particular sub module I could not identify the corresponding quotient module. can you explain me. $\endgroup$ – GA316 Apr 12 '13 at 17:28

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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