域扩张理论：数学王国的扩疆之路

aichitang2024

已于 2025-03-08 11:15:08 修改

阅读量1.2k

点赞数 28

分类专栏：算法，数学知识点讲解文章标签：扩域

于 2025-03-08 11:04:07 首次发布

本文链接：https://blog.csdn.net/aichitang2024/article/details/146112667

版权

算法，数学知识点讲解专栏收录该内容

37 篇文章

订阅专栏

域扩张理论：数学王国的扩疆之路

1. 引言

域是代数学中最基本的代数结构之一，定义为同时具有加法群和乘法群（不包括零元素）结构的集合，且两种运算满足分配律。域扩张理论研究了如何从一个已知的域（称为基域）出发，构造包含它的更大的域（称为扩域）。这一理论不仅是抽象代数的核心内容，也是解决许多经典数学问题的关键工具。

本文将系统地介绍域扩张理论的基本概念、类型、性质及其应用，帮助读者理解这一数学分支如何优雅地解决了古典数学问题，并为现代科学技术提供了理论支撑。

2. 域扩张的基本概念

2.1 域扩张的定义

定义 2.1.1：设 F 是一个域，E 是包含 F 的一个域（即 F 是 E 的子域），则称 E 是 F 的一个扩域，记作 E/F。

例如：

有理数域 ℚ 是整数环 ℤ 的分式域
实数域 ℝ 是有理数域 ℚ 的扩域
复数域 ℂ 是实数域 ℝ 的扩域

在扩域 E/F 中，我们通常称 F 为基域，E 为扩域。

2.2 向量空间结构与扩张度

定义 2.2.1：设 E/F 是一个扩域，则 E 可以视为 F 上的向量空间，其中向量加法就是 E 中的加法，标量乘法就是 F 中元素与 E 中元素的乘法。

定义 2.2.2：扩域 E/F 的扩张度（或称为维数）是指 E 作为 F 上向量空间的维数，记作 [E:F]。如果这个维数是有限的，则称 E/F 是有限扩张；否则称为无限扩张。

例 2.2.1：考虑扩域 ℚ(√2)/ℚ，即将 √2 添加到有理数域得到的域。可以证明任何 ℚ(√2) 中的元素都可以唯一表示为 a + b√2 的形式，其中 a, b ∈ ℚ。因此，{1, √2} 构成了 ℚ(√2) 作为 ℚ-向量空间的一组基，所以 [ℚ(√2):ℚ] = 2。

2.3 扩张度的乘法定理

定理 2.3.1（扩张度的乘法定理）：设有域的塔 F ⊂ K ⊂ E，则：
[E:F] = [E:K] × [K:F]

证明：
设 {α₁, α₂, …, αₘ} 是 K/F 的一组基，{β₁, β₂, …, βₙ} 是 E/K 的一组基。我们断言，集合 {αᵢβⱼ | 1 ≤ i ≤ m, 1 ≤ j ≤ n} 是 E/F 的一组基。

首先证明线性独立性：假设 ∑ᵢⱼ cᵢⱼαᵢβⱼ = 0，其中 cᵢⱼ ∈ F。对固定的 j，设 dⱼ = ∑ᵢ cᵢⱼαᵢ ∈ K，则 ∑ⱼ dⱼβⱼ = 0。由于 {βⱼ} 在 K 上线性独立，所以对所有 j，dⱼ = 0。又因为 {αᵢ} 在 F 上线性独立，所以对所有 i 和 j，cᵢⱼ = 0。

接下来证明张成性：对任意 γ ∈ E，由于 {βⱼ} 是 E/K 的基，存在 kⱼ ∈ K 使得 γ = ∑ⱼ kⱼβⱼ。对每个 kⱼ，又存在 fᵢⱼ ∈ F 使得 kⱼ = ∑ᵢ fᵢⱼαᵢ。代入得到 γ = ∑ᵢⱼ fᵢⱼαᵢβⱼ，表明 {αᵢβⱼ} 张成 E。

因此，[E:F] = m × n = [K:F] × [E:K]。证毕。

例 2.3.1：考虑扩域链 ℚ ⊂ ℚ(√2) ⊂ ℚ(√2, √3)。已知 [ℚ(√2):ℚ] = 2，可以证明 [ℚ(√2, √3):ℚ(√2)] = 2。根据扩张度乘法定理，[ℚ(√2, √3):ℚ] = 2 × 2 = 4。实际上，{1, √2, √3, √6} 构成了 ℚ(√2, √3) 作为 ℚ-向量空间的一组基。

3. 代数扩张与超越扩张

3.1 代数元与代数扩张

定义 3.1.1：设 E/F 是一个扩域，元素 α ∈ E 称为 F 上的代数元，如果存在非零多项式 f(x) ∈ F[x]，使得 f(α) = 0。如果 α 不是 F 上的代数元，则称 α 为 F 上的超越元。

定义 3.1.2：如果扩域 E/F 中的每个元素都是 F 上的代数元，则称 E/F 为代数扩张。否则，称为超越扩张。

例 3.1.1：

