Bourbaki

Proposition 2

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

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 and MM a graded finitely generated AA-module of type AA. There exists a composition series (Mi)0≤i≤n(\mathbf{M}_i)_{0 \leq i \leq n} consisting of graded submodules of MM such that for 0≤i≤n−10 \leq i \leq n - 1 the graded module Mi/Mi+1\mathbf{M}_i / \mathbf{M}_{i+1} is isomorphic to a shifted graded module (A/pi)(ki)(A/p_i)(k_i), where pip_i is a graded prime ideal of AA and ki∈Ak_i \in A.

It is sufficient to retrace the argument of § 1, no. 4, Theorem 1 taking on this occasion G\mathscr{G} to be the set of graded submodules of MM 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.

Cites

Transcribed from the printed volume. Not translated.