ラグランジュの定理

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