$G$ : 群, $H$ : $G$ の部分群.
次が成り立つ.

$$|G|=(G:H)|H|$$