第八章应用与展望

Galois 理论不仅是代数学的巅峰成就，更在多个数学分支中有着深刻的应用。本章选取三个方向——尺规作图、有限域和对称多项式——展示 Galois 思想的广泛影响。

8.1 尺规作图三大古典问题

古希腊几何学家提出了三个著名的尺规作图问题：

倍立方体：给定单位长度的立方体，能否用尺规作出体积为其 2 倍的立方体的边长？
三等分角：能否用尺规将任意角三等分？
化圆为方：能否用尺规作出与给定圆面积相等的正方形？

Galois 理论给出了统一的回答：都不能。

尺规作图的代数模型

命题 8.1. 设 $P_0 = {(0,0), (1,0)}$ 为初始点集。用尺规从 $P_0$ 出发能作出的所有点的坐标属于 $\mathbb{Q}$ 的一个扩域 $K$，且 $[K:\mathbb{Q}]$ 是 2 的幂。

证明: 每一步尺规操作——连线、作垂线、画圆、求交点——所产生的新坐标的扩域次数至多为 2（解一次或二次方程）。 $\blacksquare$

定理 8.2. 设实数 $\alpha$ 是某个整系数多项式 $f(x) \in \mathbb{Z}[x]$ 的根。若 $\alpha$ 可尺规作图，则 $\operatorname{irr}(\alpha, \mathbb{Q})$ 的次数是 2 的幂。

证明: 若 $\alpha$ 可作图，则 $\alpha$ 属于某个 $[\mathbb{Q}(\alpha):\mathbb{Q}] = 2^k$ 的域。 $\blacksquare$

三大问题的否定

倍立方体. 边长为 $\sqrt[3]{2}$。$\operatorname{irr}(\sqrt[3]{2}, \mathbb{Q}) = x^3 - 2$，次数为 3，不是 2 的幂。不可作图。 $\blacksquare$

三等分角. 三等分 $60^\circ$ 等价于求解 $x = \cos 20^\circ$，即 $8x^3 - 6x - 1 = 0$。此多项式在 $\mathbb{Q}$ 上不可约（验证：在 $\mathbb{Q}$ 上无有理根，次数为 3），故 $[\mathbb{Q}(\cos 20^\circ):\mathbb{Q}] = 3$。不可作图。 $\blacksquare$

化圆为方. 需要作出长度 $\sqrt{\pi}$ 的线段。$\pi$ 是超越数（Lindemann, 1882），故 $[\mathbb{Q}(\pi):\mathbb{Q}] = \infty$。不可作图。 $\blacksquare$

8.2 有限域与编码理论

有限域 $\mathbb{F}_{p^n}$ 的 Galois 理论简洁而完整：

$$\operatorname{Gal}(\mathbb{F}_{p^n}/\mathbb{F}_p) = \langle \varphi \rangle \cong \mathbb{Z}/n\mathbb{Z}, \quad \varphi(x) = x^p.$$

由 Galois 对应，$\mathbb{F}{p^n}$ 的子域恰好是 $\mathbb{F}$，其中 $d$ 取遍 $n$ 的正因子。$\mathbb{F}{p^d} \subseteq \mathbb{F}$ 当且仅当 $d \mid n$。

例 8.3. $\mathbb{F}_{2^6}$ 的子域格：

              F_{2^6}
           /    |    \
        F_{2^3} F_{2^2} F_{2^3}
           \    |    /
              F_2

$\mathbb{F}{2^2} \subseteq \mathbb{F}$ 因为 $2 \mid 6$。
$\mathbb{F}{2^3} \subseteq \mathbb{F}$ 因为 $3 \mid 6$。

应用. 有限域在编码理论和密码学中无处不在：

Reed–Solomon 码：基于 $\mathbb{F}_{2^8}$ 上的多项式插值，用于 CD、QR 码、深空通信。
AES 加密：基于 $\mathbb{F}_{2^8}$ 上的算术运算。
椭圆曲线密码学 (ECC)：定义在 $\mathbb{F}p$ 或 $\mathbb{F}$ 上的椭圆曲线群。

