Corollary 1
Tag 0D3K, permanent. Cite it as [Bourbaki, Tag 0D3K].
Commutative Algebra, chapter X, § 2. Modules et anneaux macaulayens
Every finite flat algebra over a Macaulay ring is a Macaulay ring.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.