Skip to main content

置换群

定义

XX 为集合,XX 到自身的双射称为 XX 上的一个置换(Permutation)。

XX 上所有置换在映射合成下构成群,称为 XX 上的对称群,记作 Sym(X)\operatorname{Sym}(X)

对称群的任意子群称为置换群(Permutation Group)。

有限对称群 SnS_n

X={1,2,,n}X = \{1, 2, \ldots, n\} 时,Sym(X)\operatorname{Sym}(X) 记作 SnS_n,称为 nn 次对称群。

Sn=n!|S_n| = n!

置换的表示

1. 双行表示法

σ=(12343142)\sigma = \begin{pmatrix} 1 & 2 & 3 & 4 \\ 3 & 1 & 4 & 2 \end{pmatrix}

表示 σ(1)=3,σ(2)=1,σ(3)=4,σ(4)=2\sigma(1)=3, \sigma(2)=1, \sigma(3)=4, \sigma(4)=2

2. 轮换分解

每个置换可唯一地写成不相交轮换的乘积:

σ=(1  3  4)(2)通常省略1-轮换写作 (1  3  4)\sigma = (1\;3\;4)(2) \quad \text{通常省略1-轮换写作 } (1\;3\;4)

3. 对换分解

每个置换可写成若干个对换(2-轮换)的乘积。分解不唯一,但对换个数的奇偶性唯一。

置换的奇偶性与符号

  • 偶置换:可写成偶数个对换之积的置换
  • 奇置换:可写成奇数个对换之积的置换
  • 符号sgn(σ)={+1,σ 为偶置换1,σ 为奇置换\operatorname{sgn}(\sigma) = \begin{cases} +1, & \sigma \text{ 为偶置换} \\ -1, & \sigma \text{ 为奇置换} \end{cases}

符号映射 sgn:Sn{±1}\operatorname{sgn}: S_n \to \{\pm 1\} 是群同态。

轮换的阶

  • kk-轮换的阶为 kk
  • 不相交轮换乘积的阶 = 各轮换阶的最小公倍数

Cayley 定理

任意群 GG 同构于 SGS_{|G|} 的一个子群。特别地,若 GG 有限,则 GG 可嵌入某个对称群。

证明思路:对 gGg \in G,定义左乘映射 Lg:GGL_g: G \to GLg(x)=gxL_g(x) = gx。则 gLgg \mapsto L_g 给出 GSym(G)G \hookrightarrow \operatorname{Sym}(G)

群作用视角

置换群自然地作用在集合 XX 上。群作用是研究群结构的重要工具:

G×XX,(g,x)gxG \times X \to X, \quad (g, x) \mapsto g \cdot x

满足 ex=xe \cdot x = x(gh)x=g(hx)(gh) \cdot x = g \cdot (h \cdot x)

等价地,群作用相当于同态 GSym(X)G \to \operatorname{Sym}(X)