ラグランジュの定理
$ |G|=(G:H)|H|
のこと
群
$ G
の部分群
$ H
$ (G:H)
は
指数
性質
$ H
が有限群
$ G
の部分群なら、
$ |H|
は
$ |G|
の約数
$ g\in G
の
位数
は、
$ |G|
の約数