近世代数扩张定理深度解析
从域论的基础结构到伽罗瓦对应，全方位梳理近世代数扩张定理的核心逻辑与应用场景。解决代数方程可解性问题的关键钥匙。
1. 什么是域扩张？
在近世代数的研究中，域扩张（Field Extension）是最基本的结构之一。简单来说，如果域 包含另一个域 作为子域（即 ），我们称 为 的一个域扩张，记作 或 。
1.1 扩张次数的定义
域 可以自然地视为基域 上的向量空间。这个向量空间的维数被称为扩张次数，记为 。
- 若 ，称为有限扩张。
- 若 ，称为无限扩张。
1.2 塔定律 (Tower Law)
若有域塔 ，则扩张次数满足乘法关系：
[K:F] = [K:E] cdot [E:F]
这是证明扩张定理相关命题时最常用的工具之一。
2. 扩张的主要类型
理解近世代数扩张定理的关键在于区分不同类型的扩张性质。点击下方选项卡查看详细对比。
代数扩张 (Algebraic Extension)
如果扩域 中的每一个元素 都是基域 上的代数元（即存在非零多项式 使得 ），则称 为代数扩张。
关键性质
- 有限扩张一定是代数扩张。
- 代数扩张的代数扩张仍是代数扩张。
- 若 ，且 是代数扩张，则 和 均为代数扩张。
正规扩张 (Normal Extension)
一个有限代数扩张 被称为正规扩张，如果 是某个多项式 在 上的分裂域。
等价定义：若 在 中有一个根，则 在 中完全分解为一次因式的乘积。
示例
是正规扩张，因为它是 的分裂域。
不是正规扩张，因为 在 中未完全分裂（缺少复数根）。
可分扩张 (Separable Extension)
在特征为 0 的域（如有理数域 ）上，所有有限扩张都是可分的。在特征 的域上，需要特别检查多项式是否有重根。
若 中每个元素的极小多项式在分裂域中无重根，则称为可分扩张。
重要性
可分性是保证伽罗瓦理论基本定理成立的关键条件之一。完美域（Perfect Field）上的所有代数扩张都是可分的。
3. 伽罗瓦扩张与基本定理
当域扩张既是正规的又是可分的时候，我们称之为伽罗瓦扩张（Galois Extension）。这是近世代数中最辉煌的部分。
3.1 伽罗瓦群
对于伽罗瓦扩张 ，其伽罗瓦群 定义为所有保持 中元素不变的 的自同构构成的群。
Gal(K/F) = { sigma in Aut(K) | forall a in F, sigma(a) = a }3.2 伽罗瓦基本定理 (The Fundamental Theorem)
该定理建立了中间域与子群之间的反序一一对应关系：
| 中间域 () | 子群 () | 关系性质 |
|---|---|---|
| (平凡子群) | 对应 | |
| 对应 | ||
| 阶数等于指数 | ||
| 子群阶数 | ||
| 是正规扩张 | 正规子群 |
这一对应关系是解决多项式根式可解性问题的核心工具。如果一个多项式的伽罗瓦群不是可解群，则该多项式没有根式解。
4. 扩张定理的历史脉络
埃瓦里斯特·伽罗瓦
伽罗瓦在其短促的一生中创立了群论，并首次将域扩张与群的结构联系起来，解决了多项式方程根式可解性的根本问题。尽管生前未获认可，但其工作奠定了现代近世代数的基础。
戴德金与诺特
戴德金进一步形式化了理想论和域论。埃米·诺特（Emmy Noether）将抽象代数方法系统化，明确了扩张定理在代数几何和数论中的核心地位，提出了“诺特正则链”等概念。
代数几何与数论的融合
韦伊、格罗滕迪克等人将域扩张的概念推广到域上的概形（Schemes）理论中。伽罗瓦上同调成为现代数论（如朗兰兹纲领）的重要工具。
5. 经典案例与计算示例
为了深入理解近世代数扩张定理，我们通过几个经典案例进行演练。
案例一：二次域扩张
问题：判断 是否为伽罗瓦扩张。
解答：
1. 极小多项式为 ，次数为2，故 。
2. 分裂域为 ，故为正规扩张。
3. 特征为0，故为可分扩张。
结论：是伽罗瓦扩张。伽罗瓦群同构于 （二阶循环群）。
案例二：分圆域扩张
问题：考虑 ，其中 是本原 次单位根。
分析：
这是分圆多项式 的分裂域。由于 特征为0，扩张可分且正规。
结论：是伽罗瓦扩张，其伽罗瓦群同构于 ，阶数为 。
案例三：非正规扩张
问题：判断 。
分析：
极小多项式 在 中只有一个实根，缺少两个复根。
结论：不是正规扩张，因此不是伽罗瓦扩张。
❓ 常见疑问解答 (FAQ)
Q1: 有限扩张一定是代数扩张吗？
A: 是的。如果 ，那么对于任意 ，集合 在 上线性相关，从而存在非零多项式 使得 。
Q2: 如何快速判断一个扩张是否正规？
A: 检查扩域是否是某个多项式的分裂域。或者检查：如果极小多项式在扩域中有一个根，是否所有根都在扩域中？如果是，则正规。
Q3: 为什么特征 p 的域需要特别讨论可分性？
A: 在特征 p 的域上，多项式 可能有重根（如果 是 p 次幂）。此时极小多项式不可分，导致伽罗瓦理论的基本定理失效（群阶数小于扩张次数）。
Q4: 扩张定理在考研中常考什么？
A: 重点考查塔定律的计算、伽罗瓦群的构造、以及判断特定扩张是否为伽罗瓦扩张。此外，多项式根式可解性的判定也是高频考点。