在同调代数中，五引理是关于交换图的一个重要引理。五引理可以被视为两个相对偶的四引理之组合。此结果不只对阿贝尔范畴成立，也对群范畴成立。

在任一阿贝尔范畴（例如阿贝尔群或模的范畴）或群范畴中，考虑以下的交换图：

五引理的叙述是：如果横列正合， 是同构， 是满射而 是单射，则 是同构。

两个四引理的叙述是：

(1) 考虑交换图

若其横行正合， 是满射而 是单射，则 是满射。

(2) 考虑交换图

若其横行正合， 是单射而 是满射，则 是单射。

In mathematics, especially homological algebra and other applications of abelian category theory, the five lemma is an important and widely used lemma about commutative diagrams. The five lemma is valid not only for abelian categories but also works in the category of groups, for example.