Bourbaki

Corollary

Tag 0452, permanent. Cite it as [Bourbaki, Tag 0452].

Commutative Algebra, chapter II, § 1. Prime ideals

Let mm be a maximal ideal of A\mathbf{A}; for every integer n>0n > 0, the only prime ideal containing mnm^n is mm.

Such an ideal pp must contain mm by Proposition 1 applied to ai=ma_i = m for 1≤i≤n1 \leq i \leq n; as mm is maximal, p=mp = m.

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.