关于Lang《代数学》中指数为2的子群是正规子群的证明疑问
你好！先给你吃个定心丸：你的整体推理方向是完全正确的，Lang的这个证明就是用群作用+同态核的性质来反证，你补的细节大部分都没问题，咱们重点聊聊你觉得shaky的那个点——为什么同态的核指数是2，以及你提到的“一半是恒等置换一半是交换置换”是不是太理想的问题。
首先先把你梳理的证明对应一下（方便对照讨论）：
Let $G$ be a group and $H$ a subgroup of index 2. Then $H$ is normal in $G$
你的推导过程可以更严谨地梳理为：
- 首先，$H \subseteq N_G(H)$（这里你写的$N_H$应该是笔误，正规子群的标准符号是$N_G(H)$，表示$G$中$H$的正规化子），所以$G$对$N_G(H)$的指数$[G:N_G(H)]$只能是1或2：
- 如果指数是1，那$N_G(H)=G$，直接得出$H$是正规子群，证明结束；
- 如果假设指数是2（也就是假设$N_G(H)=H$，即$H$不正规），接下来引入群作用：让$G$通过共轭作用在所有子群的集合上，根据群作用的轨道-稳定子定理，$H$的轨道大小等于$[G:G_H]$，这里的$G_H$是$H$的稳定子群（也就是正规化子$N_G(H)$），所以轨道大小是2，意味着$H$存在一个不同于自身的共轭子群$gHg^{-1} \neq H$。
- 把这个共轭作用限制在$H$的轨道上，就得到了$G$到2元对称群$S_2$的同态$\phi: G \to S_2$（因为轨道有2个元素，对应的置换群就是$S_2$）。
接下来拆解你疑惑的核心点：
为什么同态的核指数是2？
因为存在$g \in G$使得$gHg^{-1} \neq H$，所以$\phi(g)$是$S_2$里的非恒等置换（也就是交换两个元素的置换）。而$S_2$是2阶群，只有两个元素：恒等元$e$和交换元$(1\ 2)$，所以$\phi$的像必然是整个$S_2$（已经包含非恒等元，不可能是平凡子群）。
根据群同态基本定理：$G/\ker\phi \cong \text{Im}\phi$，而$\text{Im}\phi = S_2$的阶是2，所以商群$G/\ker\phi$的阶也是2，这就直接推出$[G:\ker\phi]=2$——这不是什么“理想情况”，是群论基本定理的严谨结论，和你担心的“一半是恒等一半交换”无关，而是像的阶直接决定了商群的阶，进而决定了核的指数。为什么能推出核等于$H$，进而导出矛盾？
同态$\phi$的核$\ker\phi$是所有满足$\phi(g)=e$的$g \in G$，也就是所有满足$gHg^{-1}=H$的元素，这正好就是正规化子$N_G(H)$。而我们刚才的假设是$N_G(H)=H$（因为假设了$[G:N_G(H)]=2$），所以$\ker\phi=N_G(H)=H$。但所有同态的核都是正规子群（这里你之前写的“kernel of our homomorphism is normal (since it is the kernel of an isomorphism)”有个小错误：只要是同态的核就一定正规，不需要是同构，这个细节要纠正），这就意味着$H$是正规子群，和我们“$H$不正规”的假设矛盾。
所以这个矛盾说明我们的假设$[G:N_G(H)]=2$不成立，只能是$[G:N_G(H)]=1$，也就是$H$是正规子群。
最后补充一个更直观的辅助证明思路（帮你理解Lang方法的本质）：因为$[G:H]=2$，所以$G$只有两个左陪集：$H$和$gH$（$g \notin H$），同时也只有两个右陪集：$H$和$Hg$。对于任意$x \in G$，如果$x \in H$，那$xH=H=Hx$；如果$x \notin H$，那$xH$只能是$G\setminus H$，而$Hx$也只能是$G\setminus H$，所以$xH=Hx$，直接得出$H$正规。这个思路更直接，但Lang用群作用的方法是为了展示群作用这个通用工具的应用，适合推广到更复杂的场景。
总结一下：你的推理框架完全正确，疑惑的核指数问题是群同态基本定理的直接推论，严谨可靠；唯一的小瑕疵是关于同态核正规的原因，记住“所有同态的核都是正规子群”就好。
备注：内容来源于stack exchange，提问作者Redcrazyguy
