I mange tilfeller har gruppen bare har én Sylow -gruppe. Denne er da en invariant undergruppe som følger av det andre teoremet. Per definisjon er da ikke en enkel gruppe.