在数学中，更准确地是同调代数中，分裂引理（）说在任何阿贝尔范畴中，关于短正合序列的下列陈述是等价的。给定一个具有映射"q" 与"r" 的短正合序列：我们写出映射（可能不存在）的箭头"t" 与"u"：下列陈述是等价的：如果上述陈述成立，短正合序列成为分裂的。这使我们可改进第一同构定理：这是线性代数中秩-零化度定理（formula_5的形式）的一个范畴推广。
证明.首先证明 (3)蕴含 (1)与 (2)。我们假设 (3)成立，取"t" 为直和到"A" 的自然投影，