Proposition 10
Tag 0D3J, permanent. Cite it as [Bourbaki, Tag 0D3J].
Commutative Algebra, chapter X, § 2. Modules et anneaux macaulayens
Let be a homomorphism of noetherian rings making into a flat -module. The following conditions are equivalent:
(i) is a Macaulay ring; (ii) for every prime ideal of , the rings and are Macaulay rings; (iii) for every maximal ideal of , the rings and are Macaulay rings.
If moreover is faithfully flat over , these conditions imply that is a Macaulay ring.
This is the special case , of prop. 9.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.