证明交错群A₅不存在20阶子群的思路困惑与求证

嘿，你的思路其实已经摸到了关键的门，只差最后一步把矛盾点戳破！我来帮你把这个证明补完整：

先明确两个核心前提：

• 交错群A₅的阶是60（计算方式：5! / 2 = 60）
• A₅是单群——这是它的核心性质：不存在非平凡的正规子群（既不是仅含单位元，也不是整个群本身的正规子群）

接下来顺着你的思路往下推导：
假设存在子群H ≤ A₅，且|H|=20。那么A₅关于H的左陪集个数为：
[A₅:H] = |A₅| / |H| = 60 / 20 = 3
把这些陪集组成的集合记为X = {H, g₁H, g₂H}，这个集合的大小是3，对应的对称群S₃的阶是6。

考虑A₅在X上的左乘作用：对任意a ∈ A₅，作用规则为a·xH = (ax)H。这个群作用会诱导出一个群同态φ: A₅ → S₃，其中φ(a)就是对应陪集置换的置换元素。

现在利用同态基本定理和A₅的单性分析：
同态φ的核Kerφ是A₅的正规子群，而A₅是单群，所以Kerφ只有两种可能：

1. 排除Kerφ = A₅的情况：
   如果Kerφ = A₅，意味着对所有a ∈ A₅，φ(a)都是S₃中的单位置换——也就是左乘a不会改变任何陪集，即aH = H对所有a ∈ A₅成立，这等价于A₅ ⊆ H。但|A₅|=60 > |H|=20，显然矛盾。

2. 排除Kerφ = {e}的情况：
   如果Kerφ = {e}，说明同态φ是单同态，那么A₅会同构于S₃的一个子群。但|A₅|=60，|S₃|=6，一个阶数更大的群不可能同构于阶数更小的群的子群，这也矛盾。

两种可能都导出了矛盾，说明我们最初“存在20阶子群H”的假设不成立，因此A₅不存在20阶子群。

额外的辅助验证角度（用Sylow定理） #

A₅中5阶子群的个数n₅满足：n₅ ≡1 mod5且n₅整除12（因为60/5=12），所以n₅=6（所有5阶Sylow子群共轭）。
如果存在20阶子群H，H的阶是20=4×5，根据Sylow定理，H中5阶子群的个数n₅'满足n₅'≡1 mod5且n₅'整除4，只能n₅'=1——也就是H包含唯一的5阶子群，这个子群在H中正规。
但A₅是单群，每个5阶子群的正规化子在A₅中的阶是10（在S₅中5阶子群的正规化子阶是20，但其中的4-循环是奇置换，不在A₅内），20阶的H不可能正规化一个5阶子群，这也导出矛盾，进一步佐证了结论。

内容的提问来源于stack exchange，提问作者Arnab Chattopadhyay.