Example 5
Tag 0D34, permanent. Cite it as [Bourbaki, Tag 0D34].
Commutative Algebra, chapter X, § 2. Modules et anneaux macaulayens
Let be a noetherian ring and an ideal of . In order that be a Macaulay ring, it is necessary and sufficient that it be a Macaulay -module (No. 1, Example 4).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.