Lagrange’s Theorem

Prerequisite: Coset

Index

设 G 是群,H 是群 G 的子群。H 在群 G 上的指标 (Index) 定义为 H 在 G 上不相同的左陪集的个数,并记为 [G : H]。

Lagrange’s Theorem

for any finite group say G, the order of subgroup H of group G divides the order of G

$|G|=[G:H]|H|$