正合列

正合列是指一列映射$$\cdots \to A\to B\to C\to \cdots ,$$其中每个映射的像都等于下一个映射的核.

无穷长的正合列也就是链同调都为零的链复形.

1定义

定义 1.1 (正合列). 设 $\mathcal{C}$ 是下列范畴之一:

•	一个 Abel 范畴;
•	带点集合范畴 ${\mathsf{Set}}_{\ast }$, 或群范畴 $\mathsf{Grp}$.

则 $\mathcal{C}$ 中的一个正合列是指 $\mathcal{C}$ 中的一列 (有限或无限的) 态射$$\cdots \to A\to B\to C\to \cdots ,$$其中每个映射的像都等于下一个映射的核.

定义 1.2 (短正合列). 形如$$0\to A\to B\to C\to 0$$的正合列 (定义 1.1) 称为短正合列, 其中 $0$ 是 $\mathcal{C}$ 的零对象.

2例子

(...)

3性质

(...)

4相关概念

•	五引理
•	蛇形引理

术语翻译

正合列 • 英文 exact sequence • 德文 exakte Sequenz (f) • 法文 suite exacte (f)