Corollary 1
Tag 0D7W, permanent. Cite it as [Bourbaki, Tag 0D7W].
Commutative Algebra, chapter X, § 6. Extension des scalaires dans les algèbres régulières
Let be a field, an extension of and a -algebra essentially of finite type. For to be a Macaulay ring (resp. a Gorenstein ring), it is necessary and sufficient that the same be true of .
If is a Macaulay ring (resp. a Gorenstein ring), the same is true of by Prop. 4. Since is a faithfully flat -module, the converse follows from Prop. 10 of § 2, No. 7 (resp. Cor. 1 of Prop. 12 of § 3, No. 8).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.