- #1

Math Amateur

Gold Member

MHB

- 3,998

- 48

I am reading Paul E. Bland's book, "Rings and Their Modules".

I am focused on Section 4.2: Noetherian and Artinian Modules and need some help to fully understand Example 4 on page 108 ... ...

Example 4 reads as follows:

In the above text, I do not understand the proof that ##R## is not left Noetherian ... I hope someone can clearly explain the way the proof works ...To try to clarify my lack of understanding of the proof ... Bland, in the above text writes ... ..." ... ... On the other hand, ##\mathbb{Q}## is not Noetherian when viewed as a ##\mathbb{Z}##-module.

Hence if ##S_1 \subseteq S_2 \subseteq S_3 \subseteq## ... ... is a non-terminating chain of ##\mathbb{Z}##-modules of ##\mathbb{Q}##, then##\begin{pmatrix} 0 & S_1 \\ 0 & 0 \end{pmatrix} \subseteq \begin{pmatrix} 0 & S_2 \\ 0 & 0 \end{pmatrix} \subseteq \begin{pmatrix} 0 & S_3 \\ 0 & 0 \end{pmatrix} \subseteq## ... ... is a non-terminating chain of left ideals of ##R## ... ... "

Hope someone can help ...

Peter

I am focused on Section 4.2: Noetherian and Artinian Modules and need some help to fully understand Example 4 on page 108 ... ...

Example 4 reads as follows:

In the above text, I do not understand the proof that ##R## is not left Noetherian ... I hope someone can clearly explain the way the proof works ...To try to clarify my lack of understanding of the proof ... Bland, in the above text writes ... ..." ... ... On the other hand, ##\mathbb{Q}## is not Noetherian when viewed as a ##\mathbb{Z}##-module.

Hence if ##S_1 \subseteq S_2 \subseteq S_3 \subseteq## ... ... is a non-terminating chain of ##\mathbb{Z}##-modules of ##\mathbb{Q}##, then##\begin{pmatrix} 0 & S_1 \\ 0 & 0 \end{pmatrix} \subseteq \begin{pmatrix} 0 & S_2 \\ 0 & 0 \end{pmatrix} \subseteq \begin{pmatrix} 0 & S_3 \\ 0 & 0 \end{pmatrix} \subseteq## ... ... is a non-terminating chain of left ideals of ##R## ... ... "

*What is the justification for regarding ##\mathbb{Q}## as a ##\mathbb{Z}##-module ... indeed, couldn't we have done this while trying to prove/justify that ##R## was right Noetherian and ended up with a non-terminating chain of right ideals of ##R## ...Why is ##\mathbb{Q}## not Noetherian when viewed as a ##\mathbb{Z}##-module ... ... ?Can someone please simply and clearly explain the proof of ##R## not being left Noetherian ... ... ?***My questions are as follows:**Hope someone can help ...

Peter