群论专题读本 · 其六

本册定位。 翻开第一章，群的作用其实早已无处不在：S_n 本来就在搬动 {1,…,n}，凯利定理把 G 嵌进 S_G（左乘作用），共轭给出内自同构，陪集空间承载商群……但它们总是作为「工具」出现。这一册做一件反客为主的事：把「作用」本身变成研究对象。一个群 G 作用在一个集合 X 上，就称 X（连同作用）为一个 G-set；保持作用的映射叫等变映射。于是第一章的全部概念——子群、共轭类、陪集、商群、同态、凯利定理——都能被翻译成关于 G-set 的几条大定理：轨道-稳定子计数、Burnside 不动点平均、陪集分类 G/H、等变映射计数。文末按叙事链预告其八（刚性）与其九（范畴的自由对象）——本册是范畴线的第一块基石。

一为什么「重写」：一个作用的三副面孔

群 G 作用在集合 X 上，第一章最常用的定义是：映射 G×X → X，(g, x) ↦ g·x，满足

(gh)·x = g·(h·x)，　e·x = x

但这同一个概念有另外两副面孔，各自照亮不同的问题：

面孔一（同态）：作用 = 置换表示。 固定 g，映射 x ↦ g·x 是 X 上的一个置换；于是作用 ⟺ 群同态

φ : G → Sym(X)，　φ(g)(x) = g·x这是「群作为对称」的出口：第一章末凯利定理说每个群都能这样嵌进某个对称群。 面孔二（对象）：作用 = G-set。 把「X 连同它的 G-作用」看成一件成品，记为 X 本身，称左 G-集合（G-set）。两件 G-set 之间的等变映射（G-映射）是那些「先搬再送 = 先送再搬」的 f：

f(g·x) = g·f(x)　（对一切 g ∈ G, x ∈ X）等变双射 = G-set 同构。全部 G-set 连同等变映射构成一个范畴（记 G-Set）——「作用」从此有了自己的世界，其六到其九的范畴线由此展开。

注 1.1（为什么值得对象化）。 同态面孔问「G 能怎样表现在置换里」，对象面孔问「G-set 有哪些、彼此怎么映射」。后者把问题从「找表示」变成「分类 + 计数」，而本册将看到：分类完全由轨道与稳定子完成——不需要任何额外的结构。数值剧本把九个作用建成整数表并逐 (g, h, x) 验证公理（A1），等于替「对象化」先验明正身。

本册的标本。 剧本固定两只群：S₃（第一章最熟悉的 6 阶群）与 D₆（其三的主角，正六边形对称群，12 阶），在它们身上搭九个 G-set：

这一张表本身就是第一课：同一个群可以作用在千差万别的集合上，而 G-set 理论许诺——所有这些对象由少数几个「型」管住。

教材接口。 ① 同态面孔正是 §1.5 同态与 §1.6 对称群的合流：Sym(X) 是「容器」，φ 把抽象群装进去；凯利定理（§1.7）是第一个「人人皆可装」的构造（正则作用，见第四节）。② 等变映射的定义照抄同态的条件 f(gh) = f(g)f(h)，只是把「乘」换成「作用」——从群到 G-set，语言换了一层，同构/同态的思想原封不动。

二轨道与稳定子：作用版的第一计数定理

任意取 x ∈ X，问两件事：x 在群作用下能「走到」哪些点（轨道）；哪些群元素把 x「钉住」不动（稳定子）。

定义 2.1（轨道与稳定子）。 轨道 Orb(x) = {g·x : g ∈ G}；稳定子 Stab(x) = {g ∈ G : g·x = x}。轨道是 X 上的等价类（x~y ⟺ 存在 g 使 g·x = y），稳定子总是 G 的子群（A3 逐点验证：含 e、乘法闭包）。 定理 2.2（轨道-稳定子定理）。 对有限群 G 与任意 x：

|G| = |Orb(x)| · |Stab(x)|证明即「陪集记数」：映射 g·Stab(x) ↦ g·x 在陪集与轨道元素之间建立双射（良定义靠 Stab(x) 的定义）。于是轨道长整除 |G|——这是拉格朗日定理在作用世界的翻版，也是「G-set 的第一计数定理」。

