群扩张

群扩张研究如何由正规子群 \(N\) 和商群 \(Q\) 组装群 \(G\)。它把正规列中的相邻层从“知道两个因子”提升为“理解它们如何相互作用”。 ^{[1, ch. 3]}

定义

两个扩张等价，若存在保持核与商恒等的中间群同构。仅要求中间群抽象同构是更弱关系。

核心结论

选取 \(q\) 的提升并以共轭作用于 \(N\)；不同提升相差内自同构，因此得到规范外作用。截面同态消除乘法缺陷并给出半直积；一般截面的缺陷形成 \(2\)-余循环。

结构性质

• 核和商的同构类型通常不能唯一确定中间群。
• 分裂等价于商映射有同态截面，也等价于核有补子群。
• 中心扩张对应商对核的平凡作用，但仍可非分裂。
• 互素有限扩张在 Schur–Zassenhaus 条件下分裂，并在可解条件下补共轭。
• Kaloujnine–Krasner 定理把任意扩张嵌入适当 wreath 积。

扩张理论解释为什么合成因子并不能重建群：还需要作用与余循环粘合数据。即使正规列的每一层都已知，不同粘合方式仍可能产生互不同构的群。对阿贝尔核，Baer 和还使等价扩张类带有群结构；对非阿贝尔核，分类通常只形成带作用约束的集合。

例子与边界

知识网络

分裂扩张主干词条给出半直积公式，补子群表达截面，Schur–Zassenhaus 处理有限互素扩张。

• 分裂扩张与半直积
• 补子群
• Schur–Zassenhaus 定理

证明与来源

原书第 3 章以补子群、半直积、wreath 积和互素作用组织扩张理论；上同调语言用于准确定位一般障碍。 ^{[1, ch. 3]}