贡献者: 叶月2_
证明: 我们首先证明,循环置换可以分解为两个对合变换的复合。
一个 n 元循环置换可以看作 n 边形上的旋转,而我们知道,二维空间上的旋转可以分解为两个反射,只要保证两次反射轴的夹角是旋转角度的 $1/2$,对合变换就是这种反射变换的置换表示。以正五边形为例,该过程如下所示:
该循环的分解写作 $(12345)=[(23)(14)][(13)(45)]$,显然,$[(13)(45)]$ 与 $[(23)(14)]$ 就是图中所示的 “反射变换”。
由于$n$ 元置换群总可以拆分成不相交的循环乘积,而每个循环都可以拆成对合之积,则这些对合可以重新组合成两组。如设某置换群可拆分成三个不相交循环之积,用 $\sigma$ 表示对合变换,且下标首字母不同代表不同循环,则有:
从将循环元素的分解过程中,我们可以看到,对合变换是不相交的对换乘积,称这些不相交的对换为一个对合变换的组分。
在本节,我们先阐明置换群的内自同构与群本身的关系,再阐明自同构与群的关系。
证明:
由定理 3 得,$ \operatorname {Inn}S_n\cong S_n/C(S_n)$,因此我们只需要证明 $n>2$ 时,有限置换群的中心是单位元即可。
设任意 $\sigma_n\in C(S_n)-e$,那么 $\sigma_n$ 有三种可能,下面证明,每一种情况总能找到与之不交换的群元素。
因此,$\sigma_n$ 是空集,$C(S_n)=e$,证明成立。
自同构是比内自同构更广些的概念,只要求双射同态。思及前文,我们已经证明任意置换都可以拆分成两个不相关的对合之复合。令对合变换表示为 $\sigma$,易证自同构将其映射为对合,因为 $f(\sigma^2)=f(e)=f^2(\sigma)$,且能把共轭类映射为共轭类,$f(\tau\sigma\tau^{-1})=f(\tau)f(\sigma)f^{-1}(\tau)$。下面我们来探讨,对合变换彼此共轭需要的条件。
将对合变换 $\sigma$ 拆成一系列互不相交的组分乘积,然后用 $\tau$ 来做共轭变换,有几种可能结果:
这条引理告诉我们,可以利用组分数量来对对合变换进行共轭类划分。
因此我们可以设集合 $I_k^n$ 是 $S_n$ 中由 $k$ 个组分复合而成的的对合变换。考虑到一个组分是一个对换,$k\in[0,n/2]$。
因为自同构是同态映射,且把共轭类映射到共轭类,因此 $f(I_k^n)\subset I_{k'}^n,k'\in [0,n/2]$。又因为自同构是双射,所以若 $f(I_a^n)=f(I_b^n)$,则 $|I_a^n|=|I_b^n|$。所以为了聊自同构映射后的结果,我们需要研究对合集合的基数。
由对合集合的定义可知,$I_a^n$ 是从 $n$ 个元素中选取 $2a$ 个元素进行有序排列,且该排列里不同对换的顺序,以及一个对换里的元素顺序与对合变换的结果无关。因此,若设 $G_k=|I_k^n|$,则
若 $G_a=G_b$,唯一解得 $n=6$,此解为 $|I^6_3|=|I^6_1|$。解的唯一性说明除却 $n=6$,$f(I_k^n)=I_k^n$。
该推论比定理 2 更强一些。由于 $ \operatorname {Inn}S_n\subset \operatorname {Aut} S_n$ 且 $ \operatorname {Inn}S_n\cong S_n$,因此我们只需要证明 $| \operatorname {Aut}S_n|=|S_n|$ 即可。
因为置换总可以拆成不相交的循环,因此我们先看自同构对循环的作用。由于循环是对合变换的乘积,而在 $n\neq 0$ 的时候,$f(I_k^n)=I_k^n$,因此自同构把对换映射为对换,且这种对换之间的映射是双射。比如对于任意 $f$,若设 $f(1\,2)=f(a\,b)=(c\,d)$,则
对于 3 阶循环,我们有
同理可知,对于 $k$ 阶循环,自同构相当于将其映射到 $k$ 个对换上,可由 $k$ 个元素标记。现在取 $S_n$ 中的 $n$ 阶循环,令
1. ^ 譬如 $(2\,3)(3\,4)(2\,3)=(2\,4)$