第 2 章 · 群的作用与计数

群的价值在于"作用"：群元素当成变换施加到集合上。 Burnside（伯恩赛德）计数、轨道-稳定子定理，把"数东西"变成代数问题——魔方、项链染色、化学分子对称全在这里汇合。

群作用：群与集合的接口

作用 = 同态 $G \to \text{Perm}(S)$：每个群元素对应集合 $S$ 上的一个置换。两条基本结构定理：

• 轨道-稳定子：$|orb| \cdot |stab| = |G|$——轨道大小 × 稳定子大小 = 群阶。计数的天平：元素动得多（轨道大）就固定得少（稳定子小）。
• 轨道把 $S$ 切成互不相交的等价类——"分而数之"。

Burnside 引理：平均之后就是本质不同的类数

本质不同的染色方案数 = 每个群元素不动点数的平均。经典应用：正方形四角用 $k$ 种颜色染色，旋转视为相同——旋转群四个元素的不动点数平均即答案。这一公式把"难数的"换成"好数的"（每个旋转保持不变的染色数显然好算）。

作用视角下的群结构

• 群在自己身上作用：共轭作用（$g: x\mapsto gxg^{-1}$）给出共轭类；左平移作用给出 Cayley 定理：每个有限群都同构于某个置换群的子群。
• $p$ 群必有非平凡中心（用轨道大小整除群阶 + 类方程）——Sylow 理论的伏笔。

老师的提醒

• 套 Burnside 的流程固定三步：确定对称群 → 列出每个元素的 Fix 数 → 平均。熟练后一页纸解决一类问题。
• 轨道-稳定子的直觉版：固定得越少走得越远。两者相乘永远等于群阶——这是检查计数的快尺。

自检

• 叙述轨道-稳定子定理并推 Burnside 引理。
• 用 Burnside 数"3 珠手链（旋转等价）黑白两色"的方案数。
• Cayley 定理怎么从左平移作用得出？

更深一层：对称即等价——群作用的世界观

群作用的本质是给"对称"一个可计算的形状：两个对象"本质相同"当且仅当存在群元素把一个送到另一个。这个视角把看似复杂的问题（"有多少种本质不同的染色？"）转化为纯粹的计数。轨道-稳定子定理 $|orb| \cdot |stab| = |G|$ 是这个转化的定量核心——它把"对象被移动得多远"（轨道大小）与"对象被固定得多紧"（稳定子大小）用一张乘法账本锁死。直觉记忆：固定得越少、走得越远；两者相乘恒等于群的全部"能量"。

Burnside 引理则是轨道-稳定子的推论级应用：本质类数 = 各元素不动点数的平均。注意它数的是轨道数而不是轨道大小——问"分几类"用 Burnside，问"某一类多大"用轨道-稳定子。两个公式的分工在实战中极其清晰。

推导细读：一个完整的 Burnside 计算手例

用 2×2 棋盘、3 种颜色、旋转等价做一遍完整演算。旋转群 $C_4$：$0°$ 不动点 $3^4 = 81$（任意染）；$90°$ 与 $270°$ 四格成一个轮换 → 全同色 $3$；$180°$ 对角两对轮换 → $3^2 = 9$。

可整除性自检：Burnside 的平均必须得到整数（轨道数是整数）——算出分数立即暴露某个不动点数数错了。这个"内置验错器"是 Burnside 引理在实战中的隐藏福利。

在真实世界里：从分子对称性到搜索空间剪枝

群作用的工程出场：化学——分子的点群决定红外/拉曼活性（哪些振动模式可观测），轨道-稳定子给出等价原子分组；密码学——置换与轮换结构是分组密码 SPN 结构的骨架（AES 的行移位就是固定置换）；搜索剪枝——谜题/排程问题的解空间按对称群分类后，每类只需搜一个代表元（对称破除，约束求解器的标配优化）。对称不是审美装饰，是指数级搜索空间的合法折扣券。

专题深入：对称即等价——群作用的世界观展开

群作用的本质是给"对称"一个可计算的形状：两个对象"本质相同"当且仅当存在群元素把一个送到另一个。轨道-稳定子定理 $|orb| \cdot |stab| = |G|$ 是这个转化的定量核心——它把"对象被移动得多远"（轨道大小）与"对象被固定得多紧"（稳定子大小）用一张乘法账本锁死。直觉记忆：固定得越少走得越远；两者相乘恒等于群的全部"能量"。

Burnside 引理则是轨道-稳定子的推论级应用：本质类数 = 各元素不动点数的平均。注意它数的是轨道数而不是轨道大小——问"分几类"用 Burnside，问"某一类多大"用轨道-稳定子。两个公式的分工在实战中极其清晰。

数学细节展开：Burnside 的"内置验错器"与完整手例

Burnside 引理有一个"内置验错器"值得记：平均必须得到整数（轨道数是整数）——算出分数立即暴露某个不动点数数错了。完整手例（2×2 棋盘、3 种颜色、旋转等价）：$0°$ 不动点 $3^4 = 81$、$90°/270°$ 全同色 $3$、$180°$ 对角两对轮换 $3^2 = 9$：

可整除性自检通过后，这 24 类是可以手画验证的（全同色 3、一色 12、相邻二色 6、对角二色 3——凑齐 24）。这个"内置验错器"是 Burnside 引理在实战中的隐藏福利。

工程案例细节：从分子对称性到搜索空间剪枝（工程版）

群作用的工程出场清单：化学——分子的点群决定红外/拉曼活性（哪些振动模式可观测），轨道-稳定子给出等价原子分组；密码学——置换与轮换结构是分组密码 SPN 结构的骨架（AES 的行移位就是固定置换）；搜索剪枝——谜题/排程问题的解空间按对称群分类后，每类只需搜一个代表元（对称破除，约束求解器的标配优化）。对称不是审美装饰，是指数级搜索空间的合法折扣券。