Algèbre, X, p. 173
Soit u:C′→C un morphisme de A-complexes. On note v:C→Coker(u) l’application de passage au quotient. On considère les A-homomorphismes gradués
α:(Keru) (−1)→Con(u)etφ:Con(u)→Coker(u)
définis par α(x′)=(x′,0), φ(x′,x)=v(x) pour x′∈C′, x∈C. Montrer que α,φ sont des morphismes de complexes et qu’ils donnent lieu à une suite exacte
⋯→Hn−1(Keru)H(α)Hn(Con(u))H(φ)Hn(Cokeru)δHn−2(Keru)→⋯
où δ est le composé des homomorphismes de liaison relatifs aux deux suites exactes
0→Keru→C′→Imu→0et0→Imu→C→Cokeru→0.