咨询：如何证明n≥4时交错群Aₙ非交换？是否可用归纳法？

好问题！其实要证明n≥4时Aₙ是非交换群，最直接的方法是构造一对不交换的偶置换，比归纳法简单得多。不过我会把你的所有疑问都讲清楚：

直接构造反例的证明方法 #

首先回忆：交错群Aₙ是n元对称群Sₙ中所有偶置换（可写成偶数个对换乘积的置换）构成的子群，阶为n!/2。要证明一个群非交换，只需找到两个元素a、b，使得ab≠ba即可。

• 当n=4时：取两个3-循环(1 2 3)和(1 2 4)。3-循环是偶置换（比如(1 2 3)=(1 3)(1 2)，是两个对换的乘积），所以它们都属于A₄。按先右后左的置换复合顺序计算：

  • (1 2 3)(1 2 4)：先执行(1 2 4)得到1→2、2→4、4→1、3→3；再执行(1 2 3)得到2→3、4→4、1→2、3→1，最终结果为(1 3)(2 4)。
  • (1 2 4)(1 2 3)：先执行(1 2 3)得到1→2、2→3、3→1、4→4；再执行(1 2 4)得到2→4、3→3、1→2、4→1，最终结果为(1 4 2 3)。
    显然两个结果不相等，说明(1 2 3)(1 2 4) ≠ (1 2 4)(1 2 3)，A₄是非交换群。

• 当n>4时：Aₙ包含一个与A₄同构的子群——固定n-4个元素（比如从5到n），只置换前4个元素，这个子群的元素都是Aₙ中的偶置换，结构和A₄完全一致。既然A₄是非交换的，那这两个3-循环在Aₙ里也不交换，因此Aₙ必然是非交换群。

关于归纳法的可行性 #

归纳法确实可以用，但属于“杀鸡用牛刀”，因为基例还是要靠构造反例，归纳步骤只是利用子群的性质。具体着手方式如下：

1. 基例（n=4）：如上述证明，A₄是非交换群，成立。
2. 归纳假设：假设对于任意k≥4，Aₖ是非交换群。
3. 归纳步骤：考虑Aₖ₊₁，取其子群H为所有固定k+1这个元素的偶置换。H与Aₖ同构（仅置换前k个元素且都是偶置换）。根据归纳假设，H是非交换群，即存在a、b∈H使得ab≠ba。而a、b也属于Aₖ₊₁，因此Aₖ₊₁中存在不交换的元素，Aₖ₊₁是非交换群。

不过你会发现，归纳法的核心还是依赖A₄的非交换性，所以直接构造反例其实更高效。

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