2026-07-21 · 把对称变成等价类

0. 导读与元结构 (Orientation & Meta-structure)

起点问题。 若把正方形四个顶点染色，旋转或翻折后重合的图案是否应算作同一种？直接列举会遇到两个障碍：同一个图案可能有不同数量的对称变换把它固定，因而“总数除以对称数”未必成立；而“哪些变换被允许”若没有写成结构，等价关系也容易含混。群作用 (group action) 正是把变换规则、对象分类与剩余对称性放进同一个模型。

对象与量词层。 今日有三层对象：

1. 群 $G$：可复合、可逆的变换；
2. 集合 $X$：被变换的对象；
3. 映射 $G\times X\to X$：说明每个 $g\in G$ 如何作用于每个 $x\in X$。

公理的量词顺序是“对所有群元和所有对象同时成立”；轨道 $Gx$ 把可互相变换的对象压成一个等价类，稳定子 $G_x$ 则记录固定 $x$ 的群元。我们最终要数的是商集 $X/G$ 的元素数，而不是原集合 $X$ 的元素数。

预备知识。 只需群、子群、陪集、等价关系、有限集合计数。证明的两个主引擎是：

• 构造显式双射 $G/G_x\to Gx$；
• 对同一有限集合 $S=\{(g,x):g\cdot x=x\}$ 按 $g$ 与按 $x$ 各数一次。

去向。 群作用是 Galois correspondence（Galois 对应）、representation theory（表示论）、组合计数、几何商空间和随机结构对称性的共同接口。今日的 Burnside 平均公式还会在第 3 日被重读为 permutation character（置换特征标）的平均。

弧线位置。 本期启动 3 日 exploration micro-arc exploration-2026-w30-symmetry-orbits：

• Day 1：群作用把对称变成轨道与稳定子；
• Day 2：Galois 群作用在根与中间域上，进入 Galois 对应；
• Day 3：把集合上线性化为表示，用特征标读取固定点与不变量。

这不是本周的 roaming issue，而是为修正近期 anchor 偏高而开启的代数探索弧。

1. 核心概念、定理与谱系 (Concept, Theorem & Lineage)

1.1 从“有一些对称”到一个可执行定义

定义 1（left group action，左群作用）。 设 $G$ 是群，单位元为 $e$，$X$ 是集合。左作用是映射

$$\alpha :G\times X⟶X,(g,x)⟼g\cdot x,$$

满足完整量词链

$$\mathrm{\forall }x\in X,e\cdot x=x,$$

以及

$$\mathrm{\forall }g,h\in G\mathrm{\forall }x\in X,(gh)\cdot x=g\cdot (h\cdot x).$$

等价地，给定作用就是给定群同态

$$\rho :G⟶\mathrm{Sym}(X),$$

其中 $\mathrm{Sym}(X)$ 是 $X$ 的全体双射组成的群。这里不要求 $\rho$ 单射：若某些非单位元对每个 $x$ 都无可见效果，作用仍然合法，只是不忠实 (non-faithful)。

定义 2（orbit 与 stabilizer，轨道与稳定子）。 对每个 $x\in X$，定义

$$Gx:=\{g\cdot x:g\in G\},G_x:=\{g\in G:g\cdot x=x\}.$$

$Gx$ 是 $X$ 的子集；$G_x$ 是 $G$ 的子群。后者逐项检查如下：$e\in G_x$；若 $g,h\in G_x$，则

$$(g{h}^{-1})\cdot x=g\cdot (h^{-1}\cdot x)=g\cdot x=x,$$

其中 $h\cdot x=x$ 蕴含 $h^{-1}\cdot x=x$。

定义关系

$$x{\sim }_{G}y⟺\mathrm{\exists }g\in G,y=g\cdot x.$$

单位元、逆元与乘法分别给出自反性、对称性与传递性，所以 ${\sim }_G$ 是等价关系；它的等价类正是轨道。全体轨道组成商集 $X/G$。

1.2 轨道—稳定子：移动范围由剩余对称性决定

定理 1（orbit–stabilizer theorem，轨道—稳定子定理）。 设群 $G$ 作用在集合 $X$ 上。对任意 $x\in X$，映射

$${\mathrm{\Phi }}_x:G/G_x⟶Gx,{\mathrm{\Phi }}_x(g{G}_x)=g\cdot x$$

是双射。因而

$$|Gx|=[G:G_x]$$

只要这些基数有通常的有限含义；特别地，若 $G$ 有限，则