注 2.2（稳定子的共轭行为）。 轨道内不同点的稳定子不一样，但「共轭地」一样：Stab(g·x) = g·Stab(x)·g⁻¹。于是同一轨道上的稳定子互相同构（且在同一共轭类里）——这句话是第五、六节分类学的地基，其五的「共轭类」语言在此再次出场。

数值剧本 A2 对九个作用逐一验证每个 x 都满足 |Orb(x)|·|Stab(x)| = 12（或 6）。把每个作用按「轨道长」分解，立刻读出性格：

教材接口。 ① |G| = |Orb|·|Stab| 是 §1.2 拉格朗日定理的推广：取 X = G 的陪集空间 G/H、作用为左乘时，轨道-稳定子退化为 |G| = |G/H|·|H|。② Stab 是子群（§1.2）、共轭是 §1.3——第二节已悄悄用完全章前三节的工具。③ D6-axes 的两条轨道正是其五的 V/E 两类反射轴，下一册的「类」在本册作为轨道重生。

三Burnside 引理：把不动点平均起来

数轨道往往麻烦（D₆ 在 2 染色上的轨道有 13 个），但「每个群元素固定了多少个点」好数。Burnside 引理说：两者只差一个平均。

定理 3.1（Burnside / Cauchy–Frobenius）。 有限群 G 作用在有限集 X 上，记 fix(g) = |{x : g·x = x}|，则轨道数

#轨道 = (1/|G|) · Σ_g∈G fix(g)证明是双计数：数集合 {(g, x) : g·x = x}。按 x 数得 Σ_x |Stab(x)|，把每条轨道 O 的单点稳定子大小 |G|/|O| 加起来恰是 |轨道|·|G|；按 g 数得 Σ fix(g)。两数相等即得。

注 3.2（与类方程的亲缘）。 若取共轭作用（g·x = gxg⁻¹），轨道就是共轭类、fix(g) = |C_G(g)|（中心化子），于是「类数 = 中心化子大小的平均」——这正是第一章共轭类分析的 Burnside 化形态；其五的「轴分两类」也可看作这条线的果实。Burnside 不是孤立的技巧，它是「对作用取平均」这一思想的第一个成熟形态。

数值剧本 C1 对九个作用逐一验证「平均 = 轨道数」。最漂亮的一行是 D₆ 的轴作用：

r³ 是 180° 旋转，把每条对称轴映到自身，故固定全部 6 轴；每个反射固定「自己」与「与它垂直的那条轴」共 2 条。于是平均 = 2：轴分成两族，各 3 条——过对顶点的 V 类 {s, sr², sr⁴} 与过对边中点的 E 类 {sr, sr³, sr⁵}（数据表 1，与其五的共轭类完全一致）。还有一对偶值得记下：反射固定顶点 ⇔ 轴过顶点（b 偶）；固定边 ⇔ 轴过边中点（b 奇）——顶点与边在反射作用下的「固定方式」正好错开，这是第五节 D₆ 顶点 ≇ 边的先兆。

应用：数「本质不同」的染色。 用 2 色给正方形四角染色，直接数有 2⁴ = 16 种；但旋转/翻转后相同的应算一种。让 D₄ 作用在染色集合上，轨道数即答案。Burnside 只需数每种对称保持的染色数：

16 + 2 + 4 + 2 + 8 + 4 + 8 + 4 = 48，　48 / 8 = 6（id 保 16 种；90° 转保 2 种——四角同色；180° 保 4 种；过顶点的反射保 8 种、过边中点的保 4 种。）剧本 C3 再验两例：D₅ 五角 3 色 = 39、D₆ 六角 2 色 = 13（数据表 2）。「6、13、39」正是手环计数（bracelet）的经典数列开头——同一条 Burnside 引理，从群论一路数到组合与化学（苯环异构体计数即此）。

教材接口。 ① 染色计数的「本质不同」= 作用轨道，这个翻译是本章 §1.6 对称群思想的延伸：正方形对称群 D₄ 的 8 个元素在此扮演「判定两个染色是否相同」的裁判。② 若把颜色换成「权重」再数，Burnside 升级为 Polya 计数定理——本章习题常以「珠子串项链」形式出现，正是定理 3.1 的直接应用。

四传递、忠实、自由：作用的三种性格

同一只群在不同 G-set 上的表现可以大不相同。三个形容词把性格分清楚：

