Bourbaki

Remark (1)

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

Commutative Algebra, chapter V, § 2. The lift of prime ideals

If A′A' is Noetherian, it follows from (i) and (ii) that (qj′)1≤j≤n(q'_j)_{1 \leq j \leq n} is the unique primary decomposition of mA′mA' (Chapter IV, § 2, no. 3).

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.