The Stacks project

[Theorem 1, Warfield-Decomposition]

Lemma 15.113.3. Let $R$ be a ring satisfying the equivalent conditions of Lemma 15.113.2. Then every finitely presented $R$-module is isomorphic to a finite direct sum of modules of the form $R/fR$.

Proof. Let $M$ be a finitely presented $R$-module. We will use all the equivalent properties of $R$ from Lemma 15.113.2 without further mention. Denote $\mathfrak m \subset R$ the maximal ideal and $\kappa = R/\mathfrak m$ the residue field. Let $I \subset R$ be the annihilator of $M$. Choose a basis $y_1, \ldots , y_ n$ of the finite dimensional $\kappa $-vector space $M/\mathfrak m M$. We will argue by induction on $n$.

By Nakayama's lemma any collection of elements $x_1, \ldots , x_ n \in M$ lifting the elements $y_1, \ldots , y_ n$ in $M/\mathfrak m M$ generate $M$, see Algebra, Lemma 10.19.1. This immediately proves the base case $n = 0$ of the induction.

We claim there exists an index $i$ such that for any choice of $x_ i \in M$ mapping to $y_ i$ the annihilator of $x_ i$ is $I$. Namely, if not, then we can choose $x_1, \ldots , x_ n$ such that $I_ i = \text{Ann}(x_ i) \not= I$ for all $i$. But as $I \subset I_ i$ for all $i$, ideals being totally ordered implies $I_ i$ is strictly bigger than $I$ for $i = 1, \ldots , n$, and by total ordering once more we would see that $\text{Ann}(M) = I_1 \cap \ldots \cap I_ n$ is bigger than $I$ which is a contradiction. After renumbering we may assume that $y_1$ has the property: for any $x_1 \in M$ lifting $y_1$ the annihilator of $x_1$ is $I$.

We set $A = Rx_1 \subset M$. Consider the exact sequence $0 \to A \to M \to M/A \to 0$. Since $A$ is finite, we see that $M/A$ is a finitely presented $R$-module (Algebra, Lemma 10.5.3) with fewer generators. Hence $M/A \cong \bigoplus _{j = 1, \ldots , m} R/f_ jR$ by induction. On the other hand, we claim that $A \to M$ satisfies the property: if $f \in R$, then $fA = A \cap fM$. The inclusion $fA \subset A \cap fM$ is trivial. Conversely, if $x \in A \cap fM$, then $x = gx_1 = f y$ for some $g \in R$ and $y \in M$. If $f$ divides $g$, then $x \in fA$ as desired. If not, then we can write $f = hg$ for some $h \in \mathfrak m$. The element $x'_1 = x_1 - hy$ has annihilator $I$ by the previous paragraph. Thus $g \in I$ and we see that $x = 0$ as desired. The claim and Lemma 15.113.1 imply the sequence $0 \to A \to M \to M/A \to 0$ is split and we find $M \cong A \oplus \bigoplus _{j = 1, \ldots , m} R/f_ jR$. Then $A = R/I$ is finitely presented (as a summand of $M$) and hence $I$ is finitely generated, hence principal. This finishes the proof. $\square$


Comments (3)

Comment #2061 by Kestutis Cesnavicius on

I think the conclusion is false in general: if , then could be replaced by for any without affecting .

Also, giving bibliography references is great! One could also include a clickable doi link with them when such exists. For instance, for the Warfield reference such a link is http://dx.doi.org/10.1090/S0002-9939-1970-0254030-4#sthash.Y4YlqyOl.dpuf

Comment #2063 by on

That is actually a really nice suggestion. I've put it on the list. Thanks!

Comment #2091 by on

Very stupid mistake indeed! Thanks very much for pointing this out. Fixed here.


Post a comment

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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0ASP. Beware of the difference between the letter 'O' and the digit '0'.