$$|G|=|Gx||G_x|.$$

证明架构。

• 良定义。 若 $g{G}_x=h{G}_x$，则 $h^{-1}g\in G_x$，故 $h^{-1}g\cdot x=x$，从而 $g\cdot x=h\cdot x$。
• 单射。 反过来，若 $g\cdot x=h\cdot x$，则 $h^{-1}g\cdot x=x$，所以 $h^{-1}g\in G_x$，即 $g{G}_x=h{G}_x$。
• 满射。 每个轨道元素按定义都写成 $g\cdot x$。

因此每个“把 $x$ 移到某处”的结果，对应一个左陪集；导致同一结果的群元之差，恰好是稳定子中的局部对称。

1.3 Burnside：轨道数等于平均固定点数

对 $g\in G$，记固定点集

$$X^g:=\{x\in X:g\cdot x=x\}.$$

定理 2（Cauchy–Frobenius / Burnside orbit-counting lemma，轨道计数引理）。 设有限群 $G$ 作用在有限集合 $X$ 上，则

$$|X/G|=\frac{1}{|G|}\sum _{g\in G}|X^g|.$$

证明。 考虑有限关系集合

$$S:=\{(g,x)\in G\times X:g\cdot x=x\}.$$

先固定 $g$，得到

$$|S|=\sum _{g\in G}|X^g|.$$

再固定 $x$，得到

$$|S|=\sum _{x\in X}|G_x|.$$

把后一和式按轨道分组。若 $O=Gx$，则同一轨道内各稳定子共轭，大小相同；由轨道—稳定子定理，

$$|G_x|=\frac{|G|}{|O|}.$$

于是轨道 $O$ 中的 $|O|$ 个点合计贡献

$$|O|\cdot \frac{|G|}{|O|}=|G|.$$

共有 $|X/G|$ 个轨道，故

$$|S|=|G||X/G|.$$

与按 $g$ 的计数比较并除以 $|G|$，即得公式。这里“平均”不是比喻，而是一次严格的双计数。

1.4 谱系：从根的置换与不变量到任意对象的作用

Galois 的原始问题不是“抽象群如何作用在任意集合上”，而是：代数方程的根可以怎样置换，而哪些根的函数在这些置换下保持不变？他的 1831 年手稿把“置换群—不变量—有理可知量”绑在一起。现代群作用把这一机制抽离出方程语境：根可以换成顶点、染色、子空间、函数或几何点；不变量则是沿每个轨道保持不变的量。

Richard P. Stanley 的讲义把现代定义写成同态 $G\to \mathrm{Sym}(X)$，并在有限情形由稳定子和双计数推出轨道计数公式。讲义也提醒：该引理在传递作用情形由 Cauchy 证明、一般情形由 Frobenius 证明，因此称 Cauchy–Frobenius lemma 更能反映谱系；“Burnside lemma”是通行名称而非首证归属。

Graduate / modern extension（置换表示）。 在复向量空间 ${\mathbb{C}}^X$ 中取基 $\{e_x:x\in X\}$，定义

$$\rho (g)e_x=e_{g\cdot x}.$$

不变子空间 $({\mathbb{C}}^X{)}^G$ 中的向量恰好在每个轨道上系数常数，因此

$$\dim ({\mathbb{C}}^X{)}^G=|X/G|.$$

平均算子

$$P:=\frac{1}{|G|}\sum _{g\in G}\rho (g)$$

是到不变子空间的投影，所以 $\mathrm{tr}P=|X/G|$。另一方面，$\rho (g)$ 是置换矩阵，其迹等于 $|X^g|$。于是

$$|X/G|=\mathrm{tr}P=\frac{1}{|G|}\sum _{g\in G}\mathrm{tr}\rho (g)=\frac{1}{|G|}\sum _{g\in G}|X^g|.$$

同一条 Burnside 公式由此成为 character theory（特征标理论）的第一个影子。

2. 固定模板习题 (Template Exercise)

题目

用 $q\ge 1$ 种颜色给正方形的四个顶点染色。若两个染色可由正方形的旋转或反射互相得到，就把它们视为等价。求等价类数关于 $q$ 的公式，并在 $q=2$ 时给出数值。

模板识别

看到“有限对象 + 旋转／反射视为相同”，不要直接除以群的阶。先确认二面体群 $D_4$ 作用在全部染色组成的集合上，再把八个对称按其在四个顶点上的 cycle type（循环型）分类。一个染色被某个置换固定，当且仅当每个循环上的顶点颜色相同。

