Bourbaki

Corollary

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

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

For every (necessarily graded) prime ideal pp associated with a graded AA-module MM, there exists an index k∈Ak \in A such that the graded AA-module (A/p)(k)(A/p)(k) obtained from the graded AA-module A/pA/p by diminishing the degrees by kk (Algebra, Chapter II, § 11, no. 2) is isomorphic to a graded submodule of MM.

With the notation of the proof of Proposition 1, consider the homomorphism obtained, by taking quotients, from the homomorphism a↦axi(n)a \mapsto ax_{i(n)} of AA to MM; the latter is a graded homomorphism of degree i(n)i(n) and hence it gives on taking quotients a graded bijective homomorphism of degree i(n)i(n) of A/pA/p onto a graded submodule of MM.

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.