跳转到内容
← 返回数学家
rigorization代数学约 18 分钟阅读

伽罗瓦

Évariste Galois

法国·1811–1832
群论伽罗瓦群域扩张方程可解性

生平

埃瓦里斯特·伽罗瓦（Évariste Galois，1811—1832）是法国数学家，20岁死于决斗，留下了改变代数学的手稿。他出生于法国巴黎南郊的布尔-拉-雷讷，父亲是当地市长，母亲是法官的女儿。伽罗瓦的童年在母亲的教育下度过，12岁才进入中学。1823年，他进入巴黎的路易-勒-格朗中学。在这里，他发现了勒让德的《几何原理》和拉格朗日的《解析函数论》，激发了对数学的热情。

1828年，伽罗瓦首次报考巴黎综合理工学院（École Polytechnique），但落榜了。据说口试中考官无法理解他跳跃的论证。1829年他在父亲自杀后不久第二次报考，再次失败，从此与这所他向往的学校无缘。

1829年5—6月，伽罗瓦把关于方程可解性的论文提交给法兰西科学院，由柯西评审。流传甚广的说法是"柯西把论文弄丢了"，但这其实是后世的传奇：勒内·塔顿（René Taton）在科学院档案中发现的柯西信件证明，柯西并未遗失论文，反而对伽罗瓦的工作印象深刻，建议他修改后去角逐 1830 年的数学大奖（Grand Prix）。1830年2月，伽罗瓦遵此建议把修订稿交给科学院常任秘书傅里叶（Joseph Fourier），但傅里叶于同年4月去世，这份手稿在其遗物中遗失，从未被评审——那届大奖最终颁给了已故的阿贝尔和雅可比。

两次落榜后，伽罗瓦于1829年底进入巴黎高等师范学校的前身——高等预备学校（École préparatoire）。在这里，他迎来了生前唯一的发表高峰。1830年，在数学家斯图姆（Charles Sturm）等人的支持下，他在《费吕萨克数学科学通报》（Bulletin de Férussac）上连发三篇论文。其中6月的《论数论》（Sur la théorie des nombres）首次提出"伽罗瓦虚数"——也就是今天所说的有限域（元素个数有限的域），这是他生前最重要的成果。

1830年七月革命爆发时，高等预备学校校长吉尼奥（Guigniault）把学生锁在校内、不许上街。伽罗瓦愤而在《学校公报》（Gazette des écoles）撰文痛斥校长，于1831年1月被学校开除。

1831年1月17日，伽罗瓦应普瓦松（Siméon Denis Poisson）之邀，把第三版论文《论方程根式可解性的条件》（Mémoire sur les conditions de résolubilité des équations par radicaux）提交科学院，由普瓦松与拉克鲁瓦（Lacroix）评审。同年7月4日，普瓦松以"论证不够清晰、也不够展开，无从判断它是否严密"为由退稿，同时建议他写出更完整的阐述。这份后来公认划时代的工作，就这样第三次被科学院拒之门外。

伽罗瓦是激进的共和主义者，反对路易-菲利普的七月王朝。

1831年5月9日，他在一场为获释炮兵军官举办的宴会上举刀祝酒，被在场共和派解读为威胁国王性命，次日即遭逮捕。6月15日受审时，辩护律师称他原话是"敬路易-菲利普——如果他背叛的话"，陪审团当庭判其无罪。

同年7月14日巴士底日，伽罗瓦身穿已被解散的国民自卫军炮兵队制服、携带武器上街游行，再度被捕，以非法着制服罪判处半年监禁，关入圣佩拉吉（Sainte-Pélagie）监狱，至1832年4月29日才获释。出狱后，他与一位名叫斯特凡妮·杜·莫泰尔（Stéphanie-Félicie Poterin du Motel）的女子有过一段短暂恋情，旋即闹翻。1832年5月30日清晨，伽罗瓦在一场决斗中腹部中弹，被同伴遗弃，由过路农民发现送医，次日（5月31日）在科尚医院（Hôpital Cochin）因腹膜炎去世，年仅20岁。

