对称群Sₙ中仅相邻位置不同的置换的符号差异求证

算力阿峰

2026-4-23

嘿，这个问题刚好是对称群置换符号性质里的关键结论，而且和你提到的行列式交替性证明直接挂钩，我来给你梳理清楚严谨的推导过程～

问题重述

问题：对称群$S_n$中，仅在两个相邻位置上取值不同的两个置换，它们的符号（奇偶性）一定不同吗？
具体例子：假设$\sigma, \tau\in S_n$，对所有$x\in[n]-{i, i+1}$都满足$\sigma(x)=\tau(x)$，且$\sigma(i)=\tau(i+1)=a$，$\sigma(i+1)=\tau(i)=b$，那么$\sigma$和$\tau$是否必然一个是偶置换、一个是奇置换？

严谨证明

你尝试的$\tau=\sigma\sigma^{-1}\tau$这个思路非常对，我们顺着这个方向往下推：

拆解两个置换的关系：
观察$\sigma^{-1}\tau$这个置换的作用：
- 对任意$x\notin{i,i+1}$，$\sigma^{{-1}\tau(x)=\sigma}{-1}(\sigma(x))=x$；
- 对$x=i$，$\sigma^{{-1}\tau(i)=\sigma}{-1}(b)=\sigma^{-1}(\sigma(i+1))=i+1$；
- 对$x=i+1$，$\sigma^{{-1}\tau(i+1)=\sigma}{-1}(a)=\sigma^{-1}(\sigma(i))=i$。
这说明$\sigma^{-1}\tau$就是相邻对换$(i\ i+1)$，也就是$\tau = \sigma \circ (i\ i+1)$。
利用置换符号的乘积性质：
置换符号有个核心性质：对任意两个置换$\alpha,\beta\in S_n$，符号满足$\epsilon(\alpha\circ\beta)=\epsilon(\alpha)\cdot\epsilon(\beta)$。
而相邻对换$(i\ i+1)$是一个奇置换——因为对换本身是长度为2的轮换，仅需要1个对换就能表示，所以它的符号$\epsilon((i\ i+1))=-1$。
推导符号差异：
把上面的结论代入，就能得到：
$$\epsilon(\tau)=\epsilon(\sigma\circ(i\ i+1))=\epsilon(\sigma)\cdot\epsilon((i\ i+1))=\epsilon(\sigma)\cdot(-1)=-\epsilon(\sigma)$$
这就直接证明了$\tau$和$\sigma$的符号完全相反，一个是偶置换，另一个必然是奇置换。