定义 4.1（三性）。 作用称为 传递（transitive）：只有一条轨道（任一点可到任一点）； 忠实（faithful）：不同群元素给出不同置换，即 φ : G → Sym(X) 单射（核 = {e}）； 自由（free）：每个 x 的稳定子都平凡（没有任何非平凡元素钉住任何点）。 核有干净的表达：ker φ = ∩_x∈X Stab(x)——「每个点都不动」的元素全体（B2 逐作用验证）。自由 + 传递 ⟹ |X| = |G|（一条轨道长 |G|）。

注 4.2（正则作用：G 是它自己的 G-set）。 取 X = G、左乘 g·x = gx，得正则作用。它自由且传递：g·x = x 推出 g = e（自由），且 g·(g⁻¹x) = x（传递）。剧本 B1 的三性表把所有标本的性格摊开：

「核 = ∩Stab」给出判断忠实的捷径，也解释了非忠实作用：D₆ 在对角线上的作用认不出 r³——180° 旋转把每条对角线映到自身。这个作用透过同态 D₆ → Sym(3) 看见的其实是商群 D₆/⟨r³⟩ ≅ S₃（F2 验证核 = ⟨r³⟩）：非忠实的 G-set 是「G 的一个商」在动。

命题 4.3（凯利定理的对象版）。 正则作用忠实，故给出单同态 G ↪ Sym(G)：S₃ ≤ S₆、D₆ ≤ S₁₂ 都作为「搬动自身」的置换群实现（F1 数值：像恰含 |G| 个不同排列）。第一章的凯利定理在这里有了几何味道：群把自己的元素排成一列自行搬动，不多不少。

教材接口。 ① 忠实 = 置换表示单射（§1.5 同态、§1.6 对称群），非忠实的「商作用」观念则靠 §1.5 第一同构定理：G/ker φ ≅ im φ。② 凯利（§1.7）以左乘作用为引擎——本册把它的「作用」本质显影：正则作用是唯一自由传递的 G-set（第七节）。

五陪集空间：传递 G-set 的分类学

九个标本各有轨道；把问题限制到「单条轨道」（传递）上，分类就完全清楚了：

定理 5.1（传递 G-set = 陪集空间）。 设 G 传递地作用在 X 上，取 x₀ ∈ X，记 H = Stab(x₀)。则

X ≅ G/H　（作为 G-set：g·x₀ ↦ gH）映射良定义且等变——传递作用「就是」某个陪集空间上的左乘。 定理 5.2（同构判据）。 对子群 H, K ≤ G：

G/H ≅ G/K　⟺　H 与 K 共轭且 Stab(gH) = gHg⁻¹（D1 对 S₃/A₃、D₆/⟨r³⟩、D₆/⟨s⟩、D₆/⟨sr⟩ 的每个陪集逐一核验）。

注 5.3（「型」的语言）。 于是传递 G-set 的同构类 = G 的子群共轭类。S₃ 的子群共轭类只有 4 个：{e}、C₂（三个转置子群共轭成一类）、A₃、S₃。对应四个传递 G-set：

这张表回答了一开始的问题：「S₃ 能怎样作用」——本质上只有这四种（不交并就造出更多，见第七节）。2-子集作用与自然作用同构，因为两者的稳定子 ⟨(01)⟩ 与 ⟨(12)⟩ 共轭（D2 找到等变双射；几何上补集对应 {0,1} ↦ 2 就是那个同构）。

D₆ 的惊奇：顶点 ≇ 边（D3，本册最重要的一个数值）。 正六边形顶点 6 个、边 6 条，D₆ 都传递地作用其上——直觉上「一样多」仿佛就该同构。但按定理 5.2 一查：顶点的稳定子是过顶点 0 的轴所生成的 ⟨s⟩（V 类），边的稳定子是过边 {0,1} 中点的轴 ⟨sr⁵⟩（E 类，= ⟨rs⟩）；V 类与 E 类在 D₆ 里不共轭（其五的共轭类账本），于是 D₆-顶点 ≇ D₆-边。剧本 D3 的暴力搜索确认：六个点的 720 个双射里没有一个等变。 与其五的精确接头。 其五发现 D₆ 有外自同构 α : r ↦ r, s ↦ rs，它把 V 类整类换成 E 类——「几何轴类不是代数不变量」。本册这句话有了 G-set 译文：α 把「顶点作用」重新标号成「边作用」。换言之，顶点与边作为 D₆-集合不同构（它们只差一个群自身的共轭），却相差一个群的外自同构。G-set 的分类只看「内」的共轭；Aut 的外层搬动要等您同时重标 G 才显现——这正是 Aut 与 G-set 两个世界之间那条又深又窄的缝。

