关于A₄无6阶子群的理解难点及分情形反证法求证

刚接触群论的时候，不少人都会被拉格朗日定理的“逆命题坑到”——定理说子群的阶数一定整除群的阶数，但反过来，不是只要k整除群G的阶数，G就一定有k阶子群。12阶的交错群A₄就是最经典的反例，它不存在6阶子群。下面用反证法，分三种情形推导矛盾，把这个问题彻底讲明白。

首先先明确A₄的所有12个元素：

• 8个3-轮换：(123)、(132)、(124)、(142)、(134)、(143)、(234)、(243)
• 3个双对换：(12)(34)、(13)(24)、(14)(23)
• 1个恒等置换：e

反证法假设 #

假设A₄存在一个6阶子群H，那么H在A₄中的指数是2（12÷6=2）。咱们都知道，指数为2的子群一定是正规子群，所以H满足：对任意g∈A₄，都有gHg⁻¹ = H。接下来分三种情形讨论：

情形1：H包含所有双对换 #

A₄里有3个双对换，加上恒等元e，这就有4个元素了，还需要2个元素凑够6阶，这俩只能是3-轮换。但子群对逆元封闭，所以如果H包含某个3-轮换，比如(123)，那它的逆元(132)也必须在H里。现在H的元素就是：e、3个双对换、(123)、(132)。

但这里有个问题：子群必须满足封闭性。咱们算一下双对换和3-轮换的乘积：(12)(34) ∘ (123)，结果是(243)（具体计算：先做(123)映射，再做(12)(34)映射，最终得到1→1，2→4，3→2，4→3，也就是3-轮换(243)）。但(243)不在咱们构造的H里，这就违反了子群的封闭性，矛盾！所以这种情形不可能成立。

情形2：H包含恰好1个双对换 #

假设H只包含1个双对换，比如(12)(34)，加上e，还需要4个3-轮换。但H是正规子群，取A₄中的3-轮换(123)，计算它对这个双对换的共轭：(123)(12)(34)(123)⁻¹，结果是(23)(14)（共轭作用相当于把双对换里的元素按(123)的置换规则替换：1→2，2→3，3→1，所以(12)变成(23)，(34)变成(14)）。这个共轭后的双对换必须在H里，但咱们假设H只有1个双对换，直接矛盾！所以H不可能只含1个双对换。

情形3：H不包含任何双对换 #

那H的6个元素只能是e加上5个3-轮换？但你看，3-轮换都是成对出现的：(123)和(132)是一对逆元，(124)和(142)是一对，以此类推，总共4对8个3-轮换。子群对逆元封闭，所以H里的3-轮换数量必须是偶数，但6-1=5是奇数，根本凑不出来。

另外还有个角度：A₄中所有3-轮换生成的子群就是A₄本身，所以任何包含至少一个3-轮换的子群，只要按群的运算生成下去，最终会得到整个A₄，不可能是6阶的，这也导出了矛盾。

结论 #

以上三种情形都导出了矛盾，说明我们最开始的假设（A₄存在6阶子群）不成立。这就证明了A₄确实没有6阶子群，也验证了拉格朗日定理的逆命题并不普遍成立。

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