Bourbaki

Corollary 4 (Zariski)

Tag 0D9O, permanent. Cite it as [Bourbaki, Tag 0D9O].

Commutative Algebra, chapter X, § 7. Algèbres lisses

Let kk be a field and AA a kk-algebra essentially of finite type or a complete noetherian local ring. The set of prime ideals p\mathfrak{p} of AA such that the local ring ApA_{\mathfrak{p}} is regular is open in Spec(A)\mathrm{Spec}(A).

It is enough to apply Remark 1, taking for k0k_0 the prime subfield of kk.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Translated with machine help, not yet reviewed by a person.