si on a une resolution projective de M
...-->P1 --->P0-->M-->0
on applique foncteur contravariant hom
on a
...-->hom(M,N) --->hom(P0,N)-->hom(P1,N)-->0 exacte
est ce que on peut identifie ker(>hom(P0,N)-->hom(P1,N))/im(hom(M,N) --->hom(P0,N)) à hom(M,N)