Proposition 15
Tag 0D1J, permanent. Cite it as [Bourbaki, Tag 0D1J].
Commutative Algebra, chapter X, § 1. Profondeur
Let A be a noetherian ring satisfying the following two conditions: (i) for every minimal prime ideal of , the ring is reduced; (ii) for every prime ideal of A of height , one has . Then A is reduced.
Let denote the nilradical of A. For every minimal prime ideal of A, one has by (i) , that is, and . For every of height , one has by (ii) and , whence (IV, § 1, No. 2, prop. 5). Thus the set is empty, which implies that is zero.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.