[1] 群 G の部分群 H による剰余類の個数 (G:H) を、 G における H の指数indexといいます。