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
Nov 05, 20231 min read
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∣