Bourbaki

Exercise 4, § 5

Algebra, X, p. 187

Let PP be a complex of projective A-modules, zero on the right, and let nn be an integer such that Hi(P)=0H_i(P) = 0 for i<ni < n. Let MM be a left a-module, NN a right a-module. Now prove that one has Hi(HomgrA(P,M))=0H^i(\mathrm{Homgr}_A(P, M)) = 0 and Hi(N⊗AP)=0H_i(N \otimes_A P) = 0 for i<ni < n, and that the canonical homomorphisms

λn:Hn(HomgrA(P,M))→HomA(Hn(P),M),γn:N⊗AHn(P)→Hn(N⊗AP) \lambda^n : H^n(\mathrm{Homgr}_A(P, M)) \to \mathrm{Hom}_A(H_n(P), M), \qquad \gamma^n : N \otimes_A H_n(P) \to H_n(N \otimes_A P)
are bijective.

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.