Frattini 子群

Frattini 子群 \(\Phi(G)\) 由所有极大子群的共同部分组成，可理解为群中对生成没有贡献的元素。对有限 \(p\)-群，其商是控制最小生成元数的向量空间。 ^{[1, Appendix and uses in ch. 1, 3, 9]}

定义

元素 \(x\) 是非生成元，若从 \(\langle X,x\rangle=G\) 可推出 \(\langle X\rangle=G\)。有限群的全部非生成元恰构成 \(\Phi(G)\)。

核心结论

每个极大子群指数为 \(p\)，故含 \(P'\) 与 \(P^p\)。商掉 \(P'P^p\) 后得到初等阿贝尔群，其超平面逆像正是极大子群，交为零。维数结论由生成集在商中的像与非生成元刻画得到。

结构性质

• \(\Phi(G)\operatorname{char}G\)，因为自同构置换极大子群。
• 若 \(N\leq\Phi(G)\) 且 \(HN=G\)，则 \(H=G\)；这称为 Frattini 论证的非生成性质。
• 有限 \(p\)-群中 \(\Phi(P)\) 含导出子群和所有 \(p\) 次幂。
• 有限群的 Frattini 子群幂零；若 \(N\triangleleft G\)、\(N\leq\Phi(G)\) 且 \(G/N\) 幂零，则 \(G\) 幂零。
• Frattini 商把生成问题线性化，但通常不会保留全部群乘法与交换子结构。

Burnside 基定理允许从 \(P/\Phi(P)\) 的一组基提升出 \(P\) 的最小生成集，也说明任意最小生成集在商中成为基。

例子与边界

知识网络

有限 p-群主干词条使用 Frattini 商描述生成；Fitting 词条说明 Frattini 商中的正规幂零结构；Burnside 基定理给出线性代数形式。

• 有限 p-群
• Burnside 基定理
• Fitting 子群

证明与来源

定义和非生成元刻画见原书附录；有限 \(p\)-群公式及应用散见第 1、3、9 章，证明按 Burnside 基定理标准论证。 ^{[1, Appendix and uses in ch. 1, 3, 9]}