Lagrange 定理与共轭类：数清一个群的结构

导读：Lagrange 定理（子群阶整除群阶）与共轭类分解是群论的两大计数工具。Artin 用它们示范「抽象定理如何变成可计算的清单」。

Lagrange 定理及其推论

陪集划分群：$|G| = |H| \cdot [G:H]$。直接推论：元素阶整除群阶、素数阶群必循环、$a^{|G|} = e$（Fermat 小定理的群论版本）。

反方向要小心：「阶整除」不保证存在子群（A_4 没有 6 阶子群）——这是 Cauchy 与 Sylow 定理要补的内容：素数幂阶子群存在。

共轭类 $[g] = \{xgx^{-1}\}$ 是「同一元素换坐标」的等价类；类的大小 = 指数 $[G:C_G(g)]$（中心化子指标）。类方程 $|G| = |Z(G)| + \sum [G:C_G(g_i)]$ 是数元素的神器。

经典应用：$p^2$ 阶群必交换（中心非平凡 + 商群循环）；$p^2 q$ 阶群的结构分析——Sylow 定理与类方程配合的示范。

$S_3$：6 个元素、3 个共轭类（恒等/三个对换/两个三循环），是检验一切抽象命题的第一实验场。$S_4$ 与正四面体对称、$A_5$ 与二十面体——几何与代数在这里会师。