Remark
Tag 0D8J, permanent. Cite it as [Bourbaki, Tag 0D8J].
Commutative Algebra, chapter X, § 6. Extension des scalaires dans les algèbres régulières
Suppose the -algebra absolutely regular. Then the total ring of fractions of is identified with the product of the , where runs through the set of minimal prime ideals of (IV, § 2, No. 5, Prop. 10); it is therefore a separable -algebra. Conversely, suppose that is a separable -algebra; for every minimal prime ideal of , the -algebra is a ring of fractions of (IV, § 1, No. 1, Cor. 3 of Prop. 2 and No. 3, Cor. 1 of Prop. 7), hence a separable -algebra (No. 4, Prop. 6). If moreover the -module is projective, it follows from Cor. 2 that the -algebra 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.