Bourbaki

Exercise 2, § 10

Commutative Algebra, X

Let AA be a local ring of Macaulay of dimension dd. Prove that for AA to be a Gorenstein ring, it is necessary and sufficient that the AA-module HAd(A)H_A^d(A) be injective.

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.