决斗的起因至今成谜。大仲马把对手指认为佩舍·德埃宾维尔（Pescheux d'Herbinville），另一些史料则指向同被关押过的共和派同志埃内斯特·杜沙特莱（Ernest Duchâtelet）；动机或与那段感情有关，或是政治圈套，真相已无从查考。伽罗瓦的弟弟阿尔弗雷德守在床前，他留下的遗言是："别哭，阿尔弗雷德！我需要拿出全部勇气，才能在二十岁死去。"（Ne pleure pas, Alfred!）

决斗前夜（5月29日），伽罗瓦彻夜给好友奥古斯特·齐瓦利（Auguste Chevalier）写了一封长信，匆匆勾勒出脑中那些尚未来得及证明的思想，并嘱托齐瓦利做他的"文稿执行人"、把这些工作公之于众。信末，他请齐瓦利公开恳请雅可比或高斯就这些定理的重要性（而非真伪）发表意见。这封"数学遗嘱"于1832年9月刊出，被认为是"群"（groupe）一词首次见诸印刷品。

齐瓦利与伽罗瓦的弟弟誊抄遗稿、寄给高斯、雅可比等人，却始终未得到任何回音。直到1843年，刘维尔（Joseph Liouville）才在齐瓦利转交的手稿中读懂了伽罗瓦的工作，并于1846年将其整理发表在《纯粹与应用数学杂志》（Journal de mathématiques pures et appliquées）第11卷。沉睡十四年的思想，至此才重见天日。

核心贡献

群论的创立

伽罗瓦是群论的创始人之一。他引入了群的概念来研究方程的可解性。

群的定义：一个集合 $G$ 配备了二元运算 ⋅\cdot，满足： 1. 封闭性：a,b∈G⇒a⋅b∈Ga, b \in G \Rightarrow a \cdot b \in G 2. 结合律：(a⋅b)⋅c=a⋅(b⋅c)(a \cdot b) \cdot c = a \cdot (b \cdot c) 3. 单位元：存在 e∈Ge \in G 使得 e⋅a=a⋅e=ae \cdot a = a \cdot e = a 4. 逆元：对每个 a∈Ga \in G，存在 a−1∈Ga^{-1} \in G 使得 a⋅a−1=ea \cdot a^{-1} = e

伽罗瓦的关键洞察：方程根之间的对称性可以用群来描述，这个群被称为伽罗瓦群。

伽罗瓦理论

伽罗瓦理论是代数学中最优美的理论之一，建立了域扩张与群之间的深刻对应。

伽罗瓦对应：设 $E/F$ 是有限伽罗瓦扩张，Gal(E/F)\text{Gal}(E/F) 是伽罗瓦群。则存在一一对应：

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

K↦Gal(E/K)K \mapsto \text{Gal}(E/K) EH←HE^H \leftarrow H

其中 EH={x∈E:σ(x)=x,∀σ∈H}E^H = \{x \in E : \sigma(x) = x, \forall \sigma \in H\} 是 $H$ 的固定域。

方程可解性定理：代数方程可用根式求解，当且仅当其伽罗瓦群是可解群。

一个群 $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 是阿贝尔群。由此推出：一般五次方程的伽罗瓦群是 S5S_5（5个元素的对称群），而 S5S_5 不是可解群（因为 A5A_5 是单群），因此一般五次方程没有根式解。

具体例子

例子1：考虑方程 x3−2=0x^3 - 2 = 0。其根为 23\sqrt[3]{2}, 23ω\sqrt[3]{2}\omega, 23ω2\sqrt[3]{2}\omega^2，其中 ω=e2πi/3\omega = e^{2\pi i/3}。伽罗瓦群为 Gal(Q(23,ω)/Q)≅S3\text{Gal}(\mathbb{Q}(\sqrt[3]{2}, \omega)/\mathbb{Q}) \cong S_3，是可解群，因此可用根式求解。

例子2：一般五次方程的伽罗瓦群是 S5S_5，包含正规子群 A5A_5。A5A_5 是最小的非阿贝尔单群（60个元素），不可解，因此一般五次方程没有根式解。

正规子群与单群

伽罗瓦理论推动了正规子群和单群概念的发展。

正规子群：子群 N≤GN \leq G 是正规子群（记为 N⊴GN \trianglelefteq G），如果对所有 g∈Gg \in G，gNg−1=NgNg^{-1} = N。