D₆ 的对角线作用则归入正规子群的账：Stab(对角线 d₀) = {e, r³, s, sr³}——4 阶 V₄ 型子群（保一条对角 = 过它两端的两条轴 + 半圈）。陪集空间 D₆/Stab(d₀) 恰 3 个点，D4 验证它与对角作用同构；而其核 ⟨r³⟩ 告诉我们同态 D₆ → Sym(3) 的像是 6 阶的 S₃ 全体。

教材接口。 ① 陪集空间 G/H 与商群（§1.5）只差 H 是否正规：H ◁ G 时 G/H 是群、否则只是 G-set——同一套「商」的构造在两种层次工作。② 定理 5.2 与 §1.3 共轭类语言互相翻译：H, K 共轭 ⟺ 同构的传递作用，这是「子群的共轭类」第一次成为分类学对象。③ D₆ 顶点 ≇ 边直接回收其五注 4.4 的六阶类互换外自同构——两个读本在这里锁死。

六等变映射：G-set 的范畴

对象齐了（G-set），该问态射。等变映射 f(g·x) = g·f(x) 是「尊重 G-作用」的传送带。数值剧本的 hom_count 用一条通用原理计数：等变映射由每个轨道代表元的像决定，而代表元 x 的像 y 只须满足

Stab(x) ⊆ Stab(f(x))（否则「钉住 x 的元素」会把矛盾传遍整条轨道）。由此得到一串干净的数值：

命题 6.1（正则作用 = 表示 Hom 函子的自由对象）。 等变映射 f : G_正则 → X 被 f(e) 唯一决定，而 f(e) 可以是 X 的任意点——于是

Hom_G(G_正则, X) ≅ X　（作为集合）「从正则 G-set 出发的等变映射」就是「挑一个点」。这正是范畴论里自由对象的记号：G 自身（连同左乘）是 G-Set 中表示「遗忘函子」的对象。凯利定理在此获得范畴学形态——其九（群范畴的自由对象）将把这句话系统化。

注 6.2（Schur 引理的前奏）。 传递 G-set 之间的等变映射若存在且是双射，其个数受稳定子控制：G/H 的等变自同构群 ≅ N_G(H)/H（正规化子商）。S₃/A₃ 的自同构 = S₃/A₃ = 2（A₃ 正规）；而自然作用的等变自同构只有 1 个（⟨(12)⟩ 自正规化）。「保持结构的一一自映射组成群」——其五的 Aut 思想在 G-set 范畴里逐字重演，只是把「结构」换成「G-作用」。

最后一行「D₆ 顶点 → 轴 = 2」值得停下来看：顶点 0 的稳定子 ⟨s⟩ 要装进某条轴的稳定子（{e, r³, s, sr³} 型），于是 f(0) 只能取两条轴——过顶点 0 的那条（V 类）或与它垂直的那条（E 类，即 sr³ 的轴）。前者给出「每顶点 ↦ 过它的轴」的自然嵌入，后者给出「每顶点 ↦ 与它垂直的轴」的错位嵌入。同一个群的两类轴，在这里以映射计数的方式再次分野。

教材接口。 ① 等变映射 = 同态（§1.5）的推广，等变同构 = 同构——G-set 范畴把第一章的「映射」观念搬到「带作用的集合」上，为范畴语言（其九）做最后热身。② 命题 6.1 的 |Hom(G_reg, X)| = |X| 可看作凯利定理（§1.7）的函子化版本。

七G-set 的算术：直和、同构型与正则化身

一条轨道是「原子」，多个轨道不交并就是「分子」：

定理 7.1（分解定理）。 任何有限 G-set X 都是传递轨道的无交并，每条轨道 ≅ G/H_i（H_i 为该轨道的稳定子）：

