Remark 1
Tag 0D1N, permanent. Cite it as [Bourbaki, Tag 0D1N].
Commutative Algebra, chapter X, § 1. Profondeur
A convenient form of th. 4 is the following: let be a noetherian ring, such that for every prime ideal of the ring is integrally closed or of depth ; then is normal. Let us indeed verify the assumptions of th. 4. Let . If , then one has , hence is integrally closed. If , the ring is either of depth , or integrally closed, which again implies (No. 1, cor. 2 of prop. 1), whence the desired conclusion. One verifies analogously the following statement: let be a noetherian ring such that for every prime ideal of , the ring is reduced or of depth ; then is reduced.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.