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)0mM}\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)={rRrm=0}.]\operatorname{Ann}(m)=\{r \in R \mid r m=0\} .]

(c) Show that there is a chain of submodules

0=M0M1Ml=M0=M_{0} \subseteq M_{1} \subseteq \cdots \subseteq M_{l}=M

such that for each 0<il0<i \leqslant l the quotient Mi/Mi1M_{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.