离散数学 06.03 置换群

$\color{blue}{\S 6.3 置换群}$

$\color{blue}{6.3.1 置换的定义}$

$定义6.3.1.设M是一个非空的有限集合，M的一个一对一变换称为一个置换。$
$设M的元素为a_1, a_2, \cdots, a_n,则M的置换\sigma可以简记为\\ \sigma = \begin{pmatrix} a_1 & a_2 & \cdots & a_n \\ b_1 & b_2 & \cdots & b_n \end{pmatrix}, b_i = \sigma(a_i), i = 1, 2, \cdots, n$
$因为置换按定义是一对一的，所以b_1, b_2, \cdots, b_n是a_1, a_2, \cdots, a_n的一个排列，\\ 由此可见，M的每个置换对应a_1, a_2, \cdots, a_n的一个排列，不同的置换对应不同\\ 的排列，此外，a_1, a_2, \cdots, a_n的任意排列也确定M的一个置换，所以，M的置\\ 换共有n!个，其中m是M的元数，M上的置换也称为n元置换。以下用S_n表示这\\ n!个置换做成的集合。$
$若\sigma = \begin{pmatrix} a_1 & a_2 & \cdots & a_n \\ a_1 & a_2 & \cdots & a_n \end{pmatrix},则称\sigma为n元恒等置换.$
$例6.3.1.设M = \lbrace 1, 2, 3 \rbrace, 则有3! = 6个三元置换，$
$\sigma_1 = \begin{pmatrix} 1 & 2 & 3 \\ 1 & 2 & 3 \end{pmatrix} 为3元恒等置换，$
$\sigma_2 = \begin{pmatrix} 1 & 2 & 3 \\ 1 & 3 & 2 \end{pmatrix}, \sigma_3 = \begin{pmatrix} 1 & 2 & 3 \\ 3 & 2 & 1 \end{pmatrix},$
$\sigma_4 = \begin{pmatrix} 1 & 2 & 3 \\ 2 & 1 & 3 \end{pmatrix}, \sigma_5 = \begin{pmatrix} 1 & 2 & 3 \\ 2 & 3 & 1 \end{pmatrix},$
$\sigma_6 = \begin{pmatrix} 1 & 2 & 3 \\ 3 & 1 & 2 \end{pmatrix}。$
$故，S_3 = \lbrace \sigma_1, \sigma_2, \sigma_3, \sigma_4, \sigma_5, \sigma_6 \rbrace。$
$对M中任意元素a及M的任意两个置换\sigma, \tau,规定: \sigma \tau (a) = \sigma(\tau(a))。$
$例6.3.2.设\sigma = \begin{pmatrix} 1 & 2 & 3 & 4 \\ 2 & 1 & 3 & 4 \end{pmatrix}, \tau = \begin{pmatrix} 1 & 2 & 3 & 4 \\ 3 & 4 & 1 & 2 \end{pmatrix},$
$则\sigma \tau = \begin{pmatrix} 1 & 2 & 3 & 4 \\ 3 & 4 & 2 & 1 \end{pmatrix}。$

$置换乘法有下述一些性质：$
$(1) 满足结合律:(\sigma \tau) \rho = \sigma (\tau \rho), \sigma, \tau, \rho \in S_n.$
$(2) n元恒等置换是S_n中的单位元素，设\sigma_0,有:\sigma_0 \tau = \tau \sigma_0 = \tau, \tau \in S_n。$
$(3) 每个n元置换在S_n中有逆元素\\ \begin{pmatrix} a_1 & a_2 & \cdots & a_n \\ b_1 & b_2 & \cdots & b_n \end{pmatrix} ^{-1} = \begin{pmatrix} b_1 & b_2 & \cdots & b_n \\ a_1 & a_2 & \cdots & a_n \end{pmatrix}$

$定理6.3.1.n元置换的全体做成的集合S_n对置换的乘法做成一个群，称为n次对称群。$
$注意，由于一般情况下置换相乘不满足交换律，比如，例6.3.2中，\\ \tau \sigma = \begin{pmatrix} 1 & 2 & 3 & 4 \\ 4 & 3 & 1 & 2 \end{pmatrix} \neq \sigma \tau,\\ 因此，当n \geq 3时，S_n不是交换群。$

