Let be a 2-Sylow subgroup of . Suppose contains an involution which is not conjugate (in ) to any other element of . Then . In particular, the existence of such an involution implies that is not a simple group.
Relation with other results
Further information: Brauer-Suzuki theorem