Bourbaki

Remark

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

Commutative Algebra, chapter IV, § 2. Primary decomposition

The prime ideals pi∈Ass(M/N)p_i \in \mathrm{Ass}(M/N) which are not minimal elements of this set are sometimes called the immersed prime ideals associated with M/NM/N; if M/NM/N is finitely generated, for p0∈Ass(M/N)p_0 \in \mathrm{Ass}(M/N) to be immersed, it is necessary and sufficient that V(p0)V(p_0) be not an irreducible component of Supp(M/N)\mathrm{Supp}(M/N) (Chapter II, § 4, no. 3, Corollary 2 to Proposition 14); if (Q(p))p∈Ass(M/N)(Q(p))_{p \in \mathrm{Ass}(M/N)} and (Q′(p))p∈Ass(M/N)(Q'(p))_{p \in \mathrm{Ass}(M/N)} are two reduced primary decompositions of NN in MM, it may be that Q′(p0)≠Q(p0)Q'(p_0) \neq Q(p_0) (Exercise 24 (c)); a canonical reduced primary decomposition of NN in MM 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.

Cites

Transcribed from the printed volume. Not translated.