分级提示

1. Hint 1. $D_4$ 有八个元素：恒等、三个非平凡旋转和四个反射。
2. Hint 2. 若某个顶点置换有 $c$ 个循环，则被它固定的 $q$-染色有 $q^c$ 个。
3. Hint 3. 两条对角线方向的反射与两条中线方向的反射循环型不同，不能把四个反射合并成一种。
4. Hint 4. 分别写出恒等、${90}^{\circ }/{270}^{\circ }$、${180}^{\circ }$、两类反射的固定染色数，再取八项平均。

3. 大家之言 (Mathematician in Their Own Words)

可核验语境。 Évariste Galois 在题为 Mémoire sur les conditions de résolubilité des équations par radicaux 的手稿中研究方程根的置换与有理可知量。手稿署期 1831-01-16，后由 Joseph Liouville 于 1846 年编入 Galois 的数学著作；下句见影印本印刷页 421 的 Proposition I。[2]

« toute fonction des racines, invariable par les substitutions de ce groupe, soit rationnellement connue »

中译。 “根的任何函数，只要在这个群的置换下保持不变，就应当是有理可知的。”

评论（本文解释）。 这里显出的研究姿态是：不要逐个追赶根式公式，而先问允许哪些变换，以及哪些量在这些变换下不变。这把搜索空间从大量表达式压缩为“变换—轨道—不变量”的结构问题。需要守住历史边界：Galois 此处讨论的是方程根的置换群，并没有以今日语言定义任意 $G$-set；现代群作用是对其机制的扩张，而不是把后来的定义倒写进原文。

对今天的计数问题，同一姿态变成：不逐一判断两幅染色是否相同，而先写出 $D_4$ 的作用；轨道给出“相同图案”，固定点给出可平均的局部数据。好的抽象不抹去具体问题，反而保留了真正起作用的机制。

4. 反例与边界 (Counterexample & Boundary)

4.1 为什么不能总写成 $|X/G|=|X|/|G|$

令

$$G=C_2=\{e,s\},X=\{0,1,2\},$$

并定义

$$e\cdot x=x,s\cdot 0=0,s\cdot 1=2,s\cdot 2=1.$$

逐项检查边界：

1. 这确实是群作用。 $e$ 恒等，且 $s^2=e$；因此复合律与 $C_2$ 的乘法一致。
2. 轨道大小不相等。 轨道为
   $$\{0\},\{1,2\}.$$
   所以 $|X/G|=2$。
3. 朴素除法给出伪答案。 因为
   $$\frac{|X|}{|G|}=\frac{3}{2},$$
   它甚至不是整数。
4. 稳定子解释失败点。 有
   $$G_0=G,G_1=G_2=\{e\}.$$
   因而轨道—稳定子分别给出 $1=2/2$ 与 $2=2/1$；不同点保留的对称性不同，所以轨道不能统一取大小 $|G|$。
5. Burnside 平均正确修复。 恒等元固定三个点，$s$ 只固定 $0$，故
   $$|X/G|=\frac{|X^e|+|X^s|}{2}=\frac{3+1}{2}=2.$$

精确边界是：对有限群的有限作用，若作用自由 (free)，即

$$\mathrm{\forall }x\in X,G_x=\{e\},$$

则每个轨道都有 $|G|$ 个元素，才可写

$$|X/G|=\frac{|X|}{|G|}.$$

只要存在非平凡稳定子，就必须按轨道大小或固定点修正。

4.2 有限性放在哪里

陪集—轨道双射 $G/G_x\cong Gx$ 对无限群仍成立；真正依赖有限性的是把它写成普通整数乘法，以及在 Burnside 证明中对有限集合求和。无限群作用需要测度、拓扑或群胚基数等额外结构，不能把有限平均公式原样搬过去。

5. 今日一问与数学地图 (Question & Map)

今日一问。 设 $K$ 是域，$f\in K[t]$ 是可分多项式，$L$ 是其分裂域，$G=\mathrm{Gal}(L/K)$。群 $G$ 自然作用在 $f$ 的根集 $R\subset L$ 上。试证明或精确修正下面的命题：

$$f\text{ 在 }K[t]\text{ 中不可约}⟺G\text{ 在 }R\text{ 上的作用传递}.$$

你需要指出每个方向用了“可分”“分裂域”或“正规性”中的哪一项；若删去某项，结论或证明的哪一步失效？

