跳转到内容
← 返回概念
代数约 18 分钟阅读

伽罗瓦理论

Galois Theory

关键人物

galoisabelartin
代数伽罗瓦理论方程论群论域论

破除误解：五次方程不是"还没找到公式"，而是"公式根本不存在"

二次方程有求根公式，这人人都背过。三次、四次方程也有——只是更长更丑。于是几乎所有人都会顺理成章地猜：五次方程的公式只是更复杂、更难找罢了，总有一天会被某个天才写出来。整整三百年，最聪明的头脑都朝这个方向使劲，无一成功。伽罗瓦理论给出的答案彻底颠覆了这个预期：用加减乘除和开方写出的五次方程通解，根本不存在——这不是能力问题，是原则上的不可能。

伽罗瓦的天才洞察在于换了一个全新的视角。他不去硬碰方程本身，而是去研究方程那几个根之间能被怎样对称地置换——哪些"打乱根的方式"不会破坏它们满足的代数关系。这些置换组成一个群，叫伽罗瓦群。于是一个关于"能不能开方解出来"的分析问题，被翻译成了一个关于"这个群的结构长什么样"的纯粹问题。

结论惊人地干净：一个方程能用根式求解，当且仅当它的伽罗瓦群是可解群。一般二、三、四次方程的群恰好可解，所以有公式；而一般五次方程的群是 S5S_5，它不可解，所以公式注定不存在。这就是伽罗瓦理论的灵魂——它在域（数的世界）与群（对称的世界）之间架起一座桥，让看似无从下手的问题，在另一岸变得一目了然。

定义

伽罗瓦理论（Galois Theory）是域论与群论之间的深刻桥梁，它将域扩张的结构性质转化为群论问题。

核心思想：给定一个域扩张 $K/F$，其伽罗瓦群 Gal(K/F)\text{Gal}(K/F) 是所有保持 $F$ 中元素不动的 $K$ 的自同构的集合。伽罗瓦理论的基本定理建立了中间域与伽罗瓦群的子群之间的一一对应：

{F 的中间域}⟷{Gal(K/F) 的子群}\{F \text{ 的中间域}\} \longleftrightarrow \{\text{Gal}(K/F) \text{ 的子群}\}

这一对应将域的代数性质转化为群的结构性质——使得许多域论问题可以用群论方法解决。

历史演变

伽罗瓦理论起源于19世纪初对方程可解性的研究。拉格朗日在1770年分析了三次和四次方程的求根公式，发现其关键在于根的置换。鲁菲尼（Paolo Ruffini）在1799年证明了一般五次方程不能用根式求解，但证明有缺陷。阿贝尔在1824年给出了严格的证明。

伽罗瓦在1830年代将这些结果推广为完整的理论。他的关键洞察是：方程的可解性取决于其伽罗瓦群的结构。一般五次方程的伽罗瓦群是 S5S_5（五次对称群），而 S5S_5 不是可解群——因此一般五次方程不能用根式求解。

阿廷在1942年的《伽罗瓦理论》小册子中将伽罗瓦理论从具体的方程论中抽象出来，建立了现代伽罗瓦理论的框架——用群论的语言描述任意域扩张的结构。

关键人物

伽罗瓦（1811—1832）是数学史上最传奇的人物之一。他在20岁时死于一场政治决斗，留下了改变代数学面貌的手稿。伽罗瓦的核心洞察是将方程的可解性问题转化为群的结构性质——这一思想影响了整个19世纪和20世纪的代数学。

阿贝尔（1802—1829）是挪威数学家，伽罗瓦的先驱。他证明了一般五次方程不能用根式求解，并发展了阿贝尔方程（具有交换伽罗瓦群的方程）的理论。

数学意义

伽罗瓦理论的核心结果：

  1. 伽罗瓦基本定理：中间域与伽罗瓦群的子群之间的一一对应
  2. 方程的可解性判据：方程可用根式求解当且仅当其伽罗瓦群是可解群
  3. 尺规作图的不可能性：三等分角和倍立方不可能——因为对应的域扩张次数不是2的幂
  4. 有限域的结构：Fpn\mathbb{F}_{p^n} 的伽罗瓦群是 $n$ 阶循环群
  5. 代数基本定理：可以用伽罗瓦理论证明 C\mathbb{C} 是代数闭域

伽罗瓦的悲剧人生

埃瓦里斯特·伽罗瓦（1811—1832）的一生是数学史上最令人心碎的故事。他出生于法国一个中产家庭，16岁才正式接触数学，但在短短四年内就创造了改变代数学面貌的理论。

