I am reading J A Beachy's Book, Introductory Lectures on Rings and Modules"... ...(adsbygoogle = window.adsbygoogle || []).push({});

I am currently focused on Chapter 2: Modules ... and in particular Section 2.4: Chain Conditions ...

I need help with the proof of Proposition 2.4.5 ...

Proposition 2.4.5 reads as follows:

In the above text by Beachy ... in the proof of part (a) ... we read the following:

"... ... ... Conversely, assume that ##N## and ##M/N## are Noetherian, and let ##M_0## be a submodule of ##M##. Then ##M_0 \cap N## and ##M_0 / ( M_0 \cap N ) \cong (M_0 + N) / N## are both finitely generated, so ##M_0## is finitely generated ... ... ...

I am very unsure of this part of the proof ... but overall Beachy seems to be trying to prove that an arbitrary submodule of ##M##, namely ##M_0##, is finitely generated ... ... and this means that ##M## is Noetherian ...

(Beachy, in his Proposition 2.4.3 has shown that every submodule of ##M## being finitely generated is equivalent to ##M## being Noetherian ... ... )

BUT ... I do not see how it follows in the above that ... ... ##M_0 \cap N## and ##M_0 / ( M_0 \cap N ) \cong (M_0 + N) / N## are both finitely generated ... ... AND ... exactly why it then follows that ##M_0## is finitely generated ... ...

Hope someone can help ...

Peter

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# I Noetherian Modules and Submodules

Have something to add?

Draft saved
Draft deleted

Loading...

Similar Threads for Noetherian Modules Submodules |
---|

I Generating modules and sub modules Blyth Theorem 2.3 |

I Generating/spanning modules and submodules ... ... |

A A decreasing sequence of images of an endomorphisme |

I Noetherian Modules - Bland, Example 3, Section 4.2 ... |

I Noetherian Modules ... Cohn Theorem 2.2 ... ... |

**Physics Forums | Science Articles, Homework Help, Discussion**