置换群与轨道计数

群论基础

by blutrex

---

群

对于集合G 和二元运算∗，若：

• 封闭性：∀f, g ∈ G，有f ∗ g ∈ G；
• 结合律：∀f, g, h ∈ G，有(f ∗ g) ∗ h = f ∗ (g ∗ h)；
• 单位元：∃e ∈ G，∀g ∈ G，有g ∗ e = e ∗ g = g；
• 逆元：∀g ∈ G，∃f ∈ G，使f ∗ g = g ∗ f = e，记作$f = g^{-1}$。

则称G 对∗ 构成一个群，记作群(G, ∗)。
根据结合律和逆元，可以证明群满足消去律：若f, g, h ∈ G，且
f ∗ h = g ∗ h 或h ∗ f = h ∗ g，则f = g。

注意：群不一定满足交换律；单位元唯一；任意元素的逆元唯
一。

群的作用

对于群(G, ∗)、集合X 和左二元关系φ : G × X → X（将
φ(g, x) 简记为g · x），若：

• 单位元：e ∈ G 为单位元，∀x ∈ X，有e · x = x；
• 兼容性：∀f, g ∈ G，∀x ∈ X，有(f ∗ g) · x = f · (g · x)。

则称G 可左作用于集合X。
根据单位元、群逆元和兼容性，可以证明群作用是一个双射，即
若g · x = y，则g 唯一。
类似可定义右作用x · g。

轨道和不动点

定义$x\in X$在G 的轨道为G 的元素作用于x 得到的所有结果的
集合，即

$$G\cdot x=\{g\cdot x|g\in G\}$$
定义 $x,y\in X$等价当且仅当
$$G\cdot x=G\cdot y$$
所有轨道的集合为
$$X/G=\{G\cdot x|x\in X\}$$
X上 $g\in G$的不动点的集合为作用后不变的点的集合，即

Xg={ x∈X|g⋅x=x}