Bourbaki

Example 5

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

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

Let AA be a noetherian ring and JJ an ideal of AA. In order that A/JA/J be a Macaulay ring, it is necessary and sufficient that it be a Macaulay AA-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.

Translated with machine help, not yet reviewed by a person.