有限群幂零等价于每个极大子群正规的证明问询

咱们来完整拆解这个等价性证明，分成必要性（幂零群→所有极大子群正规）和充分性（所有极大子群正规→幂零群）两个方向来展开：

必要性：幂零群的每个极大子群必是正规子群 #

假设$G$是有限幂零群，任取它的一个极大子群$M$，我们要证$M \triangleleft G$。

首先回忆幂零群的核心性质：幂零群的非平凡商群一定有非平凡中心（因为幂零群的下中心序列会终止于平凡群，商群的下中心序列是原序列的商，同样会终止，所以商群也是幂零群，而幂零群的中心不可能平凡）。

因为$M$是极大子群，商群$G/M$是单群（不存在非平凡的真子群）。而$G/M$作为幂零群的商群也是幂零群，结合单群的性质：单幂零群只能是素数阶循环群（单群的中心要么是自身要么平凡，而幂零群中心非平凡，所以中心就是整个群，即$G/M$是交换单群，也就是素数阶循环群）。

根据群论的基本结论：指数为素数的子群必是正规子群，$M$在$G$中的指数是素数，因此$M$是$G$的正规子群。

也可以用下中心序列直接验证：设$G$的下中心序列为$G = L^0(G) \geq L^1(G) \geq \dots \geq L^n(G) = {1}$。若$M$不包含$L^1(G)$，则$G = M L^{1(G)$（$M$极大，且$L}1(G)$是$G$的正规子群），此时$G/M \cong L^1(G)/(M \cap L^{1(G))$。而$G/L}1(G)$是交换群，所以$G/M$是交换群的商群，也是交换群；结合$G/M$是单群，可知它是素数阶循环群，因此$M$正规。

充分性：每个极大子群都正规的有限群必是幂零群 #

假设有限群$G$的每个极大子群都是正规的，我们用两种思路来证明$G$是幂零群：

思路1：归纳法+中心扩张 #

对$G$的阶数做数学归纳：

• 基例：当$|G|=1$时，显然是幂零群。
• 归纳假设：假设所有阶数小于$|G|$、且满足“每个极大子群正规”的群都是幂零群。

考虑$G$的中心$Z(G)$：

• 若$Z(G)=G$，则$G$是交换群，交换群的下中心序列一步就到${1}$，显然是幂零群。
• 若$Z(G) \neq G$，则商群$G/Z(G)$的每个极大子群都是正规的：$G$中包含$Z(G)$的极大子群对应商群的极大子群，而这些子群在$G$中正规，因此在商群中也正规。根据归纳假设，$G/Z(G)$是幂零群；而$Z(G)$是交换群（属于幂零群），幂零群的中心扩张仍是幂零群，因此$G$是幂零群。

思路2：利用Sylow子群的正规性 #

有限群是幂零群的等价条件之一是：它的每个Sylow子群都是正规的。我们来证明$G$的任意Sylow $p$-子群$P$都正规：

假设$P$是$G$的Sylow $p$-子群，若$N_G(P) \neq G$（即$P$不正规），则存在$G$的极大子群$M$包含$N_G(P)$（因为$N_G(P)$是$G$的真子群）。根据题设，$M$是$G$的正规子群。

由Frattini论断：$G = M N_G(P)$，但$N_G(P) \subseteq M$，所以$G = M$，这与$M$是$G$的真子群矛盾。因此$N_G(P) = G$，即$P \triangleleft G$。

因为$G$的每个Sylow子群都正规，所以$G$是其Sylow子群的直积；而每个Sylow $p$-子群都是有限$p$-群，有限$p$-群都是幂零群，幂零群的直积仍是幂零群，因此$G$是幂零群。

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