Frobenius 核

Frobenius 核是 Frobenius 置换群中所有无固定点元素连同幺元组成的子群。其闭包性是 Frobenius 定理，幂零性是 Thompson 定理。 ^{[1, thm. 6.4-6.7 and 6.22-6.24]}

定义

固定点稳定子 \(H\) 是补，\(G=N\rtimes H\)。\(N\) 在 \(\Omega\) 上正则，所以 \(|N|=|\Omega|\)。

核心结论

核存在原始证明使用特征标，也可用转移。幂零证明按可解核与一般核分层，使用 Thompson 正规 p-补定理；完整路线见 Frobenius 主干词条。

结构性质

• \(|N|\equiv1\pmod{|H|}\)，因此核与补阶互素。
• 核包含所有无固定点元素，且这些元素构成除幺元外的若干共轭类。
• 核幂零但不必阿贝尔。
• 若补含 involution，则核为奇数阶阿贝尔群，该 involution 通过取逆作用。
• 每个 H-不变商仍接受 Frobenius 作用。

核把一个置换条件转化为规范正规结构，并使 Frobenius 群成为互素半直积。

例子与边界

知识网络

Frobenius 主干词条证明存在与幂零性，补词条描述固定点自由作用，幂零群给出核结构后果。

• Frobenius 群
• Frobenius 补
• 幂零群

证明与来源

核识别和中心化判据见定理 6.4-6.7；可解与一般幂零性见定理 6.22-6.24。 ^{[1, thm. 6.4-6.7 and 6.22-6.24]}