S₁₀是否存在指数为4的子群？用拉格朗日定理遇阻求解法

嘿，你已经用拉格朗日定理算出子群的阶应该是$\frac{10!}{4}$，这一步是对的，但拉格朗日定理只是必要条件（子群阶必须整除群的阶），不是充分条件，我们需要结合置换群的性质和单群的特点来进一步推导：

核心思路：利用对称群的正规子群与陪集作用分析 #

对于$n \geq 5$，对称群$S_n$的正规子群只有三个：${e}$（单位元群）、交错群$A_n$、$S_n$本身（因为$A_n$是单群，没有非平凡的正规子群）。

假设$H$是$S_{10}$的指数为4的子群，那么$S_{10}$可以通过左陪集作用（即$g \cdot xH = gxH$）定义一个群同态$\varphi: S_{10} \to S_4$（因为陪集总数是4，对应$S_4$的置换）。这个同态的核$\text{Ker}\varphi$是包含在$H$中的正规子群，我们分情况讨论：

• 若$\text{Ker}\varphi = S_{10}$：此时同态是平凡的，对应陪集数为1，即$H=S_{10}$，指数为1，不符合要求；
• 若$\text{Ker}\varphi = A_{10}$：商群$S_{10}/A_{10}$是2阶群，对应陪集数为2，即$H$的指数为2，不是4，矛盾；
• 若$\text{Ker}\varphi = {e}$：此时$\varphi$是单同态，但$|S_{10}|=3628800$，$|S_4|=24$，显然$S_{10}$的阶远大于$S_4$，不可能存在单同态（单同态要求源群的阶不超过目标群的阶），矛盾。

三种情况都不成立，说明不存在这样的子群$H$。

补充验证：结合交错群的单群性质 #

交错群$A_{10}$是单群（$n \geq 5$时$A_n$都是单群），我们可以从$H$与$A_{10}$的交集入手：

• 若$H$包含$A_{10}$，则$|H| \geq |A_{10}|=\frac{10!}{2}$，但$|H|=\frac{10!}{4}$，显然矛盾；
• 若$H$不包含$A_{10}$，则$[A_{10}: H \cap A_{10}]$（即$H \cap A_{10}$在$A_{10}$中的指数）必须整除$[S_{10}:H]=4$。但$A_{10}$是单群，不存在指数为2或4的子群：
  • 指数为2的子群必然是正规子群，与$A_{10}$是单群矛盾；
  • 指数为4的子群会让$A_{10}$同构于$S_4$的某个子群，但$|A_{10}|=\frac{10!}{2}=1814400$远大于$|S_4|=24$，不可能。

综上，S₁₀不存在指数为4的子群。

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