
## 10.4 Snake lemma

The snake lemma and its variants are discussed in the setting of abelian categories in Homology, Section 12.5.

Lemma 10.4.1. Suppose given a commutative diagram

$\xymatrix{ & X \ar[r] \ar[d]^\alpha & Y \ar[r] \ar[d]^\beta & Z \ar[r] \ar[d]^\gamma & 0 \\ 0 \ar[r] & U \ar[r] & V \ar[r] & W }$

of abelian groups with exact rows, then there is a canonical exact sequence

$\mathop{\mathrm{Ker}}(\alpha ) \to \mathop{\mathrm{Ker}}(\beta ) \to \mathop{\mathrm{Ker}}(\gamma ) \to \mathop{\mathrm{Coker}}(\alpha ) \to \mathop{\mathrm{Coker}}(\beta ) \to \mathop{\mathrm{Coker}}(\gamma )$

Moreover, if $X \to Y$ is injective, then the first map is injective, and if $V \to W$ is surjective, then the last map is surjective.

Proof. The map $\partial : \mathop{\mathrm{Ker}}(\gamma ) \to \mathop{\mathrm{Coker}}(\alpha )$ is defined as follows. Take $z \in \mathop{\mathrm{Ker}}(\gamma )$. Choose $y \in Y$ mapping to $z$. Then $\beta (y) \in V$ maps to zero in $W$. Hence $\beta (y)$ is the image of some $u \in U$. Set $\partial z = \overline{u}$ the class of $u$ in the cokernel of $\alpha$. Proof of exactness is omitted. $\square$

Comment #3847 by Victoria Mitchell on

This is a minor change, but it would be ungrammatical to say "Suppose given a commutative diagram ..., then there is a canonical exact sequence ..."; rather, this should say "Suppose [we are] given a commutative diagram ... of abelian groups with exact rows, then there is a canonical exact sequence ..."

Comment #3934 by on

Tell me exactly what to write and I will do it.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).