$\color{blue}{6.3.2 置换的轮换表法}$

$定义6.3.2.设\sigma是M的置换，若可取到M的元素a_1, \cdots, a_r\\ 使\sigma(a_1) = a_2, \sigma(a_2) = a_3, \cdots, \sigma(a_{r-1}) = a_r, \sigma(a_r) = a_1,\\ 而\sigma不变M的其余的元素，则\sigma称为一个轮换，记为(a_1, a_2, \cdots, a_n)\\ 当然，也可以把a_1, \cdots, a_r中任意的元素a_i排在头一位而改成\\ (a_i, a_{i+1}, \cdots, a_r, a_1, \cdots, a_{i-1})$

$例6.3.3. \sigma = \begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 \\ 3 & 2 & 4 & 1 & 5 & 6 \end{pmatrix}$
$=\begin{pmatrix} 1 & 3 & 4 \end{pmatrix} =\begin{pmatrix} 3 & 4 & 1 \end{pmatrix} =\begin{pmatrix} 4 & 1 & 3 \end{pmatrix}$

$定义6.3.3.M的两个轮换\sigma = (a_1 \cdots a_r) 和 \tau = (b_1 \cdots b_s)说是不相杂或不相交，\\ 如果a_1, \cdots, a_r和b_1, \cdots, b_s都不相同。$
$结论：若\sigma 和 \tau 是两个不相杂的轮换，则其乘法适合交换律: \sigma \tau = \tau \sigma$
$证明：设\sigma = (a_1 \cdots a_r), \tau = (b_1 \cdots b_s), \sigma 和 \tau 不相杂。\\ 命x为M的任意元素，\\ (1) 若x在a_1, \cdots, a_r之内，\\ 比方x = a_i, 则\sigma \tau (x) = \sigma \tau (a_i) = \sigma(a_i) = a_{i+1}, \\ \tau \sigma (x) = \tau \sigma (a_i) = \tau (a_{i+1}) = a_{i+1}。\\ i = r时，a_{i+1} 应改为a_1。总之，\sigma \tau (x) = \tau \sigma (x)。\\ (2) 同样可以说明，若x在b_1, \cdots, b_s之内，也有\sigma \tau (x) = \tau \sigma(x)。 \\ (3) 设x不在a_1, \cdots, a_r, b_1, \cdots, b_s之内。于是，\\ \sigma \tau(x) = \sigma(x) = x, \tau \sigma (x) = \tau(x) = x。 \\ 因此，在所有情况下，\sigma \tau (x) = \tau \sigma (x),故 \sigma \tau = \tau \sigma。$

