Bourbaki

Definition 1

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

Commutative Algebra, chapter IV, § 2. Primary decomposition

*Let AA be a Noetherian ring, NN an AA-module and QQ a submodule of NN. If the module M=N/QM = N/Q satisfies the conditions of Proposition 1, QQ is called p-primary with respect to NN (or in NN).

When there is no ambiguity, we shall simply say that QQ is "p-primary" or "primary"; clearly for every submodule N′≠QN' \neq Q of NN containing QQ, QQ is p-primary in N′N'.

Definition 1 applies in particular to the case N=AN = A; the submodules of NN are then the ideals of AA and hence an ideal qq of AA is called primary if Ass⁡(A/q)\operatorname{Ass}(A/q) has a single element or, what amounts to the same, if A≠qA \neq q and every divisor of zero in the ring A/qA/q is nilpotent. If qq is p-primary, it follows from Definition 1 that pp is the radical (Chapter II, §2§ 2, no. 6) of the ideal qq.

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.