Example 2
Tag 0D83, permanent. Cite it as [Bourbaki, Tag 0D83].
Commutative Algebra, chapter X, § 6. Extension des scalaires dans les algèbres régulières
Let be an artinian -algebra. If is normal, it is reduced, hence isomorphic to a finite product of extensions of (A, VIII, § 8, No. 1, prop. 2). The following conditions are equivalent:
A is separable; — A is absolutely regular; — A is absolutely normal.
In fact, if is absolutely normal, it is separable; if is separable, for every finite extension of , the ring is reduced and artinian, hence isomorphic to a product of fields, and consequently regular, so that is absolutely regular.
If moreover the -algebra is of finite degree, the preceding conditions are also equivalent to saying that is étale (A, V, p. 34, th. 4).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.