Example 6

Tag 0D35, permanent. Cite it as [Bourbaki, Tag 0D35].

Commutative Algebra, chapter X, § 2. Modules et anneaux macaulayens

Let $A$ be a noetherian local ring and $J$ an ideal of $A$ generated by an $A$ -regular sequence. In order that $A/J$ be a Macaulay ring, it is necessary and sufficient that $A$ be one (Example 5 and Prop. 4 of No. 3).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.