Remark
Tag 04KV, permanent. Cite it as [Bourbaki, Tag 04KV].
Commutative Algebra, chapter IV, § 2. Primary decomposition
The prime ideals which are not minimal elements of this set are sometimes called the immersed prime ideals associated with ; if is finitely generated, for to be immersed, it is necessary and sufficient that be not an irreducible component of (Chapter II, § 4, no. 3, Corollary 2 to Proposition 14); if and are two reduced primary decompositions of in , it may be that (Exercise 24 (c)); a canonical reduced primary decomposition of in may always be defined by imposing supplementary condition on the primary submodules which appear in it (Exercise 4).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.