伽罗瓦两次报考巴黎综合理工学院均落榜——据说第二次是因为他在考试中向考官扔了一块擦布。他进入巴黎高等师范学校，但因参与共和派政治活动被开除。1831年，他因政治罪名被捕入狱。

1832年5月30日，年仅20岁的伽罗瓦在一场"爱情与政治纠葛"的决斗中丧生。决斗前夜，他将所有数学手稿寄给了好友奥古斯特·舍瓦利耶，附信中写道："我没有时间了"（Je n'ai pas le temps）。这些手稿直到1846年才由刘维尔发表，1870年代由若尔当系统整理，最终成为现代代数学的基石。

域扩张理论

域扩张：若 $K$ 是域 $F$ 的扩域，记作 $K/F$。$K$ 可以看作 $F$ 上的向量空间，其维数 [K:F]=dim⁡FK[K:F] = \dim_F K 称为扩张次数。

代数扩张：α∈K\alpha \in K 是 $F$ 上的代数元，若存在非零多项式 f∈F[x]f \in F[x] 使得 f(α)=0f(\alpha) = 0。α\alpha 的极小多项式是满足此条件的最低次首一多项式。$[F(\alpha):F] = \deg(\text{极小多项式})$。

分裂域：多项式 f∈F[x]f \in F[x] 的分裂域是包含 $f$ 的所有根的最小扩域。例如 x2−2x^2 - 2 在 Q\mathbb{Q} 上的分裂域是 Q(2)\mathbb{Q}(\sqrt{2})。

正规扩张：$K/F$ 是正规扩张，若 $K$ 是 $F$ 上某族多项式的分裂域。正规扩张中，不可约多项式若有一个根在 $K$ 中，则所有根都在 $K$ 中。

伽罗瓦群与伽罗瓦对应

伽罗瓦群 $\text{Gal}(K/F) = \{\sigma: K \to K \mid \sigma \text{ 是自同构且 } \sigma|_F = \text{id}\}$。

伽罗瓦基本定理：设 $K/F$ 是有限伽罗瓦扩张，则存在中间域与 Gal(K/F)\text{Gal}(K/F) 的子群之间的反序一一对应： H↦KH={x∈K:σ(x)=x,∀σ∈H}H \mapsto K^H = \{x \in K : \sigma(x) = x, \forall \sigma \in H\} 满足：(1) [K:F]=∣Gal(K/F)∣[K:F] = |\text{Gal}(K/F)|；(2) [K:KH]=∣H∣[K:K^H] = |H|；(3) $H$ 是正规子群当且仅当 KH/FK^H/F 是正规扩张。

五次方程不可解性

可解群：群 $G$ 是可解的，若存在正规列 {e}=G0⊴G1⊴⋯⊴Gn=G\{e\} = G_0 \trianglelefteq G_1 \trianglelefteq \cdots \trianglelefteq G_n = G 使得每个商群 Gi+1/GiG_{i+1}/G_i 是阿贝尔群。

核心定理：$F$ 上的多项式 $f$ 可用根式求解，当且仅当 $f$ 的伽罗瓦群是可解群。

S5S_5 不可解：五次对称群 S5S_5 的唯一非平凡正规子群是 A5A_5（交错群），而 A5A_5 是单群——没有非平凡正规子群。因此 S5S_5 没有阿贝尔正规列，不是可解群。

结论：一般五次方程 x5+a4x4+⋯+a0=0x^5 + a_4 x^4 + \cdots + a_0 = 0 的伽罗瓦群是 S5S_5（对一般系数），因此不能用根式求解。这并非因为我们"不够聪明"找到公式，而是数学上证明了这样的公式不可能存在。

尺规作图的不可能性

伽罗瓦理论给出了三大古希腊尺规作图问题的最终答案：

三等分角不可能：尺规作图可以构造的数属于 Q\mathbb{Q} 的二次扩张塔。cos⁡20°\cos 20° 满足 8x3−6x−1=08x^3 - 6x - 1 = 0，这是 Q\mathbb{Q} 上的三次不可约多项式。[Q(cos⁡20°):Q]=3[\mathbb{Q}(\cos 20°) : \mathbb{Q}] = 3 不是 2 的幂，因此 cos⁡20°\cos 20° 不能用尺规构造——三等分 $60°$ 角不可能。

倍立方不可能：将立方体体积加倍需要构造 23\sqrt[3]{2}，而 [Q(23):Q]=3[\mathbb{Q}(\sqrt[3]{2}) : \mathbb{Q}] = 3 不是 2 的幂。

