五引理是关于交换图的一个重要引理。五引理可以被视为两个相对偶的四引理之组合。此结果不只对阿贝尔范畴成立，也对群范畴成立。
陈述.在任一阿贝尔范畴（例如阿贝尔群或模的范畴）或群范畴中，考虑以下的交换图：五引理的叙述是：如果横列正合，formula_1 是同构，formula_2 是满射而 formula_3 是单射，则 formula_4 是同构。两个四引理的叙述是：(1) 考虑交换图若其横行正合，formula_1 是满射而 formula_3 是单射，则 formu