Burnside 两素数定理

Burnside 定理是有限群论早期里程碑：若群阶只由两个素数构成，不论指数多大，群都可解。 ^{[1, thm. 7.8]}

定义

常称 Burnside \(p^a q^b\)-定理，不要与 Burnside 基定理或正规补定理混淆。

核心结论

Burnside 原证明使用特征标。原书在第 7 章利用前述局部正规补与 Thompson 技术给出群论路线：最小反例的局部子群可解，正规补与极小正规结构最终产生非平凡可解正规层，矛盾。

结构性质

• 非阿贝尔单群的阶至少含三个不同素因数。
• 结论是可解，不保证幂零或超可解。
• \(S_3\) 阶 \(2\cdot3\) 是可解但非幂零例。
• \(A_4\) 阶 \(2^2\cdot3\) 同样可解但含非正规 Sylow 子群。
• Hall 子群理论为可解群中的素数集合分解提供后续结构。

定理把纯算术限制转化为全局导出列终止，是群阶控制结构的代表性结果。结合 Hall 定理，可在这类群中按任意素数集合选择 Hall 子群；但具体导出长度仍依赖作用与扩张方式。

例子与边界

知识网络

可解群解释结论，Hall 理论给出可解群内部的素数分解，Frobenius/Thompson 工具参与群论证明。

• 可解群
• Hall 子群
• Frobenius 群

证明与来源

原书定理 7.8 陈述并完成此前局部工具驱动的证明；历史上的原始证明依赖特征标。 ^{[1, thm. 7.8]}