Bourbaki

Exercise 2, § 8

Algebra, X, p. 202

Suppose that the ring A is noetherian; let M be an A-module of type finitely generated, of projective dimension n. Now prove that the k-module ExtAn(M,A)\mathrm{Ext}_A^n(M, A) is nonzero.

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6. Not checked by a person.