In the form stated here, the splitting lemma does not hold in the full category of groups, which is not an abelian category.
这里所述的形式，分裂引理在全群范畴中不成立，它不是一个阿贝尔范畴。