quasar987

Science Advisor

Homework Helper

Gold Member

- 4,771

- 7

**[SOLVED] Algebra - modules**

**1. Homework Statement**

I'm reading this proof from D&F and there's something I dont get. It is theorem 1 of chapter 12 on modules over principal ideal domains. The theorem is the following

"Let R be a ring and let M be a left R-module. Then,

(Ever nonempty set of submodules of M contains a maximal element under inclusion) ==> (Every submodule of M is finitely generated)"

The authors prove this assertion by letting N be a submodule of M and denoting S the collection of all finitely generated submodules of N. The hypothesis guarantees the existence of a maximal element N' of S, and we'd be happy if N'=N. So suppose N' is different from N and consider an element x in N\N'. Then the submodule of N generated by {x}uN' is finitely generated, thus violating the maximality of N'.

**3. The Attempt at a Solution**

How is this so? Notice that R is not assumed to have a 1. So there is nothing I can see that guarantees that N' is contained, let alone properly contained, in <{x}uN'>.