Suposem que H és un subgrup d'un grup finit G. Llavors l'ordre n de H i el seu índex j en G poden dividir l'ordre N de G i N = nj. (El nombre de cosets dret o esquerre d’un subgrup d’un grup G s’anomena índex de H en G)
L'ordre del subgrup H del grup G ha de dividir l'ordre de G i igual a l'índex del grup G al subgrup H.
