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|$
Prerequisite: Coset
设 G 是群,H 是群 G 的子群。H 在群 G 上的指标 (Index) 定义为 H 在 G 上不相同的左陪集的个数,并记为 [G : H]。
for any finite group say G, the order of subgroup H of group G divides the order of G
$|G| = [G:H] |H|$