化圆为方不可能：这需要构造 π\sqrt{\pi}。林德曼（1882）证明 π\pi 是超越数——不是任何整系数多项式的根。因此 π\pi 不在 Q\mathbb{Q} 的任何代数扩张中。

具体例子

二次扩张：x2−2x^2 - 2 在 Q\mathbb{Q} 上的分裂域是 Q(2)\mathbb{Q}(\sqrt{2})。Gal(Q(2)/Q)={id,σ}\text{Gal}(\mathbb{Q}(\sqrt{2})/\mathbb{Q}) = \{id, \sigma\}，其中 σ(2)=−2\sigma(\sqrt{2}) = -\sqrt{2}。这是一个 2 阶循环群。

分圆域：Q(ζn)\mathbb{Q}(\zeta_n)，其中 ζn=e2πi/n\zeta_n = e^{2\pi i/n} 是 $n$ 次单位根。Gal(Q(ζn)/Q)≅(Z/nZ)×\text{Gal}(\mathbb{Q}(\zeta_n)/\mathbb{Q}) \cong (\mathbb{Z}/n\mathbb{Z})^{\times}——乘法群。由于 (Z/nZ)×(\mathbb{Z}/n\mathbb{Z})^{\times} 是阿贝尔群，分圆扩张的伽罗瓦群总是可解的——对应的方程总可以用根式求解。

一般四次方程：x4+a3x3+a2x2+a1x+a0=0x^4 + a_3 x^3 + a_2 x^2 + a_1 x + a_0 = 0 的伽罗瓦群是 S4S_4。S4S_4 有正规列 {e}⊴V4⊴A4⊴S4\{e\} \trianglelefteq V_4 \trianglelefteq A_4 \trianglelefteq S_4，商群分别为 V4V_4、Z3\mathbb{Z}_3、Z2\mathbb{Z}_2——都是阿贝尔群。因此 S4S_4 是可解群，四次方程可以用根式求解。

核心概念辨析

  • 伽罗瓦群 vs 对称群：伽罗瓦群是多项式的根的置换群的子群
  • 可解群 vs 单群：可解群有正规列使其商群都是阿贝尔群，单群没有非平凡正规子群
  • 正规扩张 vs 可分扩张：正规扩张包含多项式的所有根，可分扩张的极小多项式无重根
  • 有限伽罗瓦 vs 无限伽罗瓦：无限伽罗瓦理论需要克鲁尔拓扑

当代应用

伽罗瓦理论在现代数学中有深远影响。在代数数论中，类域论描述了数域的阿贝尔扩张——这是伽罗瓦理论的深刻推广。在代数几何中，概形的平展基本群是伽罗瓦群的几何推广。在编码理论中，有限域的伽罗瓦结构用于构造里德-所罗门码。在密码学中，离散对数问题的困难性与有限域的乘法群的结构有关。

跨域连接

  • 哥德尔不完备定理：两者是同一套论证：先给对象配一个不变量——方程配它的对称群，命题配它的可证性——再证明目标要求的取值超出该不变量的可能范围。推论是：这类结论一旦成立就永久成立，不会被更聪明的技巧推翻。
  • 不可判定性：证明"没有算法能判定任意程序是否停机"，靠的是把所有候选方法统一编码进一个对象，再逼出自指矛盾。推论是：不可能性总是相对于一份事先划定的手段清单；给模型加上新的原始操作，同一份证明就不再适用。
  • 不可能性定理：这类结果说的是几条看似温和的公理不可能同时满足，而不是"还没有人设计出足够好的制度"。推论是：任何声称绕开它的方案，必定放弃了其中某一条公理；找出被放弃的究竟是哪一条，就能立刻评估这个方案付出的真实代价。
  • 贝尔不等式：它同样是排除式论证——不去构造理论，而是证明整整一类理论给出的关联有一个上界，实验一旦越界，这一整类就集体出局。推论是：被证伪的不是某个具体模型，而是一整片可能性，因此不存在"再调调参数"的余地。
  • 数学哲学：三等分角在尺规下不可能，但允许折纸这类新操作后就可行。推论是：读到"证明不可能"时，第一件事是问清允许用什么工具，否则这句话很容易被误读成"人类永远做不到"，而它其实只是关于一份工具清单的陈述。

为什么这很重要

伽罗瓦理论不仅解决了方程可解性问题——它开创了一种全新的数学思维方式：用对称性（群）来理解结构（域）。这一思想影响了整个19世纪和20世纪的代数学，成为现代数学的核心方法论之一。

