Bourbaki

Exercise 4, § 10

Commutative Algebra, X

Let AA be a local ring and MM a nonzero AA-module of finite type, of dimension ee. Prove that HAe(M)H_A^e(M) is not zero (reduce to the case where the ring AA is complete, then, with the help of Exer. 3, to the case where AA is regular).

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.