Algèbre, X, p. 187
Soient P un complexe de A-modules projectifs, nul à droite, et n un entier tel que Hi(P)=0 pour i<n. Soient M un A-module à gauche, N un A-module à droite. Montrer que l’on a Hi(HomgrA(P,M))=0 et Hi(N⊗AP)=0 pour i<n, et que les homomorphismes canoniques
λn:Hn(HomgrA(P,M))→HomA(Hn(P),M),γn:N⊗AHn(P)→Hn(N⊗AP) sont bijectifs.