Corollary 4 (Zariski)
Tag 0D9O, permanent. Cite it as [Bourbaki, Tag 0D9O].
Commutative Algebra, chapter X, § 7. Algèbres lisses
Let be a field and a -algebra essentially of finite type or a complete noetherian local ring. The set of prime ideals of such that the local ring is regular is open in .
It is enough to apply Remark 1, taking for the prime subfield of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.