Bourbaki

Proposition 3

Tag 04MM, permanent. Cite it as [Bourbaki, Tag 04MM].

Commutative Algebra, chapter IV, § 3. Primary decomposition in graded modules

Let AA be a torsion-free commutative group, AA a graded Noetherian ring of type AA, pp a graded ideal of AA and MM a graded AA-module of type AA not reduced to 00. Suppose that for every homogeneous element aa of pp the homothety of ratio aa on MM is almost nilpotent and that for every homogeneous element bb of A−pA - p the homothety of ratio bb on MM is injective. Then pp is prim and the submodule {0}\{0\} of MM is pp-primary.

It suffices to show that Ass⁡(M)={p}\operatorname{Ass}(M) = \{p\} (§ 2, no. 1, Proposition 1). Let qq be a prime ideal associated with MM; it is a graded ideal and it is the annihilator of a homogeneous element x≠0x \neq 0 of MM (no. 1, Proposition 1). For every homogeneous element aa of qq, ax=0ax = 0 and hence the homothety of ratio aa on MM is not injective, whence a∈pa \in p. Conversely, let bb be a homogeneous element of pp; there exists an integer n>0n > 0 such that bnx=0b^n x = 0, whence bn∈Ann⁡(x)=qb^n \in \operatorname{Ann}(x) = q and, as qq is prime, b∈qb \in q. As pp and qq are generated by their respective homogeneous element, p=qp = q, which proves that Ass⁡(M)⊂{p}\operatorname{Ass}(M) \subset \{p\}. As M≠{0},Ass⁡(M)#∅M \neq \{0\}, \operatorname{Ass}(M) \# \varnothing (§ 1, no. 1, Corollary 1 to Proposition 2), whence Ass⁡(M)={p}\operatorname{Ass}(M) = \{p\}.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Transcribed from the printed volume. Not translated.