Remark 2
Tag 0D1Q, permanent. Cite it as [Bourbaki, Tag 0D1Q].
Commutative Algebra, chapter X, § 1. Profondeur
and . Then is a discrete valuation ring; let be a uniformizing element of . Since is faithfully flat over , the element of is not a zero divisor, so that the local ring is of dimension 0 (VIII, § 3, No. 1, Cor. 2 of Prop. 1). It is reduced, since it is a ring of fractions of the reduced ring , and consequently it is a field. Therefore is a discrete valuation ring (VI, § 1, No. 4, Prop. 2), hence integrally closed.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.