Remark 2
Tag 0D9F, permanent. Cite it as [Bourbaki, Tag 0D9F].
Commutative Algebra, chapter X, § 7. Algèbres lisses
Let k be a field and A a k-algebra such that the ring is regular for every purely inseparable extension of k, of finite degree and of height ; then A is absolutely regular. In fact, let be such an extension; for every maximal ideal m of A, the ring is identified with a ring of fractions of , and is therefore regular. By Prop. 8 above and Prop. 6 of § 6, No. 4, the algebra A is absolutely regular.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.