定向提示。 从一个根 $\alpha$ 到另一个根 $\beta$ 的 $K$-嵌入 $K(\alpha )\to L$ 是否能延拓为 $L$ 的 $K$-自同构，是前向的关键。反向可以考察轨道多项式

$$\prod _{\beta \in G\alpha }(t-\beta )$$

为何具有被 $G$ 固定的系数；要把“被 $G$ 固定”识别成“属于 $K$”，正会触及下一期的 fixed-field theorem（固定域定理）。这里保留证明空间，不提前调用完整 Galois 对应。

数学地图。

$$\begin{array}{c}\text{群与陪集}\\ \Downarrow \\ \text{群作用：把变换外化到对象集合}\\ \Downarrow \\ \text{轨道—稳定子：等价类大小与局部对称}\\ \Downarrow \\ \text{Burnside：固定点平均计数}\\ \Downarrow \\ \text{Galois 群作用于根：不可约性与传递性}\\ \Downarrow \\ \text{固定域／中间域：Galois correspondence}\\ \Downarrow \\ \text{置换表示与特征标：轨道数成为不变量维数}\end{array}$$

在组合学里，$X$ 可以是图、染色或离散结构；在几何里，$X/G$ 是模去对称后的对象空间；在随机图里，顶点重标号作用把 labeled graphs（有标号图）压成 isomorphism classes（同构类）。同一语法反复出现：先说明谁在变、如何变，再问哪些对象同轨、哪些量不变。

附录 A：习题完整解答 (Full Solution)

展开完整解答

可复用模板：确定群作用 $\to$ 按循环型分类群元 $\to$ 逐类计算固定对象 $\to$ Burnside 取平均。

把四个顶点依次记为 $1,2,3,4$。$D_4$ 的八个元素按对顶点的置换循环型分为五类：

1. 恒等元。 循环型为 $1+1+1+1$，四个顶点独立选色，固定染色数为 $q^4$。
2. 旋转 ${90}^{\circ }$ 与 ${270}^{\circ }$。 各自是一个长度为 $4$ 的循环。固定染色必须四点同色，所以每个旋转固定 $q$ 个染色；两者合计 $2q$。
3. 旋转 ${180}^{\circ }$。 循环型为 $2+2$，两对对顶点各自同色，固定染色数为 $q^2$。
4. 沿两条对角线反射。 每个反射固定对角线上的两个顶点，并交换另外两个顶点，循环型为 $1+1+2$；所以每个固定 $q^3$ 个染色，两者合计 $2q^3$。
5. 沿两条对边中线反射。 每个反射交换两对顶点，循环型为 $2+2$；所以每个固定 $q^2$ 个染色，两者合计 $2q^2$。

由 Burnside 轨道计数公式，等价类数为

$$\frac{1}{8}(q^4+2q+q^2+2q^3+2q^2)=\frac{q^4+2q^3+3q^2+2q}{8}.$$

当 $q=2$ 时，

$$\frac{2^4+2\cdot 2^3+3\cdot 2^2+2\cdot 2}{8}=\frac{16+16+12+4}{8}=6.$$

因此两色顶点染色模去正方形全部旋转与反射后，共有 $6$ 个等价类。

模板中的关键检查。 “固定染色数是 $q^c$”里的 $c$ 是群元作为顶点置换的循环数；它不是群元的阶，也不是轨道总数。两类反射之所以必须分开，正因为它们在顶点集上的循环数分别为 $3$ 与 $2$。

资料与来源 (Sources)

1. Richard P. Stanley, Topics in Algebraic Combinatorics, version of 2013-02-01, MIT Mathematics. Chapter 5 用于核对群作用、轨道与稳定子的现代定义；Chapter 7, Lemma 7.2 用于核对 Burnside / Cauchy–Frobenius 公式、双计数证明与历史归属；同章的多边形染色例说明循环型计数方法：https://math.mit.edu/~rstan/algcomb/algcomb.pdf
2. Évariste Galois, “Mémoire sur les conditions de résolubilité des équations par radicaux,” dated 1831-01-16, published posthumously in Journal de mathématiques pures et appliquées, 1re série, tome 11 (1846), within Œuvres mathématiques d’Évariste Galois. Section 3 引文按 Numdam 影印本印刷页 421 核对；影印本及书目信息：https://www.numdam.org/item/JMPA_1846_1_11__381_0.pdf