- #1
Math Amateur
Gold Member
MHB
- 3,998
- 48
I am reading "Introduction to Ring Theory" by P. M. Cohn (Springer Undergraduate Mathematics Series)
In Chapter 2: Linear Algebras and Artinian Rings we find Theorem 2.2 on Noetherian modules. I need help with showing that "every module of M is finitely generated" implies that "M is Noetherian"
Theorem 2 reads as follows:View attachment 3166
https://www.physicsforums.com/attachments/3167In the above text [at the very end of the text - in the argument for \(\displaystyle (d) \Longrightarrow (a)\)] we read:
" … … If \(\displaystyle a_j \in N_{i_j}\) and \(\displaystyle k = \text{max} \{ i_1, \ … \ … \ i_r \}\), then equality holds in our chain from N_k onwards … … "
I do not follow the argument in the above text … indeed, I am having some trouble interpreting the exact meaning of \(\displaystyle a_j \in N_{i_j}\) … …
Can someone please help me to understand the above argument and notation … my apologies to readers for not being able to make my question/confusion clearer …
Hope someone can help.
Peter
In Chapter 2: Linear Algebras and Artinian Rings we find Theorem 2.2 on Noetherian modules. I need help with showing that "every module of M is finitely generated" implies that "M is Noetherian"
Theorem 2 reads as follows:View attachment 3166
https://www.physicsforums.com/attachments/3167In the above text [at the very end of the text - in the argument for \(\displaystyle (d) \Longrightarrow (a)\)] we read:
" … … If \(\displaystyle a_j \in N_{i_j}\) and \(\displaystyle k = \text{max} \{ i_1, \ … \ … \ i_r \}\), then equality holds in our chain from N_k onwards … … "
I do not follow the argument in the above text … indeed, I am having some trouble interpreting the exact meaning of \(\displaystyle a_j \in N_{i_j}\) … …
Can someone please help me to understand the above argument and notation … my apologies to readers for not being able to make my question/confusion clearer …
Hope someone can help.
Peter