Five lemma - Knowlpedia

In an abelian category, consider a commutative diagram with exact rows

\begin{array}{ccccccccc} A_1 &\to& A_2 &\to& A_3 &\to& A_4 &\to& A_5\\ \downarrow f_1 && \downarrow f_2 && \downarrow f_3 && \downarrow f_4 && \downarrow f_5\\ B_1 &\to& B_2 &\to& B_3 &\to& B_4 &\to& B_5 \end{array}

If $f_1$ is an epimorphism, $f_2$ and $f_4$ are isomorphisms, and $f_5$ is a monomorphism, then $f_3$ is an isomorphism. In particular, if $f_1,f_2,f_4,f_5$ are isomorphisms, then so is $f_3$ .

Remarks

For modules, “epimorphism” and “monomorphism” mean surjective and injective, respectively. The result combines the injectivity and surjectivity conclusions of the four lemma.

See also five lemma corollary for standard “short exact sequence” consequences.

Examples

Two-out-of-three for quasi-isomorphisms in a short exact sequence of complexes. Suppose $0\to C'_\bullet \to C_\bullet \to C''_\bullet \to 0 \quad\text{and}\quad 0\to D'_\bullet \to D_\bullet \to D''_\bullet \to 0$ are short exact sequences of chain complexes, and we have a morphism between them inducing a commutative diagram of long exact sequences in homology. If the induced maps $H_n(C'_\bullet)\to H_n(D'_\bullet)$ and $H_n(C''_\bullet)\to H_n(D''_\bullet)$ are isomorphisms for all $n$ , then the induced maps $H_n(C_\bullet)\to H_n(D_\bullet)$ are isomorphisms for all $n$ , by applying the five lemma degree-by-degree to the long exact homology sequences.

Comparing Tor groups via a map of short exact sequences. Given a morphism between short exact sequences $\begin{array}{ccccccccc} 0 &\to& A' &\to& A &\to& A'' &\to& 0\\ && \downarrow && \downarrow && \downarrow &&\\ 0 &\to& B' &\to& B &\to& B'' &\to& 0 \end{array}$ and a fixed module $M$ , naturality of the long exact Tor sequence gives a morphism of long exact sequences $\cdots \to \operatorname{Tor}_n(A'',M)\to \operatorname{Tor}_{n-1}(A',M)\to \cdots$ If the induced maps $\operatorname{Tor}_n(A',M)\to \operatorname{Tor}_n(B',M)$ and $\operatorname{Tor}_n(A'',M)\to \operatorname{Tor}_n(B'',M)$ are isomorphisms for all relevant neighboring terms (for instance, if $A'\to B'$ and $A''\to B''$ are isomorphisms), then the five lemma implies $\operatorname{Tor}_n(A,M)\to \operatorname{Tor}_n(B,M)$ is an isomorphism as well.

Comparing Ext groups (same pattern). With the same setup, applying the long exact Ext sequence and using the five lemma shows that if the induced maps on the surrounding $\operatorname{Hom}$ and $\operatorname{Ext}$ terms are isomorphisms, then the middle $\operatorname{Ext}$ -map is an isomorphism. This is a standard way to propagate isomorphisms through long exact sequences.