Lemma 10.62.1. Let $R$ be a Noetherian ring, and let $M$ be a finite $R$-module. There exists a filtration by $R$-submodules
such that each quotient $M_ i/M_{i-1}$ is isomorphic to $R/\mathfrak p_ i$ for some prime ideal $\mathfrak p_ i$ of $R$.
Lemma 10.62.1. Let $R$ be a Noetherian ring, and let $M$ be a finite $R$-module. There exists a filtration by $R$-submodules
such that each quotient $M_ i/M_{i-1}$ is isomorphic to $R/\mathfrak p_ i$ for some prime ideal $\mathfrak p_ i$ of $R$.
First proof. By Lemma 10.5.4 it suffices to do the case $M = R/I$ for some ideal $I$. Consider the set $S$ of ideals $J$ such that the lemma does not hold for the module $R/J$, and order it by inclusion. To arrive at a contradiction, assume that $S$ is not empty. Because $R$ is Noetherian, $S$ has a maximal element $J$. By definition of $S$, the ideal $J$ cannot be prime. Pick $a, b\in R$ such that $ab \in J$, but neither $a \in J$ nor $b\in J$. Consider the filtration $0 \subset aR/(J \cap aR) \subset R/J$. Note that both the submodule $aR/(J \cap aR)$ and the quotient module $(R/J)/(aR/(J \cap aR))$ are cyclic modules; write them as $R/J'$ and $R/J''$ so we have a short exact sequence $0 \to R/J' \to R/J \to R/J'' \to 0$. The inclusion $J \subset J'$ is strict as $b \in J'$ and the inclusion $J \subset J''$ is strict as $a \in J''$. Hence by maximality of $J$, both $R/J'$ and $R/J''$ have a filtration as above and hence so does $R/J$. Contradiction. $\square$
Second proof. For an $R$-module $M$ we say $P(M)$ holds if there exists a filtration as in the statement of the lemma. Observe that $P$ is stable under extensions and holds for $0$. By Lemma 10.5.4 it suffices to prove $P(R/I)$ holds for every ideal $I$. If not then because $R$ is Noetherian, there is a maximal counter example $J$. By Example 10.28.7 and Proposition 10.28.8 the ideal $J$ is prime which is a contradiction. $\square$
Your email address will not be published. Required fields are marked.
In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$
). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).
All contributions are licensed under the GNU Free Documentation License.
Comments (2)
Comment #6765 by Thomas on
Comment #6930 by Johan on
There are also: