常见排列变换
循环
我习惯将循环的顺序定义为正向，即循环 $1,2,3,4$ 对应的排列为 $2,3,4,1$。更加数学化的表达，$p$ 的循环 $a_1,a_2\cdots a_k$ 表示 $p_{a_1}=a_2,p_{a_2}=a_3\cdots p_{a_k}=a_1$。
求逆
定义一个排列 $p$ 的逆排列 $q$ 满足 $p_{q_i}=i$，通俗的讲，$q_i$ 表示 $p$ 中元素 $i$ 的位置，$q$ 一般记作 $p’$ 或 $p^{-1}$。
有性质 $p’’=p$。证明是简单的，$p_{p’_i}=i,p’_{p’’_i}=i$，所以 $p_{p’_{p’’_i}}=p’’_i$，又有 $p’_{p’’_i}=i$，所以 $p_i=p’’_i$。
在排列循环中，求逆的等价于将边反向，以上性质也就不证自明了。
置换和乘法
定义两个排列的乘法 $c=a\cdot b,c_i=a_{b_i}$。
以置换的方式定义
$a\cdot b$ 等于 $a$ 左乘上置换 $b$。
自乘或次幂
如果是自乘，那么等价于循环的边移动若干次，$b$ 次幂就是将 $a_i$ 的边指向 $a_{((i+b-1)\bmod k) + 1}$
非自乘
对于非自乘，我们研究它的运算律。
没有交换律
存在单位元 $e$ 满足 $a\cdot e=e\cdot a=a$。
存在结合律
置换的乘法运算存在结合律，被定义为左乘的排列乘法自然具有结合律。
$a\cdot b\cdot c=c\circ(b\circ a)=(c\circ b)\circ a=a\cdot (b\cdot c)$
置换乘法的结合律描述为 $a\circ b\circ c=a\circ(b\circ c)$，证明是容易的，此处不再赘述。
存在逆元
- 一个置换 $\begin{pmatrix}1,2\cdots n\\a_1,a_2\cdots a_n\end{pmatrix}$ 的逆元显然为 $\begin{pmatrix}a_1,a_2\cdots a_n\\1,2\cdots n\end{pmatrix}$，也可以写成 $\begin{pmatrix}1,2\cdots n\\a’_1,a’_2\cdots a’_n\end{pmatrix}$
- 对于 $a$ 置换的逆元 $a’$，容易发现 $a’’=a$，因此 $a’\circ a’’=a’\circ a=e$
- 因此 $a\cdot b\cdot b^{-1}=a=b^{-1}\circ(b\circ a)=e\circ a=e\cdot a=a$