Lemma 1
Tag 0D7Y, permanent. Cite it as [Bourbaki, Tag 0D7Y].
Commutative Algebra, chapter X, § 6. Extension des scalaires dans les algèbres régulières
Let be a noetherian ring, the union of an increasing filtered family of noetherian subrings.
a) If the rings are regular and if is a flat -module for every , the ring is regular.
b) If the rings are normal (, No. 8), is normal.
a) Let be a maximal ideal of ; for each , let us denote by the ideal of . Since is noetherian, is of finite type and there exists an element of such that , so that the -module is isomorphic to . Since is flat over , we have (A, X, p. 141, Lemma 2). Since the rings are regular, it follows that is regular (, No. 2, Prop. 4).
b) Since the are reduced, is reduced. Let and be elements of such that is not a zero divisor and that the element of the total ring of fractions of is integral over . There exists a monic polynomial such that . Let be an element of such that the ring contains , and the coefficients of . Since is normal, there exists such that . Thus belongs to and is normal.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.