8.3 对称多项式与判别式

定义 8.4. 多项式 $f(x_1, \ldots, x_n) \in F[x_1, \ldots, x_n]$ 称为对称多项式 (symmetric polynomial)，若对任意置换 $\sigma \in S_n$，

$$f(x_{\sigma(1)}, \ldots, x_{\sigma(n)}) = f(x_1, \ldots, x_n).$$

定义 8.5 (基本对称多项式). $n$ 个变量的基本对称多项式 (elementary symmetric polynomials) 为：

$$e_1 = x_1 + x_2 + \cdots + x_n,$$ $$e_2 = \sum_{i<j} x_i x_j,$$ $$\vdots$$ $$e_n = x_1 x_2 \cdots x_n.$$

定理 8.6 (对称多项式基本定理). 每个对称多项式都是基本对称多项式的多项式。即若 $f$ 对称，则存在唯一多项式 $g$ 使得 $f(x_1, \ldots, x_n) = g(e_1, \ldots, e_n)$。

证明: 对字典序进行归纳（将 $f$ 中 $x_1$ 的最高幂次按字典序递减逐步消去）。 $\blacksquare$

与 Galois 理论的联系. 设 $f(x) = x^n - e_1 x^{n-1} + e_2 x^{n-2} - \cdots + (-1)^n e_n$ 的根为 $\alpha_1, \ldots, \alpha_n$。则 $e_i$ 恰好是基本对称多项式在 $(\alpha_1, \ldots, \alpha_n)$ 处的值。Galois 群 $G = \operatorname{Gal}(E/F)$ 作用在根上，$G$-不变的多项式恰好是对称多项式（更精确地说，是 $G$-对称的多项式）。

定义 8.7 (判别式). $f(x)$ 的判别式 (discriminant) 定义为

$$\Delta(f) = \prod_{i<j} (\alpha_i - \alpha_j)^2.$$

$\Delta$ 是根的对称多项式，故可用 $f$ 的系数表示。

$\Delta > 0$（对实系数多项式）：所有根都是实根，或有偶数对共轭复根。
$\Delta < 0$：有奇数对共轭复根。
$\Delta = 0$：有重根。

例 8.8. 二次方程 $ax^2 + bx + c = 0$：$\Delta = b^2 - 4ac$。

三次方程 $x^3 + px + q = 0$：$\Delta = -4p^3 - 27q^2$。

8.4 Galois 理论的现代发展

Galois 的思想远不限于经典域论。以下是几个深远的推广方向：

无限 Galois 理论. 对无限 Galois 扩张 $E/F$，$\operatorname{Gal}(E/F)$ 被赋予 Krull 拓扑（使每个 $\operatorname{Gal}(E/K)$（$K/F$ 有限）为开子群），Galois 对应在闭子群与中间域之间成立。

代数几何中的 Galois 理论. 概形之间的有限平展态射 (étale morphism) 是域扩张的几何类比。代数基本定理的推广——平展基本群——记录了代数簇的覆盖空间。

微分 Galois 理论. 将域扩张替换为微分域扩张，Galois 群替换为微分自同构群。用于判定微分方程是否可用初等函数或 Liouvillian 函数求解。

Grothendieck 的 Galois 理论. 在范畴论框架下，有限平展覆盖的基本群与有限集的自同构群之间的等价，统一了数论和拓扑中的 Galois 对应。

小结

Galois 理论的力量在于它将具体的代数问题（方程求解、数的构造、多项式分解）转化为抽象的群论问题（群的结构、子群格、可解性）。这种转化不仅给出了精确的答案，更揭示了数学中"对称性支配结构"这一深刻主题。Évariste Galois 在 20 岁时留下的思想遗产，至今仍在深刻地影响着数学的发展。

第八章 应用与展望 ​

8.1 尺规作图三大古典问题 ​

尺规作图的代数模型 ​

三大问题的否定 ​

8.2 有限域与编码理论 ​

8.3 对称多项式与判别式 ​

8.4 Galois 理论的现代发展 ​

小结 ​