伽罗瓦理论：无解的方程
伽罗瓦的群论，拉开了现代数学的帷幕。
1832年，自知将死的伽罗瓦奋笔疾书，洋洋洒洒地写了一篇几乎没有人关注、只有32页纸的数学论文，并时不时在一旁写下“我没有时间”。
第二天，他毅然参与决斗并不幸身亡，一个瘦弱却极富激情的天才就这样走了，他的生命只有21岁！
之后的14年里，始终没有人能彻底弄明白伽罗瓦写的到底是什么。包括那个时代最顶尖的数学家、物理学家——高斯、柯西、傅里叶、拉格朗日、雅可比、泊松……他们无一人能真正理解伽罗瓦的理论。
谁也没有想到，这个21岁毛头小伙子的绝笔理论，开创了现代代数学的先河。
“跳出计算，群化运算，按照它们的复杂度而不是表象来分类，我相信，这是未来数学的任务。”伽罗瓦留下的这句话，直至今天，仍然像闪电一样划过夜空。
群论：现代代数学的来临为什么数学家对五次方程如此迷恋？因为在五次方程的求解过程中，数学家们第一次凿开了隐藏在冰山下的现代科学，数学开始逐步进入到精妙的群论 1领域。
群论开辟了一块全新的战场，以结构研究代替计算，把从偏重计算研究的思维方式转变为用结构观念研究的思维方式，并把数学运算归类，使群论迅速发展成为一个崭新的数学分支，对近世代数的形成和发展产生了巨大影响。
群论的出现，同样奠定了20世纪的物理基础。从此，统治人类近200年的牛顿机械宇宙观开始迈入随机和不确定性的量子世界和广袤无垠的时空相对论。
一场空前伟大的科学革命如疾风骤雨般降临，甚至延续至今。杨振宁的规范场论建立了当代粒子物理的标准模型，它的基础就是群论中的李群 2和李代数，专门描述物理上的对称性。
如今的物理和数学显然已经无法想象没有群论的日子，算术和拓扑的交融是现代数学中一个极其神秘的现象，伽罗瓦群则在其中扮演着重要的角色。
认真观察伽罗瓦群与拓扑中的基本群 3，会发现两者十分相似。为了更深入地理解拓扑本质，20世纪数学界顶级天才格罗滕迪克提出了今天仍然神秘的Motive理论，而伽罗瓦的理论在这里可以看作零维的特殊情况。
另一种不同角度的观点则认为，伽罗瓦群（基本群）完全决定了一类特殊的几何对象，这是格罗滕迪克提出的anabelian理论。值得一提的是，近年来因宣称证明了abc猜想而引起热议的望月新一 4，他的理论研究也属于这一方向。
而在代数数论中，伽罗瓦群是最核心的对象，它与“表示论”的融合则是另一个现代数学的宏伟建筑——朗兰兹纲领 5的梦想，其与上面提到的Motive理论也是有机结合在一起的，它们共同构成了我们称之为算术几何领域中壮阔的纲领蓝图。
但这仅仅是伽罗瓦理论的现代演化的一部分，不过也是最激动人心的一部分。
五次方程究竟有没有求根公式？我们重新回到群论诞生的源头，那个数百年的历史难题：一般的五次方程是否有通用的根式求解？
这本质上涉及的是数学史上最古老也最自然的一个问题：求一元多次方程的根。
早在古巴比伦时期，人们就会解二次方程。任何二次方程ax2+bx+c=0 ( a≠0) ，现在我们会熟稔地运用其求根公式进行求解。而三次方程和四次方程的求解直到16世纪中期才被解决，中间跨越了三千多年的悠悠岁月，最后在塔尔塔利亚、卡尔达诺、费拉里等数学大师的明争暗斗下，三次方程求解公式——卡尔达诺公式 6诞生。四次方程的求解则比人们预想的要快得多，费拉里十分机智地学会了师傅卡尔达诺的三次方程根式解法后，巧用降阶法获得四次方程的根式解法。对此，数学家们野心膨胀，开始相信所有的一元多次方程都能找到相应的求解公式。
然而，就当所有人都认为五次方程的解法会接踵而至时，在之后的两百多年间却一直成果寥寥，诸多高手为它前赴后继，最终却徒劳无功。
最先为五次方程求解提供新思路的是数学界的“独眼巨人”欧拉，他把任何一个全系数的五次方程转化为x5 + ax + b = 0的形式。出于对这一优美表达的倾心，欧拉自以为是地认为可以找出五次方程的通解公式，最终却一无所获。
与此同时，数学天才拉格朗日也在为寻找五次方程的通解公式而废寝忘食。借鉴费拉里将四次方程降阶为三次方程的历史经验，他如法炮制。遗憾的是，同样的变换却将五次方程升阶为了六次方程。
自此，数学家的脚步被五次方程这一关卡死死拦住，寻找一元多次方程通解公式的进展一度陷入迷局。而有关多次方程的争论，当时主要集中在了如下两大问题上。
（1）对N次方程，至少都有一个解吗？
（2）N次方程如果有解，那么它会有多少个解呢？
数学王子高斯出马了，他挥动如椽巨笔，一扫数学家们前进的障碍。1799年，他证明了每个N次方程都有且只有N个解。于是，他推论出五次方程必然有五个解，但是这些解都可以通过公式表达出来吗？
拨开迷雾之后，这个难题仍然浮现在人们眼前，五次方程究竟是否有通解公式的疑问依旧困扰着人类，挥之不去。
一波三折蒙尘的天才历经几百年的折腾，19世纪初的数学帝国显然已经被五次方程摧残得心灰意冷，才会一连“打压”两个当时最为璀璨的少年天才。一个是年方26岁的挪威青年阿贝尔，另一个是只有21岁的法国才俊伽罗瓦。
1824年，阿贝尔发表了《一元五次方程没有代数一般解》的论文，首次完整地给出了一般的五次方程用根式不可解的证明，这是人类第一次真正触碰到五次方程求解的真谛。面对这个来自北欧的无名小子，数学家们纷纷摇头，根本不相信这个难题能就此被解答。柯西收到论文后，将此弃之一旁，随意地丢进了办公桌的某个抽屉里；高斯则在轻轻扫了一眼后，只留下一句“这又是哪种怪物”的评论。
尽管这位稀有的天才最终沉疴缠身，因病去世，他的论文却成功揭示了高次方程与低次方程的不同，证明了五次代数方程通用的求根公式是不存在的。
阿贝尔的这一证明使数学从此挣脱了方程求解和根式通解的思想束缚，颠覆性地提出，一个通过方程系数的加减乘除和开方来统一表达的根式，并不能用来求解一般的五次方程。
可如何区分、判定哪些方程的解可以用简单的代数公式（系数根式）来表达，哪些方程又不能呢？这一问题，阿贝尔并没有给出完美的答案。
直到伽罗瓦横空出世，高次方程的求解才真正坠落凡尘。
有人说伽罗瓦是人类历史上最具才华的数学大师，是天才中的天才，是被神所嫉妒的人，神害怕这样的人类存在，甚至不愿意看到与他有交往的人活着，于是想方设法地打击他、折磨他，直到他21岁决斗身亡。
1830年，19岁的伽罗瓦用一篇论文打开了一个更为广阔的抽象代数世界。他引入了一个新的概念——群，以一种更完整而有力的方式，证明了一元n次方程能用根式求解的一个充分必要条件是该方程的伽罗瓦群为可解群（有限群 7）。
由于一般的一元n次方程的伽罗瓦群是n个文字的对称群Sn，而当n≥5时Sn不是可解群，这就是导致四次方程可解，而五次方程等高次（大于四次）方程不可解的根本原因。
伽罗瓦以绝世才华打开了隐藏几百年的“群论”领域，他兴奋地把他的论文交给了当时的数学大师柯西，结果与阿贝尔得到的待遇并无两样，柯西答应完转眼就忘记了，甚至把伽罗瓦的论文摘要也弄丢了。
伽罗瓦又将方程式论写成三篇文章，自信满满地提交资料参加数学大奖，然而资料被送到傅里叶手中后，傅里叶没多久就去世了，伽罗瓦的论文再次蒙尘。
伽罗瓦在泊松的鼓励下向法国科学院递交了新的论文，两面派的泊松却又说伽罗瓦的理论“不可理解”。年轻气盛、满腹才华的伽罗瓦怒火中烧，觉得数学这个领域没什么意思，当即把全部力量投入政治运动中，且说出“如果需要一具尸体来唤醒人民，我愿意献出我的”这样的激烈言辞。数理领域的顶尖天才变成了新时代的愤青，对世界充满了愤怒。
随后的机缘巧合，让伽罗瓦在政治活动中偶遇了他生命中的女神，并为其神魂颠倒，赴汤蹈火。这是一个有夫之妇的神秘女子，她的丈夫同伽罗瓦的性格如出一辙，狂暴易怒，两人为此争吵决斗。最终，伽罗瓦在决斗中不幸死去。
或许是神灵对伽罗瓦的命运有所愧疚，冥冥中让伽罗瓦在死前整理遗稿，并将成果托付给了他的朋友奥古斯特·谢瓦利埃。朋友不负嘱托，把遗稿寄给了高斯与雅可比，却没有得到回应。到了1843年，法国数学家刘维尔慧眼识才，不仅肯定了伽罗瓦的群论思想，还将一元五次方程无解的根本原因公布于众。至此，伽罗瓦的天资与贡献才被世人所知。
伽罗瓦群代数学新篇章就这样，经过三百多年的坎途后，五次方程终于被人们揭开了神秘面纱。自此，一条通往现代群论的铁路开始悄然搭建，代数学也迎来了新的篇章。
事实上，当初的阿贝尔和伽罗瓦并没有证明五次多项式方程无解，而是证明了一件更为微妙的事，即假定了这些解的存在，但代数运算操作（加减乘除与开任意次方）都不足以表达这些解。回想一下，前面提到低次方程的解都能只用代数运算操作表达。而在这个证明过程中，伽罗瓦表现出了他的惊世才华，敏锐地洞察到了多项式的解的对称性可以由多项式本身观察到而不必求解，而这一对称性本身完全决定了其解是否存在根号表达式。
以最标准的五次多项式方程为例：
假定这一方程有r1、r2、r3、r4、r5共五个根，则原标准的五次多项式的每一个系数都是根的一个对称函数。例如，a=-(r1 + r2 + r3 + r4+ r5)、b=r1r2 + r1r3 + r1r4 + r1r5 + r2r3 + r2r4 + r2r5 + r3r4 + r3r5 + r4r5 。通过观察这些公式，伽罗瓦注意到，按任意方式排列这些根，如把r1、r2对调，并不会改变这一表达式，各项会以不同的方式排列，但总和始终不变。五个数字有120种不同的排列方式，因此一个标准的五次多项式有120种对称方式。为了描述这种对称性，伽罗瓦创造了群的概念。根据由120种排列方式组成的群不允许出现方程要求的塔形子群，伽罗瓦证明出一个有根式解的五次多项式方程可允许的最高排列是20。
这样，伽罗瓦实际上就解决了阿贝尔没有解决的问题，为确定哪些多项式方程有根式解而哪些没有提供了明确的判别标准。假如现在你面前有一个多项式，它的伽罗瓦群有不超过20个元素，那它就有根式解。
发现了伽罗瓦群这一解决五次方程的制胜秘诀后，伽罗瓦继续披荆斩棘，成功地证明了当n≥5时n次交错群是非交换的单群，是不可解的。而一般的n次方程的伽罗瓦群是n次对称群的子群，因而一般五次和五次以上的方程不可能用根式解就是其一个直接的推论。
如果到这里觉得画面还是有些模糊，那我们再详细地解读下。设f (x)是域 8F上一个不可约多项式，假定它是可分的。作为f (x)的分裂域 9E，E对于F的伽罗瓦群实际上就是f (x)=0的根集上的置换群 10，而E在F的中间域就对应于解方程f (x)=0的一些必要的中间方程。方程f (x)=0可用根式解的充分必要条件是E对于F的伽罗瓦群是可解群。所以当n≥5时n次交错群不可解。
伽罗瓦这套使用群论证明的绝技最终成功破解了方程可解性的奥秘，清楚地阐述了为何高于四次的方程没有根式解，而四次及四次以下的方程有根式解，甚至借此完成了一次纵向穿越，解决了古代三大作图问题中的两个，即“不能三等分任意角 11”和“倍立方不可能 12”。
这些都为数学界做出了巨大的贡献，有关“群”“域”等概念的引入更是抽象代数的萌芽。因此，人们将伽罗瓦的成果整理为伽罗瓦理论。伽罗瓦理论发展至当代，它已然不负人们的期望，成为当代代数与数论的基本支柱之一，功勋卓越。
结语来自造物主的嫉妒这场用汗水和生命浇灌出来的理论之花终于在三次方程求解成功的三百多年后绽放，曾经困扰了人类千百年来的高阶谜团也终被伽罗瓦理论一并解答。
法国数学家毕卡在评述19世纪的数学成就时，曾如是说：“就伽罗瓦的概念和思想的独创性与深刻性而言，任何人都是不能与之相比的。”回望五次方程问题的解决过程，群论、域论 13交相辉映，迂回曲折，也难怪当时学界顶级的审评大师们如坠云里雾中。
这位人类历史上最具天赋的数学家伽罗瓦后来所遇各种不幸，也都让人不禁感叹，这或许是来自造物主的嫉妒吧！
1 群论：群的概念引发自多项式方程的研究，由埃瓦里斯特·伽罗瓦在18世纪30年代开创。其指的是满足以下四个条件的带有一个二元运算的一组元素的集合：①运算是封闭的；②运算的结合律成立；③运算的单位元存在；④运算的逆元存在。
2 李群：在数学中，具有群结构的实流形或者复流形，并且群中的加法运算和逆元运算是流形中的解析映射，其在数学分析、物理和几何中都有非常重要的作用。
3 基本群：代数拓扑最基本的概念，最早由庞加莱提出并加以研究。在一个拓扑空间中，从一点出发并回到该点的闭合曲线，称为该点的一个回路。如果一条回路能够连续地形变成另一条回路（起始和终点不动），就称这两条回路同伦等价，我们把同伦等价的回路看作相同的东西。对于给定的一点，所有过该点的回路的同伦等价类全体形成一个集合，这个集合上可定义加法，即两条回路可以相加形成新的回路。这样此集合可形成一个群，称为拓扑空间在该点的基本群。
4 望月新一：日本京都大学教授，数学家，在“远阿贝尔几何”领域中做出过卓越贡献。2012年，他宣称自己解决了数学史上最富传奇色彩的未解猜想，即abc猜想。
4-1 abc猜想：于1985最先由乔瑟夫·奥斯达利及大卫·马瑟提出，2012年，数学家望月新一声称证明了此猜想。数学家用三个相关的正整数a、b、c（满足a + b = c，a、b、c互质）声明此猜想。若d是abc不同素因数的乘积，这个猜想本质上是要表明d通常不会比c小太多。也就是说，如果a，b的因数中有某些素数的高幂次，那c通常就不会被这些素数的高幂次整除。
5 朗兰兹纲领：最早由罗伯特·朗兰兹于1967年在给韦伊的一封信件中提出。它是数学中一组影响深远的猜想，这些猜想精确地预言了数学中某些表面上毫不相干的领域之间可能存在的联系，如数论、代数几何与约化群表示理论。
6 卡尔达诺公式：三次方程的求解公式，它给出三次方程 x3+px+q=0 的三个解为x1=u+v， x 2=uω+vω 2， x 3=uω2+vω。该公式最早由意大利数学家塔尔塔利亚发现，后来卡尔达诺给出了该公式的证明，并公开发表在其1545年出版的书籍《大术》上。
7 有限群：具有有限多个元素的群，是群论的重要内容之一。其所含元素的个数称为有限群的阶。有限群可分为两大类：（有限）可解群与（有限）非可解群。
8 域：数 学 词汇，包括定义域、值域等。在函数经典定义中，因变量改变而改变的取值范围称为这个函数的值域，现代定义中是指定义域中所有元素在某个对应法则下对应的所有的象所组成的集合。
9 分裂域：与多项式相关的一种域。在抽象代数中，具有域中系数的多项式分裂域是该域的最小域延伸，多项式在该域上分裂为线性因子。
10 置换群：n元对称群的任意一个子群，都称为一个n元置换群，简称置换群。置换群是最早研究的一类群，每个有限的抽象群都与一个置换群同构，即所有的有限群都可以用它来表示。
11 不能三等分任意角：又称为三等分角问题，是古希腊三大几何作图问题之一，现如今数学上已证实了这个问题无解。三等分角问题具体可叙述为只用圆规及一把没有刻度的直尺将一个给定角三等分。在尺规作图（只用没有刻度的直尺和圆规作图）的前提下，此题无解。若将条件放宽，如允许使用有刻度的直尺，或者可以配合其他曲线使用，则可以将一给定角三等分。
12 倍立方不可能：倍立方问题的具体内容为“能否用尺规作图的方法作出一立方体的棱长，使该立方体的体积等于一给定立方体的两倍”。其实质是一个能否通过尺规作图从单位长度出发作出3 2的问题。
13 域论：抽象代数的分支，是很多学科的基础，是代数学中基本的概念之一，且历史悠久。域论研究域的性质，简单地说，一个域是在其上有加法、减法、乘法和除法的代数结构。