ラグランジュの定理

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