-1
$\begingroup$

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?

$\endgroup$
3
  • $\begingroup$ $(N \subset M) \leftrightarrow (M / N)$ $\endgroup$
    – name
    Apr 12, 2013 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, 2013 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$ Apr 12, 2013 at 14:04

1 Answer 1

0
$\begingroup$

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.

$\endgroup$
1
  • $\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, 2013 at 17:28

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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