$定理6.3.2.任意置换\sigma恰有一法写成不相杂的轮换乘积。$
$证明：先证\sigma可以写成不相杂的轮换的乘积，取任意a_1 \in M。 \\ (1) 若\sigma(a_1) = a_1,则a_1自己就做成一个轮换。\\ (2) 设\sigma(a_1) = a_2,\sigma(a_2) = a_3, \cdots。\\ 这样下去，由于M有限，故到某一个元素a_r,其\sigma(a_r)必然不能再是新的元素，\\ 即这\sigma(a_r)必在a_1, \cdots, a_r之内。由于\sigma是一对一的，我们已有\sigma(a_i) = a_{i+1}, \\ i = 1, 2, \cdots, r-1, 所以\sigma(a_r)只能是a_1。于是我们得到一个轮换(a_1 \cdots a_r)。\\ 若M已经没有另外的元素，则\sigma就等于这个轮换，否则，设b_1不在a_1, \cdots, a_r之内，\\ 则同样做法又可得到一个轮换(b_1 \cdots b_s)。因为a_1, \cdots, a_r各自有变换到它的元素，\\ 所以b_1, \cdots, b_s中不会有a_1, \cdots, a_r出现，即这两个轮换不相杂。若M的元素已尽，\\ 则\sigma就等于这两个轮换的乘积，否则如上又可得到一个轮换。如此类推，由于M有限，\\ 最后必得\sigma = (a_1 \cdots a_r)(b_1 \cdots b_s) \cdots (c_1 \cdots c_t) \quad (1) \\ 即\sigma 表成了不相杂的轮换乘积。$
$证表法唯一， \\ 设\sigma 又可表示为不相杂的轮换的乘积如下:\\ \sigma = (a_1^{\prime} \cdots a_r^{\prime})(b_1^{\prime} \cdots b_s^{\prime}) \cdots (c_1^{\prime} \cdots c_t^{\prime}) \quad (2) \\ 试看(1)式中的任意轮换，例如(a_1 \cdots a_r)。\\ a_1必出现在(2)式中的某个轮换之内，例如(a_1^{\prime} \cdots a_r^{\prime})。\\ 由于一个轮换中任意元素都可排在头一位，不妨假定a_1 = a_1^{\prime}。\\ 于是，a_2 = \sigma(a_1) = \sigma(a_1^{\prime}) = a_2^{\prime}, a_3 = \sigma(a_2) = \sigma(a_2^{\prime}) = a_3^{\prime}, \cdots, \\ 如此类推，可见(a_1 \cdots a_r)必和(a_1^{\prime} \cdots a_r^{\prime})完全相同，\\ 这就是说，(1)的任意轮换必出现在(2)中，\\ 同样(2)中的任意轮换必出现在(1)中，\\ 因此，(1)和(2)一样，最多排列方法不同，但不相杂的轮换相乘适合交换律，\\ 所以排列的次序本来是可以任意颠倒的。$

$例6.3.4.设M的元数为4，于是M的24个置换可以写成下面的形式:\\ \begin{pmatrix}1 & 2 \end{pmatrix}, \begin{pmatrix}1 & 3 \end{pmatrix}, \begin{pmatrix}1 & 4 \end{pmatrix}, \begin{pmatrix}2 & 3 \end{pmatrix}, \begin{pmatrix}2 & 4 \end{pmatrix}, \begin{pmatrix}3 & 4 \end{pmatrix}; \\ \begin{pmatrix}1 & 2 & 3 \end{pmatrix}, \begin{pmatrix}1 & 3 & 2 \end{pmatrix}, \begin{pmatrix}1 & 2 & 4 \end{pmatrix}, \begin{pmatrix}1 & 4 & 2 \end{pmatrix}, \\ \begin{pmatrix}1 & 3 & 4 \end{pmatrix}, \begin{pmatrix}1 & 4 & 3 \end{pmatrix}, \begin{pmatrix}2 & 3 & 4 \end{pmatrix}, \begin{pmatrix}2 & 4 & 3 \end{pmatrix}; \\ \begin{pmatrix}1 & 2 & 3 & 4 \end{pmatrix}, \begin{pmatrix}1 & 2 & 4 & 3 \end{pmatrix}, \begin{pmatrix}1 & 3 & 2 & 4 \end{pmatrix}, \\ \begin{pmatrix}1 & 3 & 4 & 2 \end{pmatrix}, \begin{pmatrix}1 & 4 & 2 & 3 \end{pmatrix}, \begin{pmatrix}1 & 4 & 3 & 2 \end{pmatrix}; \\ \begin{pmatrix}1 & 2 \end{pmatrix}\begin{pmatrix}3 & 4 \end{pmatrix}, \begin{pmatrix}1 & 3 \end{pmatrix}\begin{pmatrix}2 & 4 \end{pmatrix}, \begin{pmatrix}1 & 4 \end{pmatrix}\begin{pmatrix}2 & 3 \end{pmatrix}.$

$设(a_1a_2 \cdots a_r)为一轮换，称r为该轮换的长度，一轮换的长度也就是其中\\ 所含的元素个数。特别，长度为2的轮换称为对换。任意轮换都可以写成对\\ 换的乘积。例如下列公式：\\ (a_1a_2 \cdots a_r) = (a_1 a_r)(a_1a_{r-1}) \cdots (a_1 a_3)(a_1 a_2) \quad (3) \\ 于是由定理6.3.2即可推知下列推论。$
$推论1：对任意置换，有一法(但未必只有一法)可将其写成一些对换的乘积。$
$推理1中乘积中出现的诸对换已非不相杂，例如上式中的诸对换一律杂以a_1.\\ 而且表法也不唯一。比如，\\ \begin{pmatrix}1 & 2 \end{pmatrix} = \begin{pmatrix}1 & 2 \end{pmatrix}\begin{pmatrix}1 & 3 \end{pmatrix}\begin{pmatrix}1 & 3 \end{pmatrix} = \begin{pmatrix}2 & 3 \end{pmatrix}\begin{pmatrix}1 & 3 \end{pmatrix}\begin{pmatrix}2 & 3 \end{pmatrix}。$

$\color{blue}{6.3.3 置换的顺向圈表示}$

$置换表成一组轮换的乘积后，就可以在平面上用一组顺向圈来表示，这样，\\ 就得到一个平面上的有向图形，它直观地描绘出元素之间的变换关系，例\\ 如，例6.3.4中的置换\begin{pmatrix}1 & 2 \end{pmatrix}\begin{pmatrix}3 & 4 \end{pmatrix}由图形在该表示法中，从a向b引\\ 一箭头，就表示在该置换下，a变到b。$

$总之，一个n元置换\sigma有一个图形表达式:\\ G_{\sigma} = \alpha_1 z_1 + \alpha_2 z_2 + \cdots + \alpha_r z_r,其中\alpha_1 + 2 \alpha_2 + \cdots + r \alpha_r = n称为\\ 该置换的图型；反之，给一个图型，即如上的图形表达式，就相应有一个n元置\\ 换\sigma。因为n元置换最多只能出现1个最长的圈z_n,也最多只能出现n个最短的圈\\ z_1,所以对于上列的图形表达式G_{\sigma},总可写成\\ G_{\sigma} = \sum \limits _ {i=1}^{n} \alpha_i z_i = \alpha_1 z_1 + \alpha_2 z_2 + \cdots + \alpha_n z_n, \\ 0 \leq \alpha_1 \leq n; \alpha_n = 0或1;全部\alpha都是非负整数。$

$\color{blue}{6.3.4 置换的奇偶性}$

$设\sigma表为k个不相杂的轮换的乘积，这些轮换的长度分别为r_1, r_2, \cdots, r_k.\\ 视\sum \limits _ {j=1}^{k}(r_j - 1) = n - k, (计k时包括长度为1的轮换在内)为奇或为偶,\\ 我们说\sigma是一个奇置换或偶置换。由前面的定理6.3.2及公式(3)，我们知道\\ 这样的\sigma可表为\sum \limits _ {j=1}^{k}(r_j - 1)个对换的乘积，于是，奇置换可表为奇数个对换\\ 之积，偶置换可表为偶数个对换之积，现在我们证明:$

$定理6.3.3.每个置换都能分解为对换的乘积，但偶置换只能分解为偶数个对换的\\ 乘积，奇置换只能分解为奇数个对换的乘积。$
$证明：定理中的第一句断言是定理6.3.2推论1的复述，第二句断言中“能分解”之\\ 说也已说明，现在需要证明的是“只能分解”。为证此，我们定义一个置换\sigma的符号\\ \mathbf{sgn\ } \sigma如下:\\ \mathbf{sgn\ } \sigma = (-1)^{\sum \limits _ {j=1}^{k} (r_j - 1)} \\ 显然，偶置换的符号为1，奇置换的符号为-1.首先证明:\\ \mathbf{sgn\ } \sigma \ \tau = \mathbf{sgn\ } \sigma \ \mathbf{sgn\ } \tau \quad (4) \\ 事实上，试将\sigma 和 \tau 分为不相杂的轮换之积，设\sigma 等于k个轮换之积，\\ 这些轮换分别含r_1, r_2, \cdots, r_k个元素，于是\sigma可以写成\sum \limits _ {j=1}^{k}(r_j - 1)个对换之积，\\ 设这些对换中最后一个为\begin{pmatrix}a & b \end{pmatrix}.以\begin{pmatrix}a & b \end{pmatrix}乘\tau 而看其变化, \\ (1)a 和 b可能在 \tau 的两个不同的轮换之内，比方 \tau = (a a_1 \cdots a_s) (b b_1 \cdots b_i) \cdots,这样，\\ \begin{pmatrix}a & b \end{pmatrix} \tau = (a a_1 \cdots a_s b b_1 \cdots b_i) \cdots , 若 \tau 为h个不相杂的轮换之积，我们知道\\ \mathbf{sgn\ } \tau = (-1)^{n - h},其中n是置换\sigma和\tau的元素总数。\begin{pmatrix}a & b \end{pmatrix} \tau比 \tau 少一个轮换，\\ 所以 \mathbf{sgn\ } \begin{pmatrix}a & b \end{pmatrix} \tau = (-1) \mathbf{sgn\ } \tau \\ (2) a和b也可能在\tau的同一个轮换之内，比方，\tau = (a a_1 \cdots a_s b b_1 \cdots b_i) \cdots \\ 则\begin{pmatrix}a & b \end{pmatrix} \tau = (a a_1 \cdots a_s)(b b_1 \cdots b_i) \cdots \\ 而仍有 \mathbf{sgn\ } \begin{pmatrix}a & b \end{pmatrix} \tau = (-1) \mathbf{sgn\ } \tau \\ 总之，以一个对换乘 \tau 则将\mathbf{sgn\ } \tau 变号,\\ \sigma等于 \sum \limits _ {j=1}^{k}(r_j - 1)个对换之积，故以\sigma 乘 \tau 将\mathbf{sgn\ } \tau变号 \sum \limits _ {j=1}^{k}(r_j - 1) 次，即 \\ \mathbf{sgn\ } \sigma \ \tau = (-1)^{\sum \limits _ {j=1}^{k}(r_j - 1)} \mathbf{sgn\ } \tau = \mathbf{sgn\ } \sigma \ \mathbf{sgn\ } \tau \\ 即(4)式 \mathbf{sgn\ } \sigma \ \tau = \mathbf{sgn\ } \sigma \ \mathbf{sgn\ } \tau 得证。$
$由(4)式成立可推知，\sigma 和 \tau 的奇偶性与其乘积 \sigma \tau 的奇偶性之间关系如下：\\ 偶 \times 偶 = 偶，奇 \times 奇 = 偶, \\ 奇 \times 偶 = 奇，偶 \times 奇 = 奇。 \\ 因为对换是奇置换，所以奇数个对换之积是奇置换，偶数个对换之积是偶置换，\\ 这就证明了定理6.3.3。$

$定理6.3.4.设M的元数为n，若n > 1,则奇置换的个数和偶置换的个数相等，\\ 因而都等于n!/2。$
$证明：命 \tau_1, \tau_2, \cdots, \tau_m \quad (5) \\ 为M的所有偶置换，由于n > 1,故我们可以取一个对换\rho,而做下列乘积：\\ \rho \tau_1, \rho \tau_2, \cdots, \rho \tau_m \quad (6) \\ 显然, \rho \tau_i是奇置换，而且诸 \rho \tau_i互不相同，即(6)中无重复元素。事实上，当i \neq j时，\\ \tau_i \neq \tau_j,故若 \rho \tau_i = \rho \tau_j,则以\rho^{-1}左乘得\tau_i = \tau_j将导出矛盾，这说明M的奇置换不\\ 少于偶置换。反之，若\sigma为M的任意奇置换，则\rho^{-1} \sigma为偶置换，故必等于某一个\tau_i, \\ \rho^{-1} \sigma = \tau_i,因而 \sigma = \rho \tau_i,这说明M的任意置换必在(6)中，(6)就是M的所有奇置\\ 换，M的奇置换不多于偶置换。于是奇置换的个数和偶置换的个数相等，各占置换总\\ 数n!的一半，这就证明了定理6.3.4。$