群论不仅能抽象地研究自身的内部代数结构，更能像“解剖手术刀”一样作用于外部目标集。 从几何体顶点轨道的轨道-稳定子定理，到破解等价类计数的 Burnside 引理，再到能够精确计算任意指定颜色配比（如 2红 2蓝 2绿）的划时代 Pólya 母函数定理，本章将带领你领略代数与组合计数的顶峰之美。
设 $G$ 是群，$X$ 是一个非空集合。若存在映射 $\phi: G \times X \to X$（简记 $\phi(g, x) = g(x)$），对任意 $g_1, g_2 \in G$ 及任意 $x \in X$ 满足：
等价地，每个 $g \in G$ 诱导了集合 $X$ 上的一个双射置换 $\sigma_g: X \to X$。映射 $g \mapsto \sigma_g$ 构成了从群 $G$ 到对称群 $S_X$ 的群同态（称为群 $G$ 在 $X$ 上的置换表示）。
取 $X = G$，定义 $g(x) = gx$。任何有限群都在自身元素集上忠实作用，直接导出了近世代数奠基石——Cayley 定理（任何群都同构于置换群的一个子群）！
取 $X = G$，定义 $g(x) = gxg^{-1}$。在共轭作用下，各个轨道正是共轭类，稳定子群正是中心化子 $C_G(x)$，直接推导出了决定有限群结构的类方程！
$$\Omega_x = \{ g(x) \mid g \in G \}$$
点 $x$ 在群中所有变换操作下能够到达的全部落脚点集合。
重要结论： 全体轨道互不相交，构成了集合 $X$ 的一个完全划分（等价类）。
$$G_x = \{ g \in G \mid g(x) = x \}$$
群 $G$ 中能够让指定基准点 $x$ 保持原地不动的所有变换构成的集合。
重要性质： 对任何 $x \in X$，$G_x$ 必定构成群 $G$ 的一个子群（$G_x \leqslant G$）！
设有限群 $G$ 作用于有限集合 $X$ 上，对任意 $x \in X$，轨道 $\Omega_x$ 的大小等于稳定子群 $G_x$ 在群 $G$ 中的指数： $$|\Omega_x| = [G : G_x] = \dfrac{|G|}{|G_x|}$$ 改写成乘积形式即：轨道的长度 $\times$ 稳定子群的阶数 = 全群的总阶数： $$|\Omega_x| \cdot |G_x| = |G|$$
证明核心思路： 建立左陪集集合 $G / G_x = \{ g G_x \mid g \in G \}$ 到轨道 $\Omega_x$ 的映射 $\psi(g G_x) = g(x)$。 易证此映射是良定义的、单射且满射的一一对应。因此轨道元素个数恰好等于陪集个数 $[G : G_x]$。由 Lagrange 定理即得 $|G| = |\Omega_x| \cdot |G_x|$。$\blacksquare$
在下方 3D 舞台中用鼠标拖拽或手机手指滑动，可以在三维空间中全向旋转几何体。系统实时动态投影标注 4 阶对面中心轴（红色）、3 阶体对角线/过顶点轴（紫色） 与 2 阶对棱中点轴（青色）。 点击几何体上的任意顶点，验算轨道-稳定子定理 $|\Omega| \times |G_x| = |G|$！
设有限群 $G$ 作用于有限集合 $X$ 上，则 $X$ 在 $G$ 作用下的本质不同轨道总数 $N$ 为： $$N = \frac{1}{|G|} \sum_{g \in G} \chi(g)$$ 其中 $\chi(g) = |X^g| = |\{ x \in X \mid g(x) = x \}|$ 为变换 $g$ 在目标集 $X$ 上的不动点个数。
构造二元关系关联集 $S = \{ (g, x) \in G \times X \mid g(x) = x \}$。
• 按群元素 $g$ 求和： 对每个 $g \in G$，满足条件的 $x$ 个数即不动点数 $\chi(g)$，故 $|S| = \sum_{g \in G} \chi(g)$；
• 按目标元素 $x$ 求和： 对每个 $x \in X$，满足条件的 $g$ 个数即稳定子群阶数 $|G_x|$，故 $|S| = \sum_{x \in X} |G_x|$。
由轨道-稳定子定理，有 $|G_x| = \frac{|G|}{|\Omega_x|}$。两式联立代入：
$$\sum_{g \in G} \chi(g) = \sum_{x \in X} \frac{|G|}{|\Omega_x|} = |G| \sum_{x \in X} \frac{1}{|\Omega_x|}$$
注意到同一个轨道 $\Omega$ 包含 $|\Omega|$ 个元素，每个元素在求和式中贡献 $\frac{1}{|\Omega|}$。因此在每个轨道内部：
$$\sum_{x \in \Omega} \frac{1}{|\Omega|} = |\Omega| \times \frac{1}{|\Omega|} = 1$$
故整个集合的求和 $\sum_{x \in X} \frac{1}{|\Omega_x|}$ 恰好等于总轨道数 $N$！
两边同除以 $|G|$，立得 Burnside 计数公式：$N = \frac{1}{|G|} \sum_{g \in G} \chi(g)$。$\blacksquare$
当用 $c$ 种颜色给项链或几何体的位置染色时，群元素 $g$ 表现为作用在位置集上的置换。
设置换 $g$ 在位置集上的不相交轮换个数为 $\lambda(g)$。
在变换 $g$ 作用下染色保持不变 $\iff$ 属于同一个轮换的位置必须染同一种颜色！
由于每个轮换可独立在 $c$ 种颜色中任选，故在 $g$ 作用下的不动点个数精确为：
$$\chi(g) = c^{\lambda(g)}$$
设置换群 $G$ 作用在有限集 $X$（$|X|=n$）上。对群中任意元素 $g \in G$，将其分解为不相交轮换之积。
设长度为 $k$ 的轮换个数为 $c_k(g)$（满足 $\sum_{k=1}^n k \cdot c_k(g) = n$）。
为每个轮换长度 $k$ 分配一个形式变元 $s_k$，则 $g$ 的轮换结构对应单项式 $s_1^{c_1(g)} s_2^{c_2(g)} \cdots s_n^{c_n(g)}$。
群 $G$ 的循环指标多项式定义为所有元素对应单项式的平均值：
$$Z(G; s_1, s_2, \dots, s_n) = \frac{1}{|G|} \sum_{g \in G} s_1^{c_1(g)} s_2^{c_2(g)} \cdots s_n^{c_n(g)}$$
设颜色集合为 $C = \{x_1, x_2, \dots, x_m\}$（代表不同颜色，如红 $r$、蓝 $b$、绿 $g$）。 在循环指标多项式 $Z(G; s_1, \dots, s_n)$ 中，将每个变元 $s_k$ 替换为所有颜色权重的 $k$ 次方和： $$s_k \longleftarrow \sum_{i=1}^m x_i^k = x_1^k + x_2^k + \cdots + x_m^k$$ 则展开后的多元生成多项式（Pattern Inventory）中，单项式 $x_1^{n_1} x_2^{n_2} \cdots x_m^{n_m}$ 的代数系数，严格等于颜色配比恰为 $(n_1, n_2, \dots, n_m)$ 时本质不同的染色方案总数！
特殊情况注记： 若令所有颜色权重均为 1（即代换 $s_k \leftarrow m$），每个单项式 $s_1^{c_1} \dots s_n^{c_n}$ 变为 $m^{\sum c_k} = m^{\lambda(g)}$，Pólya 定理自动退化为经典的 Burnside 总数公式！
选择待染色的对称几何体，输入各颜色的具体珠子/面数配比（红 $r$、蓝 $b$、绿 $g$、黄 $y$），系统将实时生成该群的循环指标多项式，执行代换并提取指定单项式系数，展示分步贡献与精确轨道方案数！
在环形项链上直接点击珠子赋予颜色，或使用调色盘与变换按钮动态旋转、翻折项链。 系统支持高亮显示任意选定对称变换的不相交轮换连接环，并具备一键扫描当前染色的稳定子群与轨道大小功能！
题目： 设群 $G$ 作用于集合 $X$ 上，$a \in X$，$\Omega_a$ 是 $a$ 所在的轨道。证明：$b \in \Omega_a \iff \Omega_a = \Omega_b$。
命题得证。此结论说明轨道中任何一个元素都有资格作为代表元，各个轨道互不相交且密铺全集 $X$。$\blacksquare$
题目： 利用轨道-稳定子定理，分别确定正四面体与正六面体（立方体）的旋转对称群的元素个数。
【1. 正四面体旋转对称群 $T$】：
令 $X$ 为正四面体的 4 个顶点集合 $\{1, 2, 3, 4\}$。群 $T$ 自然作用于顶点集 $X$。
• 任取一个基准顶点 $a$。正四面体是高度对称的，通过空间刚体旋转，顶点 $a$ 可以被转到其余任何一个顶点，因此轨道大小等于顶点的总数：
$$|\Omega_a| = 4$$
• 考察保持顶点 $a$ 不动的旋转操作（稳定子群 $T_a$）：保持顶点 $a$ 不动，旋转轴必须经过顶点 $a$ 与对面的中心！围绕该轴有 3 个旋转角度（$0^\circ, 120^\circ, 240^\circ$），故稳定子群大小为：
$$|T_a| = 3$$
• 由轨道-稳定子定理：
$$|T| = |\Omega_a| \cdot |T_a| = 4 \times 3 = \mathbf{12}$$
正四面体的旋转群同构于 4 次交错群 $A_4$（阶为 12）！
【2. 正六面体（立方体）旋转对称群 $O$】：
令 $X$ 为立方体的 6 个面构成的集合。群 $O$ 自然作用于这 6 个面。
• 任取一个顶面 $F$。通过旋转，顶面可以转到立方体的任意一个面，故轨道大小等于面的总数：
$$|\Omega_F| = 6$$
• 保持面 $F$ 不动的旋转操作：旋转轴垂直穿过顶面与底面中心，围绕该轴有 4 个旋转角度（$0^\circ, 90^\circ, 180^\circ, 270^\circ$），故稳定子群大小为：
$$|O_F| = 4$$
• 由轨道-稳定子定理：
$$|O| = |\Omega_F| \cdot |O_F| = 6 \times 4 = \mathbf{24}$$
正六面体的旋转群同构于 4 次对称群 $S_4$（阶为 24）！$\blacksquare$
（提示：读者亦可取顶点集 $X_V$ 验证：顶点轨道 $|\Omega_v|=8$，稳定子绕体对角线 $|O_v|=3$，$8 \times 3 = 24$；或取棱集 $X_E$：棱轨道 12，稳定子 2，$12 \times 2 = 24$！）
题目： 项链包含 6 颗珠子顺次排列，允许在平面内旋转以及翻转。用 3 种颜色着色，求本质不同的项链种数。
Burnside 引理算出了总共有 92 种 项链。如果运用前面学到的 Pólya 母函数展开： $$P(r, b, g) = Z(D_6; r+b+g, r^2+b^2+g^2, \dots)$$ 展开式中的每一项系数恰好精确对应了这 92 种项链在各种颜色配比下的构成：
| 颜色构成模式 | 典型单项式 | 单种配比方案数 | 排列对称重数 | 该模式方案总数 |
|---|---|---|---|---|
| 全单色 (6 颗同色) | $r^6, b^6, g^6$ | 1 | 3 种 ($r, b, g$) | $1 \times 3 = \mathbf{3}$ |
| 5同 1异 | $r^5 b, \dots$ | 1 | 6 种 ($3 \times 2$) | $1 \times 6 = \mathbf{6}$ |
| 4同 2同 | $r^4 b^2, \dots$ | 3 | 6 种 ($3 \times 2$) | $3 \times 6 = \mathbf{18}$ |
| 4同 1异 1异 | $r^4 b g, \dots$ | 3 | 3 种 ($3 \times 1$) | $3 \times 3 = \mathbf{9}$ |
| 3同 3同 | $r^3 b^3, \dots$ | 3 | 3 种 ($\binom{3}{2}$) | $3 \times 3 = \mathbf{9}$ |
| 3同 2同 1同 | $r^3 b^2 g, \dots$ | 6 | 6 种 ($3!$) | $6 \times 6 = \mathbf{36}$ |
| 2同 2同 2同 (经典例题) | $r^2 b^2 g^2$ | 11 | 1 种 ($\binom{3}{3}$) | $11 \times 1 = \mathbf{11}$ |
全模式求和：$3 + 6 + 18 + 9 + 9 + 36 + 11 = \mathbf{92}$！ 宏观 Burnside 与微观 Pólya 母函数完美闭环统一！