Thompson 替换定理

Thompson 替换不是单一等式，而是一种把最大阶阿贝尔子群移动到更大正规化子或更好中心化位置的技术，同时保持其阶不变。 ^{[1, ch. 7A-7C]}

定义

\(\mathcal A(P)\) 表示 \(P\) 中最大阶阿贝尔子群集合；替换目标仍应属于该集合。

核心结论

交换子配对把 \(A/(A\cap B)\) 嵌入由 \(B/C_B(A\cap B)\) 控制的群，给出 \(|A^*|\geq|A|\)；最大性迫使等号。严格增长量在有限群中保证过程终止。

结构性质

• 替换保持最大阶而改善位置，不声称 \(A^*\) 与 \(A\) 共轭。
• 类二条件使交换子配对双线性并保证构造阿贝尔。
• 它用于证明 \(J(P)\) 被局部控制群正规化。
• 替换过程常以交大小、正规化子阶或固定点维数作单调量。
• 不同文献的替换定理假设和 Thompson 子群版本略有差异。

最大阿贝尔子群不唯一时，替换把“存在某个最大对象”强化为“存在位置合适的最大对象”。

例子与边界

知识网络

Thompson 子群汇总全部最大阿贝尔子群，互素作用提供外部控制，正规补定理是主要输出。

• Thompson 子群
• 互素作用
• 正规 p-补

证明与来源

原书第 7A-7C 节使用替换思想完成正规补证明；精确版本按相应定理与引理引用。 ^{[1, ch. 7A-7C]}