Balance theorem
In mathematical group theory, the balance theorem states that if G is a group with no core, then G either has disconnected Sylow 2-subgroups, or it is of characteristic 2 type, or it is of component type.
The significance of this theorem is that it splits the classification of finite simple groups into three major subcases.