1. 概述 于 范畴论 中, 正合列 描述相邻态射的 像 与 核 恰好一致. 它是同调代数组织代数信息的基本形式. 2. 定义 定义 1 (正合列) 设 为 Abel 范畴, 为可复合态射. 若 （作为 的子对象）, 则称该列在 处 正合. 若一个态射列在每个中间对象处都正合, 则称它为 正合列. 3. 例子 例子 2 (短正合列) 图式 \xymatrix{ 0 \ar[r] & A \ar[r]^f & B \ar[r]^g & C \ar[r] & 0 } 是 正合列 当且仅当 为单态射、 为满态射且 . 4. 相关性质 命题 3 (正合蕴含相邻复合为零) 若 在 处 正合, 则 . 证明 4 (正合蕴含相邻复合为零) 由 正合列 的定义, 经由 分解, 而 核 与 的复合为零, 故 . 5. 相关概念 Abel 范畴； 核 与 像. 6. 术语翻译 中文英文正合列exact sequence 范畴论 同调代数