在同调代数中，短五引理是五引理的一个特例，它断言：在任何阿贝尔范畴或群范畴中，若以下交换图的横行正合，而 formula_1 皆为同构，则 formula_2 也是同构。此断言是五引理的直接推论。这个引理可以有如下诠释：假设有态射 formula_3，此态射在子对象及相应的商对象上诱导出的态射 formula_4 皆为同构，则 formula_2 本身也是同构。重点是必须先假设 formula_3 的存在性。