Podgrupa: Razlika med redakcijama

kjer |G| in |H| označujeta [[red (teorija grup)|red]] za G oziroma za H. Pti tem mora biti red vsake grupe za G ter red vsakega elementa od G [[delitelj]] za G.

 

 

Kadar je aH = Ha za vsak a v G, pravimo, da je H [[normalna podgrupa]]. Vsaka podgrupa z indeksom dva je normalna. Levi in desni koset je podgrupa in njegov komplement. Bolj splošno to povemo tako, da takrat, ko je p prvo praštevilo, ki deli red končne grupe G, potem je vsak indeks podgrupe, če ta obtoja, običajen.