在数学中，更准确地是同调代数中，分裂引理（splitting lemma）说在任何阿贝尔范畴中，关于短正合串行的下列陈述是等价的。

给定一个具有映射q 与r 的短正合串行：

我们写出映射（可能不存在）的箭头t 与u：

下列陈述是等价的：

如果上述陈述成立，短正合串行成为分裂的。

这使我们可改进第一同构定理：

这是线性代数中秩-零化度定理（的形式）的一个范畴推广。

See also splitting lemma in singularity theory.

In mathematics, and more specifically in homological algebra, the splitting lemma states that in any abelian category, the following statements for a short exact sequence are equivalent.

Given a short exact sequence with maps q and r:

one writes the additional arrows t and u for maps that may not exist: