任意置换可以唯一分解成轮换的乘积的数学证明

本文只证唯一性
设 $S=[a1,a2,---,an]$ ( $a1,a2,---,an$ )互不相等
设S 上的任意一个置换 $f$ 为 $f(a1),f(a2),---,f(an)$
设 $f$ 的任意两个两两不相交的轮换分解为 $g1,g2$ ,
把 $g1,g2$ 中的轮换按其中各个轮换的首元素从小到大排序为
$g1i=[b_{i1},b_{i2},---,b_{isi}]$ $i=1,2,---,m$
$g2j=[c_{j1},c_{j2},---,c_{jqj}]$ $j=1,2,---,n$
有 $1=b_{11}<b_{21}<---<b_{m1}$
$1=c_{11}<c_{21}<---<c_{n1}$
我们来证必有 $m=n$ 且 $[b_{i1},b_{i2},---,b_{isi}]=[c_{i1},c_{i2},---,c_{iqi}]i=1,2,---,m(n)$
设当前考虑的 $ai$ $1<=i<=n$ 的下标集合为 $ek=[d_{k1},---,d_{khk}]d_{k1}<d_{k2}<---<d_{khk}$
$ek$ 可以为空
初始时 $k=1$ $ek=e1=[1,2,3,---,n]$
若 $k>1$ 由归纳法假设 $g1i=g2i$ $i=1,2,---,k-1$
且 $ek=[1,2,---,n]-{\bigcup }_{i=1}^{k-1}g1i$
若$ek$ 不为空
考察以 $dk1$ 为首元素的 $g1$ 中的轮换 $g1k^{\prime }$ (显然它一定存在)不难看出 $g1k^{\prime }=g1k=[b_{k1},b_{k2},---,b_{ksk}]$
同理以 $dk1$ 为首元素的 $g2$ 中的轮换 $g2k^{\prime }=g2k=[c_{k1},c_{k2},---,c_{kqk}]$
若存在 $i$ 使得 $1<=i<=min[qk,sk]$ $b_{kp}=c_{kp}$ $1<=p<=i-1$ $b_{ki}\ne c_{ki}$ (由于 $g2k,g1k$ 均以 $dk1$ 为首元素,故必有 $i>1$ )
则轮换 $g1k,g2k$ 满足 $f(a_{b_{ki-1}})=a_{b_{ki}}\ne c_{ki}=f(a_{c_{ki-1}})$
由于 $a_{b_{ki-1}}=a_{c_{ki-1}}$ 故有 $f(a_{b_{ki-1}})=f(a_{c_{ki-1}})$ 矛盾
若 $b_{ki}=c_{ki}$ $1<=i<=min[qk,sk]=rk$
若 $sk<qk$ 则轮换 $g1k,g2k$ 将使得 $f(a_{b_{ksk}})=a_{b_{k1}}\ne a_{c_{k{r}_k+1}}=f(a_{c_{krk}})$
这里不等号是因为 $c_{k{r}_k+1}\ne c_{k1}=b_{k1}$ 从而 $a_{c_{k{r}_k+1}}\ne a_{b_{k1}}$
由于 $rk=min[qk,sk]=sk$
$a_{c_{krk}}=a_{c_{ksk}}又b_{krk}=c_{ksk}$
从而$a_{c_{krk}}=a_{c_{ksk}}=a_{b_{krk}}$
从而 $a_{c_{krk}}=a_{b_{ksk}}故f(a_{c_{krk}})=f(a_{b_{ksk}})$ 矛盾
$sk>qk$ 情形同理可导出矛盾
综上，我们有 $qk=sk$ 且 $b_{ki}=c_{ki}$ $1<=i<=s_k=q_k$ 实际即为 $g1k=g2k$
这样 $g1i=g2i$ $i=1,2,3,---,k$
令 $e_{k+1}=[1,2,---,n]-{\bigcup }_{i=1}^{k}g1i$
对 $e_{k+1}$ 重复上述讨论，显然这一过程中集合 $e_k$ 大小不断减小最终 $e_k$ 会变为空集,此时有
$g1i=g2i$ $i=1,2,3,---,k^{\prime }$
$[1,2,---,n]={\bigcup }_{i=1}^{k^{\prime }}g1i={\bigcup }_{i=1}^{k^{\prime }}g2i$
于是 $[1,2,---,n]={\bigcup }_{i=1}^{m}g1i={\bigcup }_{i=1}^{k^{\prime }}g1i$
从而 $m=k^{\prime }$ (证明不难留做习题)同理可证 $n=k^{\prime }$ ,从而 $k^{\prime }=m=n$ 这样就有
$g1i=g2i$ $i=1,2,3,---m(n)$ 证毕