Definition 1
Tag 04KF, permanent. Cite it as [Bourbaki, Tag 04KF].
Commutative Algebra, chapter IV, § 2. Primary decomposition
*Let be a Noetherian ring, an -module and a submodule of . If the module satisfies the conditions of Proposition 1, is called p-primary with respect to (or in ).
When there is no ambiguity, we shall simply say that is "p-primary" or "primary"; clearly for every submodule of containing , is p-primary in .
Definition 1 applies in particular to the case ; the submodules of are then the ideals of and hence an ideal of is called primary if has a single element or, what amounts to the same, if and every divisor of zero in the ring is nilpotent. If is p-primary, it follows from Definition 1 that is the radical (Chapter II, , no. 6) of the ideal .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.