√2 是 ℚ 上的代数元，因为它满足多项式方程 x² - 2 = 0
i（虚数单位）是 ℝ 上的代数元，因为它满足方程 x² + 1 = 0
π 和 e 都是 ℚ 上的超越元（这是非平凡的结果）

3.2 最小多项式与代数元的性质

定义 3.2.1：设 α 是 F 上的代数元，则存在唯一的首一不可约多项式 p(x) ∈ F[x]，使得 p(α) = 0。这个多项式称为 α 在 F 上的最小多项式，记作 irr(α, F)。

定理 3.2.1：设 α 是 F 上的代数元，其最小多项式为 p(x)，则：

p(x) 整除任何满足 f(α) = 0 的多项式 f(x) ∈ F[x]
[F(α):F] = deg(p(x))
F(α) ≅ F[x]/(p(x))，其中 F(α) 表示由 F 和 α 生成的域，(p(x)) 表示由 p(x) 生成的主理想

证明（部分）：
对于第2点，我们可以证明集合 {1, α, α², …, α^(n-1)}（其中 n = deg(p(x))）是 F(α)/F 的一组基。这组元素的线性独立性来自 p(x) 的最小性，而张成性来自于任何 α 的更高次幂都可以通过 p(α) = 0 转化为低次幂的线性组合。

3.3 代数扩张的基本性质

定理 3.3.1：代数扩张满足以下性质：

有限扩张必定是代数扩张
代数扩张的代数扩张仍是代数扩张
两个代数扩张的复合仍是代数扩张
若 E/F 是代数扩张，K 是 E 的子域且包含 F，则 K/F 也是代数扩张

证明（部分）：
对于第1点，设 [E:F] = n < ∞，对于任意 α ∈ E，集合 {1, α, α², …, α^n} 包含 n+1 个元素，必定线性相关。因此存在不全为零的系数 a₀, a₁, …, aₙ ∈ F，使得 a₀ + a₁α + … + aₙα^n = 0，即 α 满足 F 上的非零多项式，所以 α 是代数元。

3.4 超越扩张的性质

定理 3.4.1：设 t 是 F 上的超越元，则：

F(t) 同构于 F 上的有理函数域 F(x)
F(t)/F 是无限维的
F(t) 中的任何元素都可以表示为形如 f(t)/g(t) 的分式，其中 f(x), g(x) ∈ F[x]，且 g(t) ≠ 0

4. 有限扩张的结构

4.1 单扩张

定义 4.1.1：如果存在元素 α ∈ E，使得 E = F(α)，则称 E/F 为单扩张。根据 α 的性质，单扩张可分为代数单扩张和超越单扩张。

定理 4.1.1：对于代数单扩张 F(α)/F，其中 α 的最小多项式为 p(x)，则：

F(α) 中的任何元素都可以唯一表示为 a₀ + a₁α + … + aₙ₋₁α^(n-1) 的形式，其中 n = deg(p(x))，a₀, …, aₙ₋₁ ∈ F
[F(α):F] = deg(p(x))

例 4.1.1：考虑单扩张 ℚ(√2)/ℚ。√2 的最小多项式是 p(x) = x² - 2，因此 [ℚ(√2):ℚ] = 2，且 ℚ(√2) 中的任何元素都可以唯一表示为 a + b√2 的形式，其中 a, b ∈ ℚ。

4.2 原根与循环扩张

定义 4.2.1：设 n > 0 是整数，n 次原根是满足方程 x^n = 1 且阶为 n 的复数（即 x^n = 1 但对任何 0 < m < n，x^m ≠ 1）。通常用 ζₙ 表示。

定义 4.2.2：如果 E = F(ζₙ)，其中 ζₙ 是 n 次原根，则称 E/F 为循环扩张。

定理 4.2.1：设 n > 0，ζₙ 是 n 次原根，则：

ζₙ 的最小多项式是 n 次分圆多项式 Φₙ(x)
[ℚ(ζₙ):ℚ] = φ(n)，其中 φ 是欧拉函数

例 4.2.1：考虑 n = 8 的情况。8次原根是 ζ₈ = e^(2πi/8) = cos(π/4) + i·sin(π/4)。欧拉函数 φ(8) = 4，因此 [ℚ(ζ₈):ℚ] = 4。

4.3 二次扩张

定义 4.3.1：如果 [E:F] = 2，则称 E/F 为二次扩张。

定理 4.3.1：任何二次扩张 E/F 都可以表示为 E = F(√d)，其中 d ∈ F 且不是 F 中的平方数。

例 4.3.1：

ℚ(√2)/ℚ 是二次扩张
ℚ(√-1)/ℚ = ℚ(i)/ℚ 是二次扩张
ℝ(i)/ℝ = ℂ/ℝ 是二次扩张

4.4 根式扩张

定义 4.4.1：如果存在 α ∈ E 使得 α^n ∈ F 对某个正整数 n 成立，且 E = F(α)，则称 E/F 为纯根式扩张。

定义 4.4.2：如果存在域的链 F = F₀ ⊂ F₁ ⊂ … ⊂ Fₘ = E，其中每个 Fᵢ₊₁/Fᵢ 都是纯根式扩张，则称 E/F 为根式扩张。

