第 6 章 · Lagrange 定理与共轭类

有限群最基本的不变量是它的阶。Lagrange 定理说：子群的阶整除群的阶——一个看似平淡的整除关系，却是整个有限群论的"引力场"。

陪集：整除性的来源

子群 $H \le G$，左陪集 $gH = \{gh\}$。三个事实：任意两个陪集要么相等要么不交；所有陪集等大小（$|gH| = |H|$）；并起来是全群。于是：

Lagrange 定理：$|H|$ 整除 $|G|$。直接推论：元素阶整除群阶（$a^{|G|} = e$，Fermat 小定理的群论形态）、素数阶群必是循环群且无真子群。

共轭类与中心

$g x g^{-1}$ 与 $x$ "本质相同"（同一个元素换个视角）。类方程：

每一项都整除 $|G|$。这个计数等式是存在性证明的发动机：$p^k$ 阶群的中心非平凡（各项模 $p$ 的整除性逼出 $p \mid |Z|$）；由此可证 $p^2$ 阶群必交换。

指标的威力

$[G:H] = 2$ 的子群必正规（左右陪集只有两种排法）——所有"一半大小"的子群自动正规，商群合法。这是构造商群最常用的免费正规性。

老师的提醒

• Lagrange 的逆命题不成立：12 阶群不必有 6 阶子群（$A_4$ 是经典反例）——补齐这件事的正是 Sylow 定理。
• 类方程各加项整除 $|G|$ 这个观察，是"证明存在性"的万能起手式。

自检

• 陪集三事实与 Lagrange 定理的证明链。
• 为什么素数阶群必循环？
• 证明 $p^2$ 阶群交换。

更深一层：Lagrange 定理的"能"与"不能"

Lagrange 定理 $|H|$ 整除 $|G|$ 的证明只用了三件事：陪集不交、等势、覆盖全群。它的威力与局限同样清晰。能做：排除法——15 阶群没有 7 阶子群（7 不整除 15）；元素阶整除群阶（循环子群的存在把元素的阶变成子群的阶）；指数 $[G:H]$ 可计算。不能做：逆命题不成立——4 整除 12 但 $A_4$ 没有 4 阶子群。"哪些整除数真的实现为子群"是 Sylow 定理（下一节）的地盘，Lagrange 只负责"不可能清单"。这对分工在解"存在/不存在子群"题时是第一道分诊：先查整除性（Lagrange 排除），再用 Sylow 确认存在。

推导细读：类方程的"模 p 选举"

类方程 $|G| = |Z(G)| + \sum [G : C_G(x)]$ 的证明只有两步：共轭类的轨道-稳定子解读（类大小 = 中心化子的指数）与按"是否在中心"分组。它的杀手级应用是 $p$-群中心非平凡：$|G| = p^k$ 时每个非中心类大小被 $p$ 整除，$|G|$ 也被 $p$ 整除，逼出 $p \mid |Z(G)|$；而 $e \in Z$ 使 $|Z| \ge 1$，于是 $|Z| \ge p$。一步模 $p$ 的整除推理，换来了"$p$-群必有非平凡中心"——进而 $p^2$ 阶群必交换（中心非平凡 → 商群循环 → 群交换的经典推理）。类方程是把"整除性"变成"存在性"的机器，这是它反复出场的根本原因。

在真实世界里：置换群共轭类 = 轮换型

$S_n$ 的共轭类恰好按轮换型分类（同型互相共轭）——这个具体事实把抽象的共轭类"数出来了"：$S_4$ 的 5 个类对应 5 种轮换型（$1^4, 21^2, 2^2, 31, 4$）。它直接服务两件事：数共轭类个数（= 不可约表示个数，表示论的第一扇门）与对称群上的函数平均（随机洗牌的循环结构分析——洗牌几次才均匀，答案是 $\log_2 n$ 量级，Gilbert-Shannon-Reeds 模型）。抽象的类概念在 $S_n$ 上有完全具体的"轮换型"面孔——这是抽象代数最成功的具体化案例之一。

专题深入：Lagrange 定理的"能与不能"完整版

Lagrange 定理 $|H|$ 整除 $|G|$ 的证明只用了三件事：陪集不交、等势、覆盖全群。能做：排除法（15 阶群没有 7 阶子群——7 不整除 15）；元素阶整除群阶（循环子群的存在把元素的阶变成子群的阶）；指数 $[G:H]$ 可计算。不能做：逆命题不成立——4 整除 12 但 $A_4$ 没有 4 阶子群。"哪些整除数真的实现为子群"是 Sylow 定理的地盘，Lagrange 只负责"不可能清单"。这对分工在解"存在/不存在子群"题时是第一道分诊：先查整除性（Lagrange 排除），再用 Sylow 确认存在。

数学细节展开：类方程的"模 p 选举"与 p 群中心定理

类方程 $|G| = |Z(G)| + \sum [G : C_G(x)]$ 的杀手级应用是 $p$-群中心非平凡：$|G| = p^k$ 时每个非中心类大小被 $p$ 整除，$|G|$ 也被 $p$ 整除，逼出 $p \mid |Z(G)|$；而 $e \in Z$ 使 $|Z| \ge 1$，于是 $|Z| \ge p$。一步模 $p$ 的整除推理，换来了"$p$-群必有非平凡中心"——进而 $p^2$ 阶群必交换（中心非平凡 → 商群循环 → 群交换的经典推理）。类方程是把"整除性"变成"存在性"的机器，这是它反复出场的根本原因。

工程案例细节：置换群共轭类 = 轮换型（工程版）

$S_n$ 的共轭类恰好按轮换型分类（同型互相共轭）——这个具体事实把抽象的共轭类"数出来了"：$S_4$ 的 5 个类对应 5 种轮换型（$1^4, 21^2, 2^2, 31, 4$）。它直接服务两件事：数共轭类个数（= 不可约表示个数，表示论的第一扇门）与对称群上的函数平均（随机洗牌的循环结构分析——洗牌几次才均匀，答案是 $\log_2 n$ 量级，Gilbert-Shannon-Reeds 模型）。抽象的类概念在 $S_n$ 上有完全具体的"轮换型"面孔——这是抽象代数最成功的具体化案例之一。