 Każda podgrupa indeksu 2 jest normalna:

jeżeli | G:H | = 2, to H jest podgrupą normalną w G (istnieją wyłącznie dwie warstwy lewostronne jak i prawostronne: izomorficzne z H oraz z – dopełnieniem H, stąd , co oznacza, że H jest normalna).