定理 4.4.1：若 α^n ∈ F，其中 n > 0 是整数，则：

如果 char(F) 不整除 n，或者 α^n 不是 F 中的 p 次幂（其中 p = char(F)），则 α 的最小多项式是 x^n - α^n
[F(α):F] = n 或 [F(α):F] 整除 n

例 4.4.1：考虑扩张 ℚ(∛2)/ℚ。∛2 的最小多项式是 x³ - 2，因此 [ℚ(∛2):ℚ] = 3。

5. 分裂域与代数闭包

5.1 分裂域

定义 5.1.1：设 f(x) ∈ F[x] 是一个多项式，如果存在扩域 E/F，使得 f(x) 在 E 上可以分解为一次因式的乘积，即 f(x) = a(x-α₁)(x-α₂)···(x-αₙ)，其中 a ∈ F，α₁, …, αₙ ∈ E，且 E = F(α₁, …, αₙ)，则称 E 是 f(x) 在 F 上的分裂域。

定理 5.1.1：对于任何多项式 f(x) ∈ F[x]，都存在唯一的（同构意义下）分裂域。

例 5.1.1：多项式 f(x) = x² + 1 ∈ ℝ[x] 的分裂域是 ℂ = ℝ(i)，因为 f(x) = (x-i)(x+i)。

例 5.1.2：多项式 f(x) = x³ - 2 ∈ ℚ[x] 的分裂域是 ℚ(∛2, ω)，其中 ω 是三次原根，因为 f(x) = (x-∛2)(x-ω∛2)(x-ω²∛2)。

5.2 代数闭包

定义 5.2.1：域 F 的代数闭包是包含 F 的最小代数闭域，记作 F̄。代数闭域是指其上的任何非常数多项式都有根的域。

定理 5.2.1：

任何域都有代数闭包，且在同构意义下唯一
F̄/F 是代数扩张
如果 E/F 是代数扩张，则存在 F̄ 到包含 E 的代数闭包的同态

例 5.2.1：

ℚ 的代数闭包是代数数域 Ā
ℝ 的代数闭包是复数域 ℂ
有限域 F_q 的代数闭包是所有有限域 F_{q^n} 的并

6. 伽罗瓦理论与域扩张

6.1 正规扩张与伽罗瓦扩张

定义 6.1.1：设 E/F 是有限扩张，如果 E 是某个 F 上多项式的分裂域，则称 E/F 为正规扩张。

定义 6.1.2：正规扩张 E/F 称为伽罗瓦扩张，如果 F 的特征为 0 或者 E/F 是可分扩张（即 E 中每个元素的最小多项式在 F 上没有重根）。

定理 6.1.1（伽罗瓦理论的基本定理）：设 E/F 是伽罗瓦扩张，G = Gal(E/F) 是 E/F 的伽罗瓦群（即 F 上的 E 自同构群），则：

存在 F 的中间域与 G 的子群之间的一一对应
如果 K 是 F 和 E 之间的中间域，对应的子群是 Gal(E/K)
如果 H 是 G 的子群，对应的中间域是 E^H（H 的不动点集）
[E:K] = |Gal(E/K)|，[K:F] = [G:Gal(E/K)]
K/F 是正规扩张当且仅当 Gal(E/K) 是 G 的正规子群，此时 Gal(K/F) ≅ G/Gal(E/K)

6.2 解方程的应用

伽罗瓦理论最著名的应用是证明了一般五次及以上方程没有根式解。

定理 6.2.1：一般 n 次方程有根式解当且仅当其伽罗瓦群是可解群。

推论 6.2.1：一般五次及以上方程没有根式解，因为对称群 S_n（n ≥ 5）不是可解群。

例 6.2.1：考虑方程 x⁵ - 1 = 0。其伽罗瓦群是循环群 C₅，是可解的，因此该方程有根式解：x = e^(2πik/5)（k = 0, 1, 2, 3, 4）。

7. 域扩张在几何作图问题中的应用

7.1 尺规作图与二次扩张

定理 7.1.1：一个数 α 能用尺规作图（从给定单位长度出发）当且仅当存在一个扩张塔 ℚ = F₀ ⊂ F₁ ⊂ … ⊂ Fₙ，其中 α ∈ Fₙ 且每个扩张 Fᵢ₊₁/Fᵢ 都是二次扩张。

推论 7.1.2：如果 α 能用尺规作图，则 [ℚ(α):ℚ] 是 2 的幂。

例 7.1.1：

正多边形可以用尺规作图，当且仅当其边数是 2^k 或 2^k·p₁···pₘ 的形式，其中 p₁, …, pₘ 是不同的费马素数（形如 2⁽²n) + 1 的素数）
三等分任意角不可能用尺规作图，因为它涉及求解 x³ - 3x + 1 = 0，其伽罗瓦群不是 2 的幂
倍立方（即作出边长为 ∛2 的立方体）不可能用尺规作图，因为 [ℚ(∛2):ℚ] = 3 不是 2 的幂