Bourbaki

Exercise 3, § 6

Algebra, X, p. 189

Let II be an injective kk-module; for every AA-module MM, denote by D(M)D(M) the right AA-module Hom⁡k(M,I)\operatorname{Hom}_k(M, I). Let MM and NN be two left AA-modules, PP a right AA-module. Exercise prove that for every p⩾0p \geqslant 0, the kk-modules Ext⁡Ap(P,D(M))\operatorname{Ext}_A^p(P, D(M)) and D(Tor⁡pA(P,M))D(\operatorname{Tor}_p^A(P, M)) are isomorphic; if AA is left noetherian and if MM is a finitely generated AA-module, the kk-modules Tor⁡pA(D(N),M)\operatorname{Tor}_p^A(D(N), M) and D(Ext⁡Ap(M,N))D(\operatorname{Ext}_A^p(M, N)) are isomorphic (use exercise 2, b) and exercise 6, b), p. 188).

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.