X ≅ G/H₁ ⊔ G/H₂ ⊔ ⋯ ⊔ G/H_k于是 G-set 的同构类完全由「各轨道稳定子的共轭类（可重复）」决定——这个多重集叫 X 的同构型（iso-type）。剧本 E3 把 S₃ 的四件套（自然、2-子集、正则、平凡）不交并成 13 个点的大 G-set，其同构型 = 自然型 ×2 + 正则型 ×1 + 平凡型 ×1（数据表 3）——直和在型上就是「计数相加」。

注 7.2（Burnside 环的坐标）。 把同构类 [X] 相加（不交并）、相乘（G 对角作用在 X×Y 上），同构类组成一个环——Burnside 环；而「轨道型多重集」就是它的一组坐标。这把第五节、第六节的分类学装进一台代数机器：G-set 的算术与第一章的群运算一样，本身又成为一个结构。群表示论里 Grothendieck 环是它的嫡系后代。

正则作用的几何化身：旗。 第五节表里 D₆ 的旗（顶点 + 邻边的有序对）稳定子平凡、自由传递，故 ≅ 正则作用（F3）：12 面旗一一对应 12 个群元素。这给凯利定理一幅活的几何：给正六边形「每顶点选一条邻边并指向它」，得到的 12 个记号恰好把 D₆ 的元素全部编上号；D₆ 搬动旗的方式就是它搬动自己的方式。在 Lie 理论里，「旗」正是对称群/反射群的同义词——旗流形 G/B 是正则作用在高维的化身。一个 12 阶小群已经把这条线索握在手里。

把本册的账目合拢，G-set 语言重述了第一章的哪些定理？——轨道-稳定子重述拉格朗日与陪集记数；Burnside 重述共轭类平均；陪集分类重述「子群决定商对象」；核 = ∩Stab 重述第一同构；正则作用重述凯利。第一章的骨架没有变，变的是所有陈述都获得了一个「对象的」身份：它们不再只是关于一个群的内部事实，而是关于一整族 G-set 与它们之间映射的事实。下一册若做其八（刚性作用）将在这套语言里问「怎样的作用几乎没有对称」；其九（范畴自由对象）则把命题 6.1 的「表示 Hom 函子」扩展成群的范畴化图景。

教材接口（结语）。 ① 分解定理是「陪集空间 = 一切传递对象」（§1.5 商群思路）的穷尽化：任何作用都被商对象拼出。② 正则化身一段把凯利定理（§1.7）从「同构于置换群」升级为「同构于一个自由传递 G-set」，同时预告范畴论视角——本册是叙事链 ⑥→⑨（范畴线）的起点，其九将把 §1.7 的凯利放进「自由对象 = 表示遗忘函子」的一般框架。

八术语考古与阅读指引

8.1 名词与历史的来路

• G-set / action（群作用、G-集合）。「作用」来自日常语言：群元素是「动作」，施加在集合上。把「带作用的集合」整体称为 G-set（左 G-集合）是对象化命名——20 世纪范畴论风气下，数学家开始给「结构 + 保持结构的变换」起单个名字（G-set、G-空间、G-模一路排下去）。「作用」的现代系统处理见 Bourbaki《代数》与 Lang 的教科书传统。
• orbit / stabilizer（轨道、稳定子）。 orbit 借自天文学：一点在群作用下划出的轨迹，正如行星的轨道。stabilizer 直译「镇定器」——把 x 稳稳钉住的那些元素；中文「稳定子群」贴切。轨道-稳定子定理把两者用 |G| = |Orb|·|Stab| 拴在一起，是作用世界的第一定理，也常被称作「作用版拉格朗日定理」。
• transitive / faithful / free（传递、忠实、自由）。 transitive 借自逻辑学的「传递关系」：这里指任意两点都能经群元素「传递」相连。faithful（忠实）指置换表示不丢失信息（无核），如同忠实的译本不删改原文。free（自由）指群元素在 X 上「无拘束地动」——没有稳定子绊脚；它与范畴论的「自由对象」共享同一个词根，不是巧合：自由 G-set（正则作用的若干份）正是第六节的表示对象，自由 = 没有关系约束。
• Burnside（引理之名，实为张冠李戴）。 William Burnside（1852–1927），英国群论家，名著《有限群论》（1897 首版）作者；「Burnside 引理」却并非他首发——Cauchy 1845 年、Frobenius 1887 年都已用过。数学史上这类命名反讽不少（其五的 Hölder 与 S₆ 是另一例），组合学里因此常称「Cauchy–Frobenius 引理」。
• coset / homogeneous space（陪集、齐性空间）。 coset 由 co-（伴随）+ set 构成，指群的「旁系」；中文「陪集」取「陪随」之意。几何中 G/H 常称齐性空间（homogeneous = 处处同质）：群传递地作用其上，任何两点都「一样」，没有特殊点——这正是第五节「传递 = G/H」的几何口吻。旗流形、球面 Sⁿ ≅ O(n+1)/O(n) 都是齐性空间名例。
• equivariant / invariant（等变、不变）。 equi-（相等）+ variant（变化）＝「随变换同步变化」，与 invariant（在变换下保持不变）对举。等变映射 f(gx) = gf(x) 说：先让 G 动 x、再送走，等于先送走、再让 G 动像——f 把 G 的动作「等量传送」。中文「等变」是近年通行译法，早先也译「同变」。
• regular representation / Cayley（正则表示）。 regular（正则、规整）指每个群元「恰好规整地」搬动一次：正则作用自由传递，是 G 对自己最自然的动作。凯利定理（Arthur Cayley, 1854）「每个群同构于某对称群的子群」即正则作用忠实的直接推论；在表示论里左正则表示是最重要的基本表示之一。Cayley 本人正是把「抽象群」与「置换群」接轨的关键人物——其五（自同构）与他亦有渊源。

