Definition 1
Tag 0D81, permanent. Cite it as [Bourbaki, Tag 0D81].
Commutative Algebra, chapter X, § 6. Extension des scalaires dans les algèbres régulières
Let be a field and a -algebra. One says that is absolutely regular (resp. absolutely normal) if the ring is regular (resp. normal) for every radicial extension of finite degree of .
Every absolutely regular (resp. absolutely normal) -algebra is regular (resp. normal), as is seen by taking in definition 1. Recall that the -algebras such that the ring is reduced for every radicial extension of finite degree of are the separable -algebras (A, V, p. 117, th. 2).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.