从不可能性到正面理论。伽罗瓦理论最初回答的是"不可能"的问题——五次方程不能用根式求解。但它的发展远超这一负面结果。类域论——描述数域的阿贝尔扩张的理论——是伽罗瓦理论在代数数论中的深刻推广。朗兰兹纲领（Langlands Program）试图将伽罗瓦群的表示与自守形式联系起来——这是当代数学中最宏大的统一计划之一，被称为"数学的大统一理论"。彼得·舒尔策（Peter Scholze）于2011年（年仅23岁）引入的"类完美空间"（perfectoid spaces）重塑了 p 进算术几何并推进了朗兰兹纲领的 p 进部分，他因此于2018年获菲尔兹奖，是当代伽罗瓦理论传承的代表人物。

伽罗瓦域在工程中的应用。有限域 Fpn\mathbb{F}_{p^n} 也被称为伽罗瓦域 GF(pn)GF(p^n)，在工程中有广泛应用。里德-所罗门码（Reed-Solomon code）基于伽罗瓦域的多项式运算，是CD、DVD和QR码中纠错码的基础。AES加密算法（高级加密标准）在 GF(28)GF(2^8) 上进行字节替换运算。5G通信中的极化码也使用了伽罗瓦域的代数结构。没有伽罗瓦理论提供的有限域理论，现代数字通信和信息安全就不可能实现。

常见误区

  • "五次方程不能求解"：准确的说法是"一般五次方程不能用根式求解"——即不能用有限次加减乘除和开方运算表示解。特殊五次方程（如 x5−1=0x^5 - 1 = 0）当然可以求解。而且一般五次方程可以用超越函数（椭圆模函数）求解——赫尔米特（Hermite）在1858年用椭圆模函数给出了一般五次方程的解，克罗内克（Kronecker）和布里奥斯基（Brioschi）同年独立得到类似结果。
  • "伽罗瓦理论太抽象，没有应用"：有限域是数字通信和密码学的基础——每一次QR码扫描、每一次安全通信都依赖于伽罗瓦域的代数结构。
  • "伽罗瓦群总是对称群"：伽罗瓦群是多项式根的置换群的子群，不一定是完整的对称群。当伽罗瓦群恰好是对称群 SnS_n 时（如一般五次方程的 S5S_5），方程不可用根式求解。

伽罗瓦理论的现代发展

伽罗瓦理论在20世纪经历了深刻的推广。无穷伽罗瓦理论用克鲁尔拓扑描述无限扩张的伽罗瓦群——这为代数数论中的类域论提供了框架。概形理论中的平展基本群是伽罗瓦群的几何推广——它将伽罗瓦对应推广到代数几何的语境中。安德烈·韦伊（André Weil）在1940年代提出了"韦伊猜想"——用伽罗瓦群的作用来计算代数簇在有限域上的点数——这将伽罗瓦理论与代数几何和数论深刻联系起来。格罗滕迪克（Alexander Grothendieck）的"远阿贝尔几何"计划试图从伽罗瓦群的结构中恢复代数簇的几何——这代表了伽罗瓦理论的最深远推广。

伽罗瓦理论的教育意义

伽罗瓦理论的美在于它展示了数学中"翻译"的力量——将一个困难的问题（方程的可解性）翻译为一个更容易处理的问题（群的结构）。这种思维方式在数学中反复出现：拉普拉斯变换将微分方程翻译为代数方程，傅里叶变换将时域问题翻译为频域问题，对偶理论将原始优化问题翻译为对偶问题。伽罗瓦理论教给我们的不仅是一个特定的数学结果——它教给我们一种思维方式：寻找正确的"翻译"，将困难的问题转化为可解的问题。这也是为什么伽罗瓦理论被视为代数学皇冠上的明珠——它不仅是技术上的突破，更是方法论上的革命。

参考文献

  1. Évariste Galois, "Mémoire sur les conditions de résolubilité des équations par radicaux" (1831).
  2. Emil Artin, Galois Theory (1942).
  3. Ian Stewart, Galois Theory (4th ed., 2015).
  4. 莫宗坚, 《代数学》, 北京大学出版社, 2002.
  5. David Cox, Galois Theory (2nd ed., 2012).

伽罗瓦理论把多项式方程的可解性转化为其伽罗瓦群的结构问题。由于五次以上一般方程的伽罗瓦群（对称群 S5S_5 等）不可解，故无求根公式；它还解决了尺规作图三大难题（倍立方、三等分角、化圆为方）。