8.2 三句话总结

① 一个群作用 = 一个 G-set（对象），等变映射为态射；轨道-稳定子定理 |G| = |Orb(x)|·|Stab(x)| 是作用版拉格朗日，Burnside 引理「轨道数 = 不动点平均」是作用版计数（D₄ 二色四角得 6、D₆ 二色六角得 13、D₅ 三色五角得 39）。 ② 传递 G-set ≅ 陪集空间 G/H，G/H ≅ G/K ⟺ H, K 共轭；D₆ 顶点 ≇ 边（稳定子 ⟨s⟩ 与 ⟨sr⟩ 分属 V/E 两共轭类）——它们只差其五那个 6 阶类互换外自同构 α，G-set 分类「看不见」Aut 的外层。 ③ 三性判定：忠实 ⟺ 核 {e} = ∩Stab；自由传递 ⟺ 正则（旗 = D₆ 的 12 个化身）；分解 X ≅ ⊔ G/H_i 用同构型多重集记账（Burnside 环坐标）；Hom(G_正则, X) ≅ X——正则作用是 G-Set 的自由对象，其九的范畴线由此启程。

8.3 阅读指引

• 本科入门（群作用与轨道-稳定子/Burnside 的标准习题场）：J. A. Gallian, Contemporary Abstract Algebra, 9th ed.（Cengage）——「Group Actions」「Burnside's Theorem」两章习题系统覆盖本册第二至四节。
• 抽象代数标准参考（G-set 与陪集分类的系统处理）：D. S. Dummit & R. M. Foote, Abstract Algebra, 3rd ed.（Wiley）——「G-sets」与「Group Actions」小节约 100 页的完整展开，S₃ 的各类作用皆有表。
• 群论进阶（表示、自由传递与 Cayley 的对象化）：J. J. Rotman, An Introduction to the Theory of Groups, 4th ed.（Springer GTM 148）——G-set 与置换表示的严格处理，含 hom 计数的 Schur 引理版本。
• 几何视角（群作用、齐性空间与旗）：M. Artin, Algebra, 2nd ed.（Pearson）——以群作用贯穿全书，齐性空间 G/H 与旗的几何讨论适合作第五、七节的续篇。
• 组合计数（Burnside 与 Polya 枚举）：P. J. Cameron, Combinatorics: Topics, Techniques, Algorithms（CUP）——Burnside/Cauchy–Frobenius 引理与 Polya 计数定理的组合表述；化学与项链计数的经典案例见 van Lint & Wilson, A Course in Combinatorics。
• 历史注记：Burnside 与 Cauchy–Frobenius 命名的来龙去脉、凯利定理的原始论文背景，见 I. Kleiner, A History of Abstract Algebra（Birkhäuser 2007）相关章节。

《代数学基础（下·第 2 版）》第一章补充读物 群论专题读本·其六 ｜ 九章格数学 ｜ 2026