Paper 4, Section II, E

Groups, Rings and Modules | Part IB, 2016

Let RR be a Noetherian ring and let MM be a finitely generated RR-module.

(a) Show that every submodule of MM is finitely generated.

(b) Show that each maximal element of the set

A={Ann⁡(m)∣0≠m∈M}\mathcal{A}=\{\operatorname{Ann}(m) \mid 0 \neq m \in M\}

is a prime ideal. [Here, maximal means maximal with respect to inclusion, and Ann⁡(m)={r∈R∣rm=0}.]\operatorname{Ann}(m)=\{r \in R \mid r m=0\} .]

(c) Show that there is a chain of submodules

0=M0⊆M1⊆⋯⊆Ml=M0=M_{0} \subseteq M_{1} \subseteq \cdots \subseteq M_{l}=M

such that for each 0<i⩽l0<i \leqslant l the quotient Mi/Mi−1M_{i} / M_{i-1} is isomorphic to R/PiR / P_{i} for some prime ideal PiP_{i}.

Typos? Please submit corrections to this page on GitHub.