可解群

可解群是能够由阿贝尔群经过有限次扩张构造出来的群。它把“非交换性可以分层消除”变成精确条件，是有限群论、Galois 理论和表示论中的基础类别。有限 \(p\)-群、幂零群以及阶只含两个不同素因子的有限群都可解；最小的非可解有限群是交错群 \(A_5\)。^{[1, pp. 80-88]}

定义与等价刻画

定义 \(G^{(0)}=G\)，并递归令

这条特征子群列称为导出列。若最小的 \(d\) 满足 \(G^{(d)}=1\)，则 \(d\) 称为 \(G\) 的导出长度，记作 \(\operatorname{dl}(G)\)。非平凡阿贝尔群的导出长度为 \(1\)。

对有限群还有第三种刻画：\(G\) 可解，当且仅当任一组成列的全部组成因子都是素数阶循环群。Jordan–Hölder 定理保证该条件与组成列的选择无关。这个刻画不能原样用于所有无限群，因为可解无限群未必具有有限组成列。

基本闭性与扩张

可解性对有限构造具有很强的稳定性：

• 可解群的任意子群可解；
• 可解群的任意同态像，特别是任意商群可解；
• 若 \(N\triangleleft G\) 且 \(N\) 与 \(G/N\) 都可解，则 \(G\) 可解；
• 有限个可解群的直积可解；
• 可解群之间的半直积与有限 wreath 积可解。

这个证明也是实际计算导出长度的常用方法：先找到结构清楚的正规子群，再把问题分成核与商两个较小问题。需要注意，任意无限直积并不保持可解性；若各因子的导出长度无统一上界，直积的导出列不会在某个有限步同时终止。

有限可解群的极小正规子群

这一结论是有限可解群归纳法的发动机。选取极小正规子群 \(M\) 后，商 \(G/M\) 仍可解且阶更小；而 \(M\) 是线性对象，可以使用模、互素作用和 Maschke 平均化。它解释了为什么许多可解群定理最终归结为有限域上的线性代数。

有限群中所有可解正规子群的乘积仍可解，因此存在唯一最大的可解正规子群，称为可解根 \(R(G)\)。群 \(G/R(G)\) 没有非平凡可解正规子群。对于可解群本身，\(R(G)=G\)；对非阿贝尔单群，\(R(G)=1\)。

Hall 子群与有限可解群

设 \(\pi\) 是一组素数。群 \(G\) 的 Hall \(\pi\)-子群是阶只含 \(\pi\) 中素数、而指数不含 \(\pi\) 中素数的子群。一般有限群不一定存在给定的 Hall 子群，但可解群有完整的 Hall 理论。

证明以群阶归纳，选取初等阿贝尔极小正规子群 \(M\)，先在 \(G/M\) 中构造 Hall 子群，再分析其原像。若 \(M\) 的素数属于 \(\pi\)，把 \(M\) 纳入提升；否则在互素扩张中用 Schur–Zassenhaus 定理选择补。共轭性和包含性也沿相同的核—商分解提升。完整证明及其与补群的关系见Hall 子群与Schur–Zassenhaus 定理。^{[1, pp. 113-131]}

典型例子与反例

所有有限 \(p\)-群都幂零，因而可解。Burnside 的 \(p^a q^b\) 定理进一步断言：若有限群阶只被两个素数整除，则该群可解；原书第 7 章给出纯群论证明。Feit–Thompson 奇数阶定理则断言每个奇数阶有限群可解，但其证明远超本文范围。^[2]

与多项式根式可解性的关系

“可解”这一名称来自 Galois 理论。在特征 \(0\) 的标准条件下，一个多项式方程可由根式求解，当且仅当其 Galois 群可解。加入一次根式对应经过一个阿贝尔的循环扩张；有限次根式塔在群论侧形成阿贝尔因子列。一般五次方程的 Galois 群可为 \(S_5\)，而 \(S_5\) 含非阿贝尔简单组成因子 \(A_5\)，因此一般五次方程不能由根式统一求解。^{[3, pp. 101-109]}

这里的“可解群”不是说可以高效列出群的全部元素或求解某个群方程。它描述的是非交换结构是否能经有限次阿贝尔商消除。算法复杂度、表示方式和可解性是不同层面的问题。

相关层级与知识网络

有限群中常见的包含关系为

每个包含都是真包含：非阿贝尔有限 \(p\)-群说明阿贝尔严格小于幂零；\(S_3\) 说明幂零严格小于超可解；\(A_4\) 说明超可解严格小于可解。可解群的局部素数结构由Hall 子群组织，扩张由Schur–Zassenhaus 定理控制，最大的幂零正规子群是Fitting 子群。非可解方向则由分量、层和广义 Fitting 子群描述。

本文的定义、闭性、极小正规子群与习题后果主要依据 Isaacs 第 3 章；有限群的一般背景与历史说明另参考 Rotman 和 Wikipedia 的修订记录。^[4]