Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Submodule of a cyclic R-module

  1. Mar 16, 2010 #1

    i want to show that If R is a PID then a submodule of a cyclic R-module is also cyclic.

    do i need to use fundamental theorem for finitely generated R-module over R PID ?

    thanks in advance
  2. jcsd
  3. Mar 17, 2010 #2
    The module will be a direct sum of cyclic modules (see http://en.wikipedia.org/wiki/Structure_theorem_for_finitely_generated_modules_over_a_principal_ideal_domain).The [Broken] module is cyclic or 1-generated,say by g .Let the submodule contain independent generators (x1,x2,..,xn).If y1 = r1*x1 +...rn*xn = ug
    and y2 = s1*x1+.......sn*xn = vg were independent , the corresponding ideal (u,v) in the ring will not be 1-generated. This is impossible, as the ring is a PID.
    Last edited by a moderator: May 4, 2017
  4. Mar 17, 2010 #3
    thanks so much

    but your last implication was not so obvious, at least for me :)

    but i did it myself

    thanks a lot again
    Last edited by a moderator: May 4, 2017
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook