定义：

①在Sn中，能够表示为奇数多个对换乘积的置换称为“奇置换”，能够表示为偶数多个对换乘积的置换称为“偶置换”；

②所有偶置换的集合记为An。

 

例1：（1）计算S1和S2中奇、偶置换的数目；

（2）计算S3中奇偶置换的数目。

解：（1）S2 = {(1),(12)}，其中(12)是奇置换，(1) = (12)(12)是偶置换，所以S2中奇偶置换各自的数目均为1个；

（2）S3 = {(1),(12),(13),(23),(123),(132)}，其中(12),(13),(23)为奇置换，(1) = (12)(12),(123) = (13)(12),(132) = (12)(13)是偶置换，因此S3中奇偶置换各自的数目均为3个。

 

定理5：n ≥ 2时，Sn中奇、偶置换各占一半，即|An| = n!/2。

证：设|An| = s，|Sn - An| = t，（Sn - An表示Sn中所有奇置换组成的集合）

任取σ∈An，取对换(12)∈Sn，由于σ为偶置换，因此置换 (12)σ 为奇置换，

即 (12)σ∈Sn - An，

从而，根据σ的任意性，可知|An| ≤ |Sn - An|，即s ≤ t；

同理，任取r∈Sn - An，(12)σ ∈ An，

因此有|An| ≥ |Sn - An|，即s ≥ t；

所以有 s = t，也就是说Sn中奇、偶置换的数目相等，彼此各占一半。

 

例2：在S5中，将下列循环的乘积表示为矩阵形式：

（1）(145)(23),(23)(145)；

（2）(13)(25),(25)(13)。

解：按从右到左计算：

（1）①先是2和3对换，然后1变4、4变5、5变1，因此表示成矩阵形式如下：

②先是1变4、4变5、5变1，然后是2和3对换，因此表示成矩阵形式如下：

（2）①先是2和5对换，然后1和3对换，因此表示成矩阵形式如下：

②先是1和3对换，然后2和5对换，因此表示成矩阵形式如下：

 

定理6：两个不相交的循环置换的乘积可交换。

 

例3：求

的逆元。

解：σ5 = (1245)，则由：

可求出σ5的逆元，因为(1245)(1542) = (1)，因此σ5的逆元为(1542) = (5421)，即：

 

定理7：k-循环的逆元等于反序写出的循环，即

 

例4：在S6中，计算下列置换的阶：

（1）(235)；

（2）(1254)；

（3）(13)(256)；

（4）(13)(24)。

解：（1）(235)^2 = (235)(235) = (253)，(235)^3 = (235)(235)(235) = (253)(235) = (1)，所以|(235)| = 3；

（2）(1254)^2 = (1254)(1254) = (15)(24)，(1254)^3 = (1254)(1254)(1254) = (15)(24)(1254) = (1452)，(1254)^4 = (1254)(1254)(1254)(1254) = (1452)(1254) = (1)，所以|(1254)| = 4；

（3）|(13)(256)| = |(13)|×|(256)| = 2×3 = 6；

（4）[(13)(24)]^2 = (13)(24)(13)(24) = (1)，所以|(13)(24)| = 2。

 

定理8：

（1）k-循环的阶等于k；

（2）如果一个置换σ可以表示为一个k-循环和一个l-循环的乘积，那么|σ|等于k,l的最小公倍数。

 

（待续……）