Soient U, V, W trois groupes commutatifs, f:U→V,g:V→W des homomorphismes.
a) On considère le diagramme
00⟶f↓⟶UVαγU×Vh↓W×VβδV−g↓W⟶⟶00
où α(u)=(u,f(u)), β(u,v)=v−f(u), γ(v)=(g(v),v), δ(w,v)=w−g(v), h(u,v)=(g(f(u)),v). Montrer que ce diagramme est commutatif et que ses lignes sont exactes.
b) Déduire de a) et de la prop. 2 du n° 4 une suite exacte
0→Ker(f)→Ker(g∘f)→Ker(g)→
→Coker(f)→Coker(g∘f)→Coker(g)→0.
Donner une définition directe de cette suite exacte.