伽罗瓦理论基本定理——揭示代数方程可解性的深层结构
从群论视角重构数学认知：理解为何五次及以上方程无求根公式，解析π与e为何不可通过初等代数表达，掌握域扩张与对称性之间的本质联系。
开启探索之旅什么是伽罗瓦理论基本定理？
伽罗瓦理论基本定理是现代代数学的基石之一，它建立了域扩张理论与群论之间的深刻联系。该理论的核心在于：一个代数方程是否可用根式求解，取决于其伽罗瓦群是否为可解群。这一定理由法国数学家埃瓦里斯特·伽罗瓦（Évariste Galois）于1832年提出，尽管他英年早逝（20岁死于决斗），但其思想彻底改变了数学的发展方向。
在伽罗瓦之前，数学家们致力于寻找一般五次及以上代数方程的根式解法。拉格朗日、鲁菲尼、阿贝尔等人已取得重要进展，尤其是阿贝尔证明了五次方程一般无根式解，但未能给出明确的可解性判据。伽罗瓦则提出了革命性的观点：解的存在性不取决于方程本身的形式，而取决于其根之间的对称性结构。
伽罗瓦理论基本定理指出：设 $E/F$ 是一个有限扩张，则中间域 $K$（满足 $F subseteq K subseteq E$）与子群 $H = text{Gal}(E/K)$ 之间存在一一对应关系。该对应保持包含关系，并且扩张 $E/K$ 是伽罗瓦扩张当且仅当对应子群 $H$ 是伽罗瓦群 $text{Gal}(E/F)$ 的正规子群。
为理解这一抽象对应，不妨设想一个装满不同颜色弹珠的密封盒子。你无法直接看到内部结构，但可以通过摇晃盒子、记录弹珠碰撞的统计规律，推断出其排列组合的可能性。伽罗瓦群正是这种“内部结构的对称性记录仪”——它捕捉所有保持基域 $F$ 不变、同时置换扩展域 $E$ 中元素的自同构操作。这些操作构成一个群，其结构直接决定了原方程的可解性。
伽罗瓦理论基本定理的精解
定理的陈述看似简洁，其内涵却极为丰富。设 $f(x) in F[x]$ 是域 $F$ 上的多项式，$E$ 是其分裂域（即包含所有根的最小扩域），则伽罗瓦群定义为：
$text{Gal}(E/F) = {sigma: E to E mid sigma text{ 是域自同构，且 } sigma|_F = text{id}_F}$
该群作用于 $f(x)$ 的根集合上，形成一个置换群。基本定理断言：子域 $K$（$F subseteq K subseteq E$）与子群 $H leq text{Gal}(E/F)$ 之间存在反序一一对应：
- 对每个中间域 $K$，对应子群 $text{Gal}(E/K) = {sigma in text{Gal}(E/F) mid sigma(k)=k, forall k in K}$
- 对每个子群 $H$，对应固定域 $E^H = {x in E mid sigma(x)=x, forall sigma in H}$
更关键的是，扩张次数满足：$[E:K] = |text{Gal}(E/K)|$ 且 $[K:F] = [text{Gal}(E/F) : text{Gal}(E/K)]$。这建立了域扩张的“尺寸”与群结构的“阶数”之间的精确对应。
可解群的定义
群 $G$ 可解指存在列 $G = G_0 triangleright G_1 triangleright cdots triangleright G_n = {e}$，其中每个商群 $G_i/G_{i+1}$ 为阿贝尔群。这对应于根式解的逐层添加过程：先加单位根（阿贝尔扩张），再逐步添加实根或复根。
伽罗瓦对应
域扩张的“复杂度”由群的结构反映：正规扩张 ⇔ 正规子群；可解扩张 ⇔ 可解群。因此，方程可解当且仅当其伽罗瓦群可解。
几何意义
在复平面上，根式解对应于用圆规直尺作图的可行操作。伽罗瓦群的可解性决定了图形是否可通过有限次圆与直线的交点构造出来（如三等分角、倍立方问题）。
个具体例子：$x^3 - 2 = 0$ 的伽罗瓦群
考虑方程 $x^3 - 2 = 0$，其根为 $sqrt[3]{2}, omegasqrt[3]{2}, omega^2sqrt[3]{2}$，其中 $omega = e^{2pi i/3} = frac{-1 + isqrt{3}}{2}$ 是三次单位根。分裂域为 $E = mathbb{Q}(sqrt[3]{2}, omega)$，基域为 $F = mathbb{Q}$。
计算得 $[E:mathbb{Q}] = [mathbb{Q}(sqrt[3]{2}, omega) : mathbb{Q}(sqrt[3]{2})] cdot [mathbb{Q}(sqrt[3]{2}) : mathbb{Q}] = 2 cdot 3 = 6$，故伽罗瓦群阶为6。通过分析自同构如何置换根：
- $sigma: sqrt[3]{2} mapsto omegasqrt[3]{2}, omega mapsto omega$（三循环）
- $tau: sqrt[3]{2} mapsto sqrt[3]{2}, omega mapsto omega^2$（对换）
可验证 $sigma^3 = tau^2 = 1$ 且 $tausigmatau = sigma^{-1}$，故 $text{Gal}(E/mathbb{Q}) cong S_3$（三次对称群）。由于 $S_3$ 有列 $S_3 triangleright A_3 triangleright {e}$，商群分别为 $mathbb{Z}/2mathbb{Z}$ 和 $mathbb{Z}/3mathbb{Z}$（均为阿贝尔），因此 $S_3$ 可解，方程可用根式解（确实如此：$sqrt[3]{2}, omega$ 均为根式表达）。
伽罗瓦理论的历史脉络
费罗与塔尔塔利亚：独立发现三次方程求根公式，但未公开。费罗将解法传给学生菲奥，塔尔塔利亚则秘而不宣。
卡尔达诺出版《大术》，首次发表三次与四次方程的根式解法，并承认其来源。四次方程由其学生费拉里求解。
拉格朗日分析三次、四次方程解法，引入拉格朗日预解式，发现根的置换对解法的决定性作用，为群论思想奠基。
鲁菲尼首次尝试证明五次方程无根式解，但证明不完整，未被当时数学界接受。
阿贝尔独立且严格证明：一般五次方程无根式解，开创超越代数方法研究方程解的先河。
伽罗瓦在决斗前夜写下遗书，系统提出群论思想与域扩张理论，定义伽罗瓦群，给出可解性判据。
刘维尔整理发表伽罗瓦手稿，开始系统阐释其理论，开启现代抽象代数时代。
若尔当出版《论置换与代数方程》，全面系统化伽罗瓦理论，确立其在数学中的核心地位。
伽罗瓦的一生仅持续了20年，却留下了一场数学革命。他将方程研究从“求解算法”转向“结构分析”，使数学从计算技艺升华为抽象思维的科学。他使用的“群”概念后来成为整个现代数学的语言——拓扑群、李群、代数群、伽罗瓦群……无一不承袭其思想基因。
伽罗瓦群的深度解析
伽罗瓦群 $text{Gal}(E/F)$ 的本质是保持基域 $F$ 不变的域自同构群。其元素 $sigma$ 满足：
- $sigma(a + b) = sigma(a) + sigma(b)$（加法保持）
- $sigma(ab) = sigma(a)sigma(b)$（乘法保持）
- $sigma(c) = c$ 对所有 $c in F$（固定基域）
这些条件强制 $sigma$ 是双射，且 $sigma(1) = 1$，$sigma(0) = 0$，$sigma(a^{-1}) = sigma(a)^{-1}$。特别地，$sigma$ 将 $f(x)$ 的根映射为另一根——因为若 $f(r)=0$，则 $0 = sigma(0) = sigma(f(r)) = f^sigma(sigma(r))$，其中 $f^sigma$ 是将 $f$ 系数经 $sigma$ 作用后的多项式。当 $f(x) in F[x]$ 时，$f^sigma = f$，故 $sigma(r)$ 仍是 $f$ 的根。
经典案例：$x^4 - 2 = 0$ 的伽罗瓦群
根为 $sqrt[4]{2}, isqrt[4]{2}, -sqrt[4]{2}, -isqrt[4]{2}$。分裂域 $E = mathbb{Q}(sqrt[4]{2}, i)$，$[E:mathbb{Q}] = 8$，故伽罗瓦群阶为8。可能群为：$mathbb{Z}/8mathbb{Z}$、$mathbb{Z}/4mathbb{Z} times mathbb{Z}/2mathbb{Z}$、$D_4$（四阶二面体群）、$Q_8$（四元数群）或 $mathbb{Z}/2mathbb{Z} times mathbb{Z}/2mathbb{Z} times mathbb{Z}/2mathbb{Z}$。
定义自同构：
- $sigma: sqrt[4]{2} mapsto isqrt[4]{2}, i mapsto i$（旋转）
- $tau: sqrt[4]{2} mapsto sqrt[4]{2}, i mapsto -i$（复共轭）
则 $sigma^4 = tau^2 = 1$，且 $tausigmatau = sigma^{-1}$，故 $text{Gal}(E/mathbb{Q}) cong D_4$（8阶二面体群）。$D_4$ 的子群结构复杂：有5个2阶子群、3个4阶子群（一个循环、两个克莱因四元群），对应5个中间域。通过伽罗瓦对应，可精确分析每个子域的结构，例如：
- 固定 $sqrt{2} = (sqrt[4]{2})^2$ 的子群：${1, sigma^2, tau, sigma^2tau} cong V_4$（克莱因四元群）
- 固定 $i$ 的子群：${1, sigma^2} cong mathbb{Z}/2mathbb{Z}$，对应域 $mathbb{Q}(i, sqrt{2})$
由于 $D_4$ 可解（列 $D_4 triangleright langlesigmarangle triangleright langlesigma^2rangle triangleright {1}$），方程 $x^4 - 2 = 0$ 可根式求解：$sqrt[4]{2} = sqrt{sqrt{2}}$，且 $sqrt{2}$ 可由二次方程解出。
π与e的超越性：伽罗瓦理论的终极判据
超越数是不满足任何整系数多项式方程的实数或复数。1844年，刘维尔首次证明超越数存在；1873年， Hermite 证明 $e$ 是超越数；1882年，Lindemann 证明 $pi$ 是超越数（从而解决古希腊三大作图问题之一：化圆为方不可能）。
伽罗瓦理论虽主要处理代数扩张，但其思想延伸至超越扩张。关键在于：若一个数是代数数，则其伽罗瓦群定义良好；若为超越数，则不存在有限生成的伽罗瓦群。更精确地说：
根式解对应于一列二次扩张（或更一般地，阿贝尔扩张）。每个根式 $ sqrt[n]{a} $ 对应扩张 $F subseteq F(sqrt[n]{a})$，其伽罗瓦群是循环群（若包含单位根）。因此，可根式解的方程其伽罗瓦群必须可解。而超越数（如π、e）甚至不是任何多项式的根，故不存在伽罗瓦群——它们“超出”了伽罗瓦理论的适用范围，从根本上无法用有限次加减乘除与开方表达。
超越性的严格证明思路（以e为例）
Lindemann-Weierstrass定理：若 $alpha_1, dots, alpha_n$ 是互异代数数，则 $e^{alpha_1}, dots, e^{alpha_n}$ 在有理数域上线性无关。取 $alpha_1 = 1$，则 $e$ 不满足任何整系数多项式（否则 $e^1$ 与1线性相关），故 $e$ 超越。
对π，设 $pi$ 代数，则 $ipi$ 代数（$i$ 代数），由 $e^{ipi} + 1 = 0$ 得 $e^{ipi} = -1$，即 $e^{ipi} + 1 cdot 1 = 0$，与Lindemann-Weierstrass矛盾（因 $ipi$ 与0线性相关？更严谨：取 $alpha_1 = ipi, alpha_2 = 0$，则 $e^{ipi} = -1$, $e^0 = 1$，线性组合 $(-1)cdot(-1) + (-1)cdot 1 = 0$，系数非零），故 $pi$ 超越。
超越数判定表
| 数 | 超越性 | 证明者/年 |
|---|---|---|
| $sqrt{2}$ | 代数 | 欧几里得 |
| $e$ | 超越 | Hermite, 1873 |
| $pi$ | 超越 | Lindemann, 1882 |
| $sqrt[3]{5}$ | 代数 | — |
| $log 2$ | 超越 | Lindemann, 1882 |
不可解方程示例
- $x^5 - x - 1 = 0$：伽罗瓦群为 $S_5$（不可解）
- $x^6 + x^5 + x^4 + x^3 + x^2 + x + 1 = 0$：伽罗瓦群为 $(mathbb{Z}/7mathbb{Z})^times cong mathbb{Z}/6mathbb{Z}$（可解）
- $cos(20^circ)$：满足 $8x^3 - 6x - 1 = 0$，伽罗瓦群为 $A_3 cong mathbb{Z}/3mathbb{Z}$（可解）
经典案例分析：从三等分角到五次方程
为何无法三等分任意角？
设可三等分 $60^circ$ 角，则可构造 $20^circ$ 角。由三倍角公式：$cos(3theta) = 4cos^3theta - 3costheta$，代入 $theta = 20^circ$ 得：
$4x^3 - 3x = cos(60^circ) = frac{1}{2} implies 8x^3 - 6x - 1 = 0$
其中 $x = cos(20^circ)$。该三次多项式在 $mathbb{Q}$ 上不可约（Eisenstein判别法不直接适用，但检查有理根：±1,±1/2,±1/4,±1/8 均非根），故其分裂域次数为3或6。由于三次不可约多项式的分裂域次数为3（若判别式为平方）或6（否则），此处判别式 $D = -4(-6)^3 - 27(-1)^2 = 864 - 27 = 837$ 非平方，故 $[mathbb{Q}(x):mathbb{Q}] = 6$。
关键：尺规作图仅允许扩张次数为2的幂（每次添加平方根）。而 $6 = 2 times 3$ 含因子3，非2的幂，故 $cos(20^circ)$ 不可尺规作图，三等分 $60^circ$ 角不可能。
倍立方为何不可能？
古希腊问题：给定立方体边长 $a$，求边长 $x$ 使新立方体体积为 $2a^3$，即 $x^3 = 2a^3$。取 $a=1$，则 $x = sqrt[3]{2}$。多项式 $x^3 - 2$ 在 $mathbb{Q}$ 上不可约（Eisenstein判别法，$p=2$），故 $[mathbb{Q}(sqrt[3]{2}):mathbb{Q}] = 3$。
尺规作图要求扩张次数为 $2^k$，而 $3$ 非2的幂，故 $sqrt[3]{2}$ 不可构造。此即倍立方不可能的严格证明。
有趣的是，若允许使用其他工具（如阿基米德螺线、尼科梅德斯蚌线），则可三等分角或倍立方——伽罗瓦理论限制的是“仅用圆规直尺”的可能性。
次方程无一般根式解
考虑一般五次方程 $x^5 + a_4x^4 + a_3x^3 + a_2x^2 + a_1x + a_0 = 0$。其伽罗瓦群为对称群 $S_5$（阶120）。$S_5$ 的换位子群为交错群 $A_5$（阶60），而 $A_5$ 是单群（无非平凡正规子群），故无法构造可解列：
$S_5 triangleright A_5 triangleright cdots$
因 $A_5$ 单且非阿贝尔（$|A_5|=60$，最小非阿贝尔单群），商群 $A_5/{e} cong A_5$ 非阿贝尔，故 $S_5$ 不可解。因此一般五次方程不可根式求解。
但特定五次方程仍可能可解，如 $x^5 - 1 = 0$：其根为五次单位根，分裂域为 $mathbb{Q}(zeta_5)$，伽罗瓦群 $(mathbb{Z}/5mathbb{Z})^times cong mathbb{Z}/4mathbb{Z}$（循环群，故可解），解为 $zeta_5 = e^{2pi i/5}$，可用根式表示。
“为何有些五次方程能解，有些不能？”——伽罗瓦群结构决定一切！
现代视角：伽罗瓦理论的延伸与应用
代数数论中的伽罗瓦群
在代数数论中，对数域 $K$ 的绝对伽罗瓦群 $text{Gal}(overline{K}/K)$ 的研究是核心课题。例如，$K = mathbb{Q}$ 时，$text{Gal}(overline{mathbb{Q}}/mathbb{Q})$ 称为绝对伽罗瓦群，其结构未知但极其复杂。它通过其表示（如 $l$-进表示）与模形式、椭圆曲线等联系，最终导向怀尔斯证明费马大定理。
代数几何中的伽罗瓦作用
对特征 $p>0$ 的域 $k$，其绝对伽罗瓦群 $text{Gal}(overline{k}/k)$ 作用于代数簇的平展上同调群，产生 $l$-进表示。这构成Langlands纲领的基石。
物理中的对称性与守恒律
诺特定理指出：连续对称性 ⇔ 守恒律。伽罗瓦群作为对称性群，在量子力学中对应粒子的内禀对称性（如同位旋）。例如，质子与中子构成同位旋二重态，其对称性由 $SU(2)$ 群描述——这与伽罗瓦群的群论思想一脉相承。
伽罗瓦理论的哲学意义
它揭示了数学真理的“结构层次”：不是数值本身，而是它们之间的关系（对称性）决定本质。这影响了整个现代数学观——从“计算什么”转向“关系如何”。
教育中的启示
伽罗瓦理论常被视为抽象代数的“终点”，但其思想可早些渗透：高中讲复数时引入 $i$ 的置换（$i leftrightarrow -i$），大学讲多项式时分析根的对称性——让抽象思想早些扎根。
常见误解澄清
- “伽罗瓦证明五次方程无解”——他证明的是“无一般根式解”，特定方程仍可解。
- “伽罗瓦群是根的排列群”——严格说是“保持基域不变的自同构群”，其作用于根上形成置换群，但定义更本质。
- “超越数没有对称性”——超越数可有其他对称性（如 $e$ 与 $pi$ 在数论中的深刻联系），只是不属于伽罗瓦群框架。
网友还关心
伽罗瓦理论与密码学有关吗？
直接关联有限，但其思想延伸至椭圆曲线密码学：椭圆曲线上的点构成阿贝尔群，其伽罗瓦作用研究是现代密码分析基础。
如何计算伽罗瓦群？
对低次多项式：(1) 判别式；(2) 模 $p$ 约化看置换类型；(3) 检查不可约性。高次需计算机代数系统（如SageMath、Magma）。
推荐学习路径
抽象代数基础（群、环、域）→ 域扩张（代数/超越、分裂域）→ 伽罗瓦理论（基本定理、可解群）→ 应用（尺规作图、方程求解）