- #1

mesarmath

- 8

- 0

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

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter mesarmath
- Start date

- #1

mesarmath

- 8

- 0

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

Eynstone

- 336

- 0

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.

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:

- #3

mesarmath

- 8

- 0

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.

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:

Share:

- Last Post

- Replies
- 0

- Views
- 569

- Last Post

- Replies
- 4

- Views
- 328

- Last Post

- Replies
- 1

- Views
- 199

- Replies
- 1

- Views
- 749

- Replies
- 13

- Views
- 2K

- Replies
- 7

- Views
- 932

- Last Post

- Replies
- 0

- Views
- 1K

- Last Post

- Replies
- 2

- Views
- 2K

- Last Post

- Replies
- 1

- Views
- 978

- Last Post

- Replies
- 2

- Views
- 787