关于p-可解群的p-长度上界的求证求助

这个结论是p-可解群结构理论里的经典结果，核心思路是归纳法结合p-可解群的基本结构性质，下面一步步拆解：

1. 概念铺垫与归纳基础 #

先明确两个核心概念：

• 记$l_p(G)$为$G$的p-长度，即满足定义的正规列中p-群因子的最小个数；
• 记$c(P)$为Sylow p-子群$P$的幂零类，即$P$的下中心列$P=\gamma_1(P)>\gamma_2(P)>\dots>\gamma_{c+1}(P)=1$的最短长度$c$。

归纳基础：

• 当$|G|=1$时，$l_p(G)=0$，$c(P)=0$，结论显然成立；
• 当$c(P)=1$时，$P$是交换p-群，根据p-可解群的经典结论，此时$l_p(G)\leq1$，完全符合结论。

2. 简化群的结构：不妨假设$O_{p'}(G)=1$ #

首先注意到一个关键简化技巧：
商群$G/O_{p'}(G)$的p-长度与$G$完全相等（因为正规列中添加p'-群因子不会改变p-因子的数量），且其Sylow p-子群同构于$P$（因为$O_{p'}(G)$是p'-群，与$P$的交集为1），幂零类仍为$c(P)$。因此我们可以不失一般性地假设$G$的最大正规p'-子群$O_{p'}(G)=1$，此时$G$的Fitting子群$F(G)=O_p(G)$（即$G$的最大正规p-子群）。

3. p-长度的递推关系 #

对于$O_{p'}(G)=1$的p-可解群$G$，有一个核心性质：

$l_p(G)=1+l_p(G/O_p(G))$

这是因为$O_p(G)$是$G$的正规p-子群，去掉它之后，商群$G/O_p(G)$的p-长度恰好是原群p-长度减1——原群的最小正规列可以由商群的最小正规列加上$O_p(G)$得到，不会增加额外的p-因子。

4. 关联商群的Sylow子群幂零类 #

接下来看商群$G/O_p(G)$的Sylow p-子群：它同构于$P/O_p(G)$，我们需要证明其幂零类$c(P/O_p(G))\leq c(P)-1$：

• 由于$O_{p'}(G)=1$，可以证明$C_G(O_p(G))\leq O_p(G)$：若存在$g\in C_G(O_p(G))$且$g\notin O_p(G)$，则$g$的阶含p'-因子时，$\langle g,O_p(G)\rangle$是幂零群，与$O_{p'}(G)=1$矛盾；若$g$是p-元素，则$g$必然属于$O_p(G)$。
• 因此$C_P(O_p(G))=P\cap C_G(O_p(G))\leq O_p(G)$，而$\gamma_c(P)\leq Z(P)$（因为$P$的幂零类为$c$，下中心列的第c项含于群的中心），所以$\gamma_c(P)\leq C_P(O_p(G))\leq O_p(G)$。
• 对于商群$P/O_p(G)$，其下中心列满足$\gamma_k(P/O_p(G))=\gamma_k(P)O_p(G)/O_p(G)$，因此$\gamma_c(P/O_p(G))=\gamma_c(P)O_p(G)/O_p(G)=1$，即$c(P/O_p(G))\leq c(P)-1$。

5. 归纳步骤完成 #

根据归纳假设，对于阶小于$|G|$的p-可解群$G/O_p(G)$，有$l_p(G/O_p(G))\leq c(P/O_p(G))\leq c(P)-1$。结合p-长度的递推关系：
$$l_p(G)=1+l_p(G/O_p(G))\leq1+(c(P)-1)=c(P)$$

这样就完成了归纳证明，结论得证。

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