求证：Aₙ中σ的Sₙ共轭类元素全在Aₙ中共轭当且仅当σ与奇置换交换

嘿，咱们来一步步搞定这个关于交错群共轭类的问题，先把核心问题和前置的关键结论理清楚，再分方向完成证明。

问题重述 #

设$\sigma \in A_n$，求证：$\sigma$在$S_n$中的共轭类（即所有与$\sigma$有相同循环型的元素）中的所有元素在$A_n$中共轭，当且仅当$\sigma$与某个奇置换可交换。

前置关键结论回顾 #

先给大家复习一下已经证明过的结论，这是咱们整个证明的核心工具：

设$H$是$G$的正规子群，$\mathcal{K}$是$G$的一个共轭类且含于$H$，取$x \in \mathcal{K}$，则$\mathcal{K}$是$H$中$k$个等大小共轭类的并，其中$k = |G:HC_G(x)|$。

对应到咱们的问题里，把$G$换成$S_n$，$H$换成$A_n$（显然$A_n$是$S_n$的正规子群），$\mathcal{K}$就是$S_n$中与$\sigma$同循环型的偶置换集合（也就是$\sigma$在$S_n$中的共轭类）。根据上面的结论，$\mathcal{K}$要么是$A_n$下的单个共轭类，要么拆分成$A_n$中两个大小完全相等的共轭类。

必要性（⇒）：若$\sigma$在$S_n$的共轭类元素都在$A_n$中共轭，则$\sigma$与某个奇置换可交换 #

假设$\sigma$在$S_n$中的共轭类$\mathcal{K}$在$A_n$里是单个共轭类，那根据前置结论里的$k$值，这时候$k=1$，也就是：
$$|S_n: A_n C_{S_n}(\sigma)| = 1$$
这意味着$S_n = A_n C_{S_n}(\sigma)$——整个对称群等于交错群和$\sigma$在$S_n$中的中心化子的乘积。

咱们知道$S_n$里的元素只有偶、奇两种置换，$A_n$已经包含了所有偶置换，那必然存在一个奇置换$\tau \in S_n$，能写成$\tau = \alpha \cdot \gamma$，其中$\alpha \in A_n$（偶置换），$\gamma \in C_{S_n}(\sigma)$（也就是$\gamma$和$\sigma$可交换）。

把$\alpha$移到左边：$\alpha^{-1} \tau = \gamma$。$\alpha^{-1}$是偶置换，偶置换乘奇置换还是奇置换，所以$\gamma$是个奇置换，而且它和$\sigma$可交换。这不就找到了咱们要的那个奇置换嘛，必要性得证。

充分性（⇐）：若$\sigma$与某个奇置换可交换，则$\sigma$在$S_n$的共轭类元素都在$A_n$中共轭 #

假设存在奇置换$\tau$，满足$\tau \sigma = \sigma \tau$，也就是$\tau \in C_{S_n}(\sigma)$。现在看$A_n C_{S_n}(\sigma)$这个集合：

• $A_n$包含所有偶置换，$\tau$是奇置换，所以$A_n \cdot \tau$就是所有奇置换的集合；
• 这意味着$A_n C_{S_n}(\sigma)$既包含偶置换，又包含奇置换，完全覆盖了整个$S_n$，也就是$S_n = A_n C_{S_n}(\sigma)$。

再用前置结论，这时候$k = |S_n: A_n C_{S_n}(\sigma)| = 1$，说明$\sigma$在$S_n$中的共轭类$\mathcal{K}$在$A_n$里是单个共轭类——也就是$\mathcal{K}$里的所有元素在$A_n$中都是共轭的，充分性得证。

内容的提问来源于stack exchange，提问作者Username Unknown