Proposition 2
Tag 04ML, permanent. Cite it as [Bourbaki, Tag 04ML].
Commutative Algebra, chapter IV, § 3. Primary decomposition in graded modules
Let be a torsion-free commutative group, a graded Noetherian ring of type and a graded finitely generated -module of type . There exists a composition series consisting of graded submodules of such that for the graded module is isomorphic to a shifted graded module , where is a graded prime ideal of and .
It is sufficient to retrace the argument of § 1, no. 4, Theorem 1 taking on this occasion to be the set of graded submodules of with a composition series with the properties of the statement; we conclude using the Corollary to Proposition 1.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.