Legyen G tetszőleges véges csoport, H pedig tetszőleges részcsoport G-ben. Ekkor a H részcsoport rendje osztója G rendjének, azaz teljesül az alábbi oszthatóság:

|H|\ |\ |G|

Azaz létezik olyan egész szám, amellyel H rendjét megszorozva épp G rendjét kapjuk. Ez az egész szám a H részcsoport szerint bal- illetve jobboldali mellékosztályok számával egyezik meg, amelyet a H részcsoport G-beli indexének nevezzük, és |G:H|-val jelöljük. Azaz teljesül az alábbi összefüggés:

|G|=|G:H|\cdot |H|