Una consecuencia importante del tercer teorema es que la condición "n" = 1 es equivalente a decir que en ese caso, el único p-subgrupo de Sylow es un subgrupo normal (hay grupos que tienen subgrupos normales pero no tienen subgrupos de Sylow normales, siendo "S" un ejemplo de ello).