ラグランジュの定理
G を
有限群
とし、H を G の
部分群
とする。このとき
$ |G| = [G : H] |H|
が成り立つ。ただし、
$ [G : H]
は G における H の指数である。