# 蛇引理　`thm.snake-lemma`
蛇引理（Snake Lemma）
layer 17 · 引理 · 加法与阿贝尔范畴 · 同调代数
[在星图里打开](../#n=thm.snake-lemma)　·　[节点索引](../index.md)

设 $\mathcal{A}$ 是阿贝尔范畴，下面这张交换图的两行都正合：

$$\begin{array}{ccccccc} A & \xrightarrow{\;f\;} & B & \xrightarrow{\;g\;} & C & \longrightarrow & 0 \\[2pt] {\scriptstyle a}\big\downarrow & & {\scriptstyle b}\big\downarrow & & {\scriptstyle c}\big\downarrow & & \\[2pt] 0 & \longrightarrow & A' & \xrightarrow[\;f'\;]{} & B' & \xrightarrow[\;g'\;]{} & C' \end{array}$$
> 陈述续见 [nodes/thm.snake-lemma.2.md](./thm.snake-lemma.2.md)


## 它能推出什么 / 谁在用它
- 被 [`thm.five-lemma`](../nodes/thm.five-lemma.md) 五引理 用

## 为什么成立（入边，证明在 proofs/）
- …另有入边，续页见 [nodes/thm.snake-lemma.3.md](./thm.snake-lemma.3.md)

refs: Le Stum, An introduction to condensed mathematics, §5.1–5.2

> 说明见 `notes/thm.snake-lemma.md`

引用：`thm.snake-lemma`（内容 v0.9.0）· 条款见 [LICENSE.txt](../LICENSE.txt)