可解群商群可解性证明中换位子等式的困惑求解

嘿，我来帮你拆解这个卡住你的等式，其实本质是搞清楚商群里的生成元与原群换位子群的对应关系，咱们一步步来：

首先先明确几个关键符号的定义（防止混淆）：

• 换位子：$[g,h] = g^{-1}h{-1}gh$，其中$g,h \in G$
• 换位子群：$[G,G] = \langle [g,h] : g,h \in G \rangle$，是G中所有换位子生成的子群
• 商群$G/N$中的元素是陪集$xN$，其中$x \in G$

我们要证明的等式是：
$$\langle [g,h]N : g,h \in G\rangle = [G,G]N / N$$

第一步：证明左边包含于右边 #

左边是商群$G/N$中，由所有形如$[g,h]N$的元素生成的子群。

• 首先，每个生成元$[g,h]N$里，$[g,h] \in [G,G]$，而$[G,G] \subseteq [G,G]N$（因为$N$是G的子群，$[G,G]N$是两者的乘积子群）
• 所以$[g,h]N$属于$[G,G]N / N$（因为这个集合就是所有$xN$，其中$x \in [G,G]N$）
• 而右边$[G,G]N / N$是商群的子群，对乘法封闭，因此左边所有生成元的有限乘积也都在右边里。
• 结论：$\langle [g,h]N : g,h \in G\rangle \subseteq [G,G]N / N$

第二步：证明右边包含于左边 #

任取$xN \in [G,G]N / N$，根据定义，$x$可以写成$x = ab$，其中$a \in [G,G]$，$b \in N$。

• 因为$a \in [G,G]$，所以$a$是有限个换位子的乘积：$a = [g_1,h_1][g_2,h_2]\dots[g_k,h_k]$
• 那么$xN = abN = aN$（因为$b \in N$，所以$bN = N$，陪集乘法里$abN = a(bN) = aN$）
• 而$aN = ([g_1,h_1]N)([g_2,h_2]N)\dots([g_k,h_k]N)$，这正好是左边生成元的有限乘积，属于左边的子群。
• 结论：$[G,G]N / N \subseteq \langle [g,h]N : g,h \in G\rangle$

为什么这个等式对可解群的归纳证明很重要？ #

回忆可解群的定义：G是可解群当且仅当存在正规列$G = G_0 \triangleright G_1 \triangleright \dots \triangleright G_k = {e}$，使得每个商群$G_i/G_{i+1}$是Abel群；等价于换位子群序列$G \triangleright [G,G] \triangleright [[G,G],[G,G]] \triangleright \dots$最终终止于平凡群。

当你用归纳法证明$G/N$可解时，这个等式告诉你：$G/N$的换位子群就是$[G,G]N/N$。而因为G是可解的，$[G,G]$是G的真正规子群，且$G/[G,G]$是Abel群；通过归纳假设，$[G,G]/([G,G] \cap N)$可解，再结合商群的同构定理，就能顺利推出$G/N$可解啦。

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