• Support PF! Buy your school textbooks, materials and every day products Here!

Algebra - modules

  • Thread starter quasar987
  • Start date
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'>.
 

Answers and Replies

Related Threads for: Algebra - modules

  • Last Post
2
Replies
28
Views
3K
  • Last Post
Replies
1
Views
924
Replies
0
Views
891
  • Last Post
Replies
1
Views
3K
  • Last Post
Replies
7
Views
3K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
1
Views
599
  • Last Post
Replies
1
Views
1K
Top