单群：没有非平凡正规子群的群。

伽罗瓦发现，方程的可解性取决于伽罗瓦群的结构——特别是它是否包含"足够多"的正规子群来形成可解列。

历史背景

伽罗瓦生活在法国大革命后的动荡时期。他既是数学天才，又是激进的共和主义者。他的数学工作和政治活动交织在一起——他的急躁性格既导致了论文的多次被拒，也导致了最终的决斗。在数学方面，拉格朗日已经意识到根的置换对研究方程可解性的重要性。阿贝尔证明了一般五次方程不可解。伽罗瓦在此基础上建立了完整的理论框架——他不仅证明了不可解性，还给出了判断任意特定方程是否可解的方法。

思想遗产

伽罗瓦的影响深远而持久：

  1. 群论：成为现代代数学的基础，应用于几何学、物理学和密码学
  2. 域论：伽罗瓦理论推动了抽象域论的发展
  3. 方程理论：彻底解决了代数方程的可解性问题
  4. 抽象代数：伽罗瓦的结构观点启发了诺特等人的抽象代数研究
  5. 有限单群分类：伽罗瓦理论是有限单群分类的基础

与其他数学家的关系

  • 阿贝尔：阿贝尔和伽罗瓦独立解决了五次方程问题，但方法不同
  • 拉格朗日：伽罗瓦的置换思想源自拉格朗日
  • 柯西：评审了伽罗瓦1829年的论文；与流行说法相反，柯西并未弄丢手稿，而是建议他改投1830年数学大奖（据塔顿对档案的研究）
  • 普瓦松：1831年与拉克鲁瓦评审伽罗瓦的第三版论文，因看不懂其论证而退稿——这是科学院对伽罗瓦最著名的一次拒绝
  • 刘维尔：1846年整理发表了伽罗瓦的遗稿
  • 诺特：继承并发展了伽罗瓦的结构观点
  • 阿廷：用现代语言重写了伽罗瓦理论

数学之外

伽罗瓦不仅是数学天才，也是法国大革命后动荡时代的产物。他的急躁性格既推动了数学创新，也把他一次次卷入政治风波，最终推向决斗场。

值得提醒的是，后世为这位早夭天才叠加了大量传奇——柯西"弄丢论文"、决斗前夜"通宵写下全部数学"等说法广为流传。罗思曼（Tony Rothman）1982年在《美国数学月刊》上的考证指出，这些情节多有夸张：伽罗瓦的核心思想在入狱前就已基本成形，决斗之夜他更多是在誊清、批注旧稿，而非凭空创造。剥去神话，留下的事实依旧惊人——他用一生仅约60页的数学手稿，彻底改变了代数学的面貌，影响了从抽象代数到粒子物理学的广泛领域。

伽罗瓦域与编码理论

伽罗瓦理论的一个直接应用是有限域（伽罗瓦域）GF(pn)\text{GF}(p^n) 的构造。有限域之所以又称"伽罗瓦域"，正是因为伽罗瓦早在1830年的《论数论》中就以"伽罗瓦虚数"的形式率先研究过它们。对任意素数 $p$ 和正整数 $n$，存在唯一的（同构意义下）pnp^n 元有限域。有限域的乘法群 GF(pn)×\text{GF}(p^n)^\times 是 pn−1p^n - 1 阶循环群。有限域在现代技术中有广泛应用：

  • 里德-所罗门码：基于 GF(28)\text{GF}(2^8) 的纠错码，用于 CD、DVD、QR 码和深空通信
  • AES 加密：高级加密标准使用 GF(28)\text{GF}(2^8) 上的运算进行字节替换
  • 椭圆曲线密码学：定义在 GF(p)\text{GF}(p) 或 GF(2n)\text{GF}(2^n) 上的椭圆曲线群

这些应用的数学基础都可以追溯到伽罗瓦的域论工作。

伽罗瓦理论的现代发展

