PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
snake lemma (Theorem)

Let $\mathcal{A}$ be an abelian category. The snake lemma consists of the following two claims:

  1. Suppose$$\begin{CD} 0@>>> A_1@>>> B_1@>>> C_1@>>> 0\\ & & @V\alpha VV @V\beta VV @V\gamma VV\\ 0@>>> A_2@>>>B_2@>>>C_2@>>>0 \end{CD$$ is a commutative diagram in $\mathcal{A}$ with exact rows. Then there is an exact sequence$$ 0 \to \ker\alpha \to \ker\beta \to \ker\gamma \stackrel{s}{\longrightarrow} \coker\alpha \to \coker\beta \to \coker\gamma\to 0,$$ usually called the kernel-cokernel sequence. The morphism $s$ is called the connecting morphism.
  2. Applying the previous claim inductively, for any short exact sequence$$ 0 \to \mathbf{A} \to \mathbf{B} \to \mathbf{C} \to 0$$ of chain complexes in $\mathcal{A}$ , there is a corresponding long exact sequence in homology$$ \cdots \to H_n(\mathbf{A})\to H_n(\mathbf{B})\to H_n(\mathbf{C}) \to H_{n-1}(\mathbf A)\to\cdots$$




Anyone with an account can edit this entry. Please help improve it!

"snake lemma" is owned by mps. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:

Other names:  zig-zag lemma, serpent lemma

Attachments:
proof of snake lemma (Proof) by mps
proof of snake lemma using spectral sequences (Proof) by rm50
Log in to rate this entry.
(view current ratings)

Cross-references: chain complexes, short exact sequence, morphism, exact sequence, commutative diagram, abelian category
There are 5 references to this entry.

This is version 9 of snake lemma, born on 2002-12-13, modified 2006-02-15.
Object id is 3745, canonical name is SnakeLemma.
Accessed 7347 times total.

Classification:
AMS MSC18G35 (Category theory; homological algebra :: Homological algebra :: Chain complexes)

Pending Errata and Addenda
None.
[ View all 7 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)