Hall 子群

Hall 子群把 Sylow 子群从单个素数推广到一组素数。其阶包含指定素数的全部因子，而指数完全避开这些素数。 ^{[1, ch. 3A and ch. 5]}

定义

当 \(\pi=\{p\}\) 时 Hall \(\pi\)-子群就是 Sylow \(p\)-子群；\(\pi'\) 表示不在 \(\pi\) 中的素数集合。

核心结论

证明按群阶归纳，取极小正规初等阿贝尔子群并在商群中提升 Hall 子群；互素扩张的补存在与共轭由 Schur–Zassenhaus 定理处理。非可解群不满足一般 Hall 存在性。

结构性质

• 正规 Hall 子群自动是其自身唯一的共轭类，并可应用 Schur–Zassenhaus 得到补。
• 若 \(H\) 为 Hall \(\pi\)-子群且 \(N\triangleleft G\)，则 \(H\cap N\) 是 \(N\) 的 Hall \(\pi\)-子群，\(HN/N\) 是 \(G/N\) 的 Hall \(\pi\)-子群。
• Hall 子群的存在对可解群是统一的，但在一般有限群中只对某些 \(\pi\) 成立。
• 全体 Sylow 子群正规等价于幂零；全体 Hall \(\pi\)-子群存在且共轭只指向更宽的可解结构。
• 转移到 Hall 子群可同时处理多个素数，但本书主要聚焦 Sylow \(p\)-转移。

Hall 理论是“互素分裂”与“可解归纳”的交汇处：商中先找 Hall 子群，再在极小正规层上解决补。

例子与边界

知识网络

Schur–Zassenhaus 处理正规 Hall 子群的补，Sylow 词条是单素数特例，可解群词条解释 Hall 定理的归纳环境。

• Schur–Zassenhaus 定理
• Sylow p-子群
• 可解群

证明与来源

Hall 子群语言与互素补在原书第 3 章引入，并在第 5 章转移中使用；完整 Hall 定理属于标准可解群理论。 ^{[1, ch. 3A and ch. 5]}