|G|=(G:H)|H|のこと

群Gの部分群H

(G:H)は指数

性質

Hが有限群Gの部分群なら、|H|は|G|の約数

g\in Gの位数は、|G|の約数