设 X 为集合,X 到自身的双射称为 X 上的一个置换(Permutation)。
X 上所有置换在映射合成下构成群,称为 X 上的对称群,记作 Sym(X)。
对称群的任意子群称为置换群(Permutation Group)。
有限对称群 Sn
当 X={1,2,…,n} 时,Sym(X) 记作 Sn,称为 n 次对称群。
∣Sn∣=n!
置换的表示
1. 双行表示法
σ=(13213442)
表示 σ(1)=3,σ(2)=1,σ(3)=4,σ(4)=2
2. 轮换分解
每个置换可唯一地写成不相交轮换的乘积:
σ=(134)(2)通常省略1-轮换写作 (134)
3. 对换分解
每个置换可写成若干个对换(2-轮换)的乘积。分解不唯一,但对换个数的奇偶性唯一。
置换的奇偶性与符号
- 偶置换:可写成偶数个对换之积的置换
- 奇置换:可写成奇数个对换之积的置换
- 符号:sgn(σ)={+1,−1,σ 为偶置换σ 为奇置换
符号映射 sgn:Sn→{±1} 是群同态。
轮换的阶
- k-轮换的阶为 k
- 不相交轮换乘积的阶 = 各轮换阶的最小公倍数
Cayley 定理
任意群 G 同构于 S∣G∣ 的一个子群。特别地,若 G 有限,则 G 可嵌入某个对称群。
证明思路:对 g∈G,定义左乘映射 Lg:G→G,Lg(x)=gx。则 g↦Lg 给出 G↪Sym(G)。
群作用视角
置换群自然地作用在集合 X 上。群作用是研究群结构的重要工具:
G×X→X,(g,x)↦g⋅x
满足 e⋅x=x 和 (gh)⋅x=g⋅(h⋅x)。
等价地,群作用相当于同态 G→Sym(X)。