Corollary 1
Tag 0D1O, permanent. Cite it as [Bourbaki, Tag 0D1O].
Commutative Algebra, chapter X, § 1. Profondeur
Let be a noetherian ring, a closed subset of , the complementary open set. Suppose that is (resp. ) and that, for every , the ring is integrally closed (resp. reduced). Then is normal (resp. reduced).
For every , one has (No. 5, Prop. 8); it is therefore enough to apply the preceding remark.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.