Proposition 3
Tag 04MM, permanent. Cite it as [Bourbaki, Tag 04MM].
Commutative Algebra, chapter IV, § 3. Primary decomposition in graded modules
Let be a torsion-free commutative group, a graded Noetherian ring of type , a graded ideal of and a graded -module of type not reduced to . Suppose that for every homogeneous element of the homothety of ratio on is almost nilpotent and that for every homogeneous element of the homothety of ratio on is injective. Then is prim and the submodule of is -primary.
It suffices to show that (§ 2, no. 1, Proposition 1). Let be a prime ideal associated with ; it is a graded ideal and it is the annihilator of a homogeneous element of (no. 1, Proposition 1). For every homogeneous element of , and hence the homothety of ratio on is not injective, whence . Conversely, let be a homogeneous element of ; there exists an integer such that , whence and, as is prime, . As and are generated by their respective homogeneous element, , which proves that . As (§ 1, no. 1, Corollary 1 to Proposition 2), whence .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.