Corollary 2
Tag 0D3B, permanent. Cite it as [Bourbaki, Tag 0D3B].
Commutative Algebra, chapter X, § 2. Modules et anneaux macaulayens
Let be an integrally closed noetherian ring and a ring containing . Suppose that is a torsion-free -module, of finite type. If is a Macaulay ring, the -module is Macaulay.
In fact, two prime ideals of lying over the same ideal of have the same height (VIII, , No. 3, Theorem 2). One can therefore apply Prop. 8 with .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.