拉格朗日定理 (群论)

关于与“拉格朗日定理 (群论)”标题相近或相同的条目页，请见“拉格朗日定理”。

拉格朗日定理是群论中一个重要的结果，描述了一个群和它的子群的元素个数之间的关系。这个定理对有限群的结构给出了很多线索。

定理陈述

拉格朗日定理  — 如果 $H$ 是群 $G$ 的子群，那么

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

而如果 $G$ 是有限群，那么 $|H|$ 是 $|G|$ 的约数。

证明思路

定理的证明利用了陪集的以下性质：

1. 一个子群的每一个陪集在集合意义下有相同的大小（ Cardinality ）。
2. 一个子群的所有陪集分割了整个群。
3. 根据集合的特性， $G$ 的大小可以写成是陪集的大小（ $|H|$ ）乘上陪集的数量（ $[G:H]$ ）

推论

1. 由拉格朗日定理可立即得到——有限群 $G$ 中每个元素的阶（ Order ）都会整除群 $G$ 的阶（考虑由这个元素生成的循环群）。
2. 如果 $|G|$ 是素数，那么 $G$ 同构于素数阶循环群 $C_{|G|}$ （因为素数没有 $1$ 和自身以外的约数）。
3. 费马小定理是拉格朗日定理的一个简单推论。

逆命题

拉格朗日定理的逆命题并一般来说不成立。 $|G|$ 的约数可能不是任何子群的阶。例如交错群 $A_{4}$ 的阶是 $12$ ，但它没有任何子群阶是 $6$ 。然而柯西定理以及它的推广——西罗定理——则表明：具有特定形式的约数确实是某个子群的阶。

参见

• 群
• 陪集
• 费马小定理
• 西罗定理

参考文献

• Joseph Gallian. Contemporary Abstract Algebra 第八版. Cengage Learning. 2012. ISBN 978-1133599708 （英语）. 
• Thomas W. Hungerford. Algebra 第三版. Springer. 1974. ISBN 978-1-4612-6101-8 （英语）.