互素作用

互素作用是指有限群 \(A\) 以自同构作用于有限群 \(G\)，并满足 \((|A|,|G|)=1\)。互素性使轨道计数、Sylow 理论和“平均化”恢复出在一般作用中会失败的固定点提升、补子群共轭与交换子分解。它贯穿 Schur–Zassenhaus 定理、Frobenius 群、Thompson 子群和局部分析。^{[1, pp. 91-112]}

定义与基本记号

固定点子群与作用交换子群分别记为

可以把作用写成半直积 \(G\rtimes A\)，互素条件就是正规核与补子群的阶互素。

不变 Sylow 子群

若 \(G\) 可解，同一思想推广到任意素数集合 \(\pi\)：存在 \(A\)-不变 Hall \(\pi\)-子群，且在固定点子群中共轭。

固定点提升

一般群作用中只有右侧包含于左侧，反向包含可能失败；互素性正是消除这一障碍的条件。

交换子分解

等式 \([G,A,A]=[G,A]\) 常称为互素作用的交换子稳定性：一旦取过一次作用交换子，再取一次不会得到更小的子群。

中心化判据

第二条直接来自 \([G,A,A]=[G,A]\)。它是许多局部论证中的“二次中心化即中心化”步骤。

Glauberman 引理

Glauberman 引理统一说明了“不变 Sylow 子群存在且由固定点子群共轭”、不变 Hall 子群和不变补子群等结果。

例子

条件失败时

同样，模特征整除 \(|A|\) 时平均算子 \(|A|^{-1}\sum a\) 不存在，\(A\)-模不一定完全可约。

主要应用

• Schur–Zassenhaus 定理中的补子群存在与共轭；
• Frobenius 补对核的固定点自由作用，以及 Frobenius 核幂零性；
• \(p\)-局部子群中选择不变 Sylow、Hall 和特征子群；
• Thompson 的 \(P\times Q\) 引理、正规 \(J\) 定理与 \(ZJ\) 理论；
• 交换子演算中把二次作用信息降为一次信息；
• 有限群表示论中的 Maschke 平均化。

相关词条

• Glauberman 引理
• 固定点子群
• Schur–Zassenhaus 定理
• Frobenius 群
• 交换子
• Thompson 子群

本文以 Isaacs 第 3、6、7 章的互素作用工具链为主线，补全了固定点提升、交换子稳定和 Glauberman 引理的证明结构；术语与标准有限群教材交叉核验。^{[1, pp. 91-112] [2, pp. 221-229] [3]}