伽罗瓦理论在 20 世纪经历了深刻的推广。格罗滕迪克的平展基本群将伽罗瓦对应推广到代数几何：对于概形 $X$，平展基本群 π1eˊt(X)\pi_1^{\text{ét}}(X) 的有限商分类了 $X$ 的所有有限平展覆盖。这使得数论中的伽罗瓦表示成为可能——怀尔斯证明费马大定理的核心工具正是椭圆曲线的伽罗瓦表示。朗兰兹纲领进一步将伽罗瓦群的表示与自守形式联系起来，形成了现代数论的核心框架。可以说，伽罗瓦在 1832 年决斗前夜写下的 60 页手稿，开启了代数学最深远的研究方向。

伽罗瓦理论的另一个深远影响是逆伽罗瓦问题：给定有限群 $G$，是否存在 Q\mathbb{Q} 的伽罗瓦扩张使其伽罗瓦群同构于 $G$？这个问题至今未完全解决——已知所有有限可解群和许多单群（如 AnA_n、Sp6(F2)\text{Sp}_6(\mathbb{F}_2)）可以实现，但一般情形仍是开放问题。

跨域连接

  • 群：他留下的与其说是一个定理，不如说是一种提问方式：不去直接找解，而先问这个对象的对称群长什么样。推论是：一旦对称群被算出来，"能不能做到"往往就变成了群的性质问题，与具体技巧的巧拙无关。
  • 手性与旋光：分子的对称操作构成一个点群，只要群里含有反映或反演这类改变手性的操作，分子就能与自己的镜像重合。推论是：含对称中心的分子必定没有旋光性——判定点群就能在动手测量之前排除掉一整类可能，这是群论最日常的用法。
  • 方法论的传承：物理学后来把"先找对称群"当成理解一个系统的第一步，这条路线在方法上直接承自他。推论是：这解释了为什么现代理论构造常常从"这里该有什么对称"开始，而不是从"该写下什么方程"开始。
  • 群作为压缩表示：用少数几个生成元加一条陪集链，就能描述一个大到无法枚举的群，从而在不列出任何一个元素的前提下算出它的阶、判定某个置换是否属于它。推论是：图同构这类问题的难度，与其自同构群的结构直接绑定，群越"整齐"判定越容易。
  • 科学社会学：一门全新的语言在没有教科书和统一术语之前，同行无从检验它对不对。推论是：术语稳定之前，同一批想法被不同人反复独立重建是常态而非巧合；把发现算成"谁更早"，往往掩盖了传播通道才是真正的瓶颈。

延伸阅读

  1. Évariste Galois, Écrits et mathématiques (1962)
  2. Laura Toti Rigatelli, Évariste Galois 1811–1832 (1996)
  3. 梁宗巨, 《数学历史典故》, 辽宁教育出版社, 1992
  4. Ian Stewart, Galois Theory (2015)
  5. Victor Katz, A History of Mathematics: An Introduction (2008)

「我没有时间了。」（Je n'ai pas le temps）——这句话写在伽罗瓦手稿"命题一"旁的页边。后人常把它想象成决斗前夜的仓促哀鸣；但塔内里（Jules Tannery）1908年整理遗稿时指出，这处批注笔迹平静，很可能出自更早的初稿，未必与那个不眠之夜有关。

参考文献

  1. Peter M. Neumann, The Mathematical Writings of Évariste Galois, Heritage of European Mathematics, European Mathematical Society, 2011.（伽罗瓦全部数学手稿的法英对照校勘本，附详尽史料考证）
  2. René Taton, «Les relations d'Évariste Galois avec les mathématiciens de son temps», Revue d'histoire des sciences et de leurs applications, tome 1, 1947.（依据科学院档案厘清柯西、傅里叶、普瓦松与伽罗瓦的往来）
  3. Tony Rothman, "Genius and Biographers: The Fictionalization of Évariste Galois", American Mathematical Monthly, 89(2), 1982, 84–106.（逐一辨析伽罗瓦传记中的传说与史实）
  4. Caroline Ehrhardt, Évariste Galois: La fabrication d'une icône mathématique, Éditions de l'EHESS, 2011.（从科学社会学角度考察伽罗瓦如何被塑造为数学偶像）
  5. J. Liouville (éd.), «Œuvres mathématiques d'Évariste Galois», Journal de mathématiques pures et appliquées, XI, 1846, 381–444.（一手文献：伽罗瓦遗著的首次正式发表）