近世代数--置换群--判断置换的奇偶性

博主是初学近世代数（群环域），本意是想整理一些较难理解的定理、算法，加深记忆也方便日后查找；如果有错，欢迎指正。
我整理成一个系列：近世代数，方便检索。

置换的奇偶性需要置换分解成轮换的基础。

置换奇偶性定义

• 偶置换even permutation：分解成偶数个对换。
• 奇置换odd permutation：分解成奇数个对换。

置换分解成轮换的结果是唯一的，置换分解成对换的结果不唯一

在置换分解成轮换中，我们说置换会分解成唯一的轮换，那么分解成对换呢？

• 置换分解成对换的结果不唯一，因为轮换分解成对换的结果不唯一。
  • 首先，单个轮换是具有轮换不变性的，$(x,y,z)=(y,z,x)=(z,x,y)$，元素一样，是同一个轮换。
  • 但是，同一个轮换分解成的对换不唯一。
    • $(x,y,z)=(x,y)(y,z)$
    • $(y,z,x)=(y,z)(z,x)$
    • $(z,x,y)=(z,x)(x,y)$

证明置换轮换的等价式

• 公式证明：
  • (1) $(k,l)(k,a,\dots \dots b)(l,c,\dots \dots d)=(k,a,\dots \dots b,l,c,\dots \dots d)$
  • (2) $(k,l)(k,a,\dots \dots b,l,c,\dots \dots d)=(k,a,\dots \dots b)(l,c,\dots \dots d)$

证明 (1) 式

• 我们先考虑 (1) 式的左边。先把$d$替换成$l:d\leftarrow l$；把$b$替换成$k:b\leftarrow k$；再把$k、l$互换，即$d\leftarrow l\leftarrow k；b\leftarrow k\leftarrow$