伽罗瓦理论

伽罗瓦理论
用群论的方法来研究代数方程的解的理论。

在19世纪末以前，解方程一直是代数学的中心问题。

早在古巴比伦时代，人们就会解二次方程。

在许多情况下，求解的方法就相当于给出解的公式。

但是自觉地、系统地研究二次方程的一般解法并得到解的公式，是在公元9世纪的事。

三次、四次方程的解法直到16世纪上半叶才得到。

从此以后、数学家们转向求解五次以上的方程。

经过两个多世纪，一些著名的数学家，如欧拉、旺德蒙德、拉格朗日、鲁菲尼等，都做了很多工作，但都未取得重大的进展。

19世纪上半叶，阿贝尔受高斯处理二项方程(p为素数)的方法的启示，研究五次以上代数方程的求解问题，终于证明了五次以上的方程不能用根式求解。

他还发现一类能用根式求解的特殊方程。

这类方程现在称为阿贝尔方程。

阿贝尔还试图研究出能用根式求解的方程的特性，由于他的早逝而未能完成这项工作。

伽罗瓦从1828年开始研究代数方程理论(当时他并不了解阿贝尔的工作)，他试图找出为了使一个方程存在根式解，其系数所应满足的充分和必要条件。

到1832年他完全解决了这个问题。

在他临死的前夜，他将结果写在一封信中，留给他的一位朋友。

1846年他的手稿才公开发表。

伽罗瓦完全解决了高次方程的求解问题，他建立于用根式构造代数方程的根的一般原理，这个原理是用方程的根的某种置换群的结构来描述的，后人称之为“伽罗瓦理论”。

伽罗瓦理论的建立，不仅完成了由拉格朗日、鲁菲尼、阿贝尔等人开始的研究，而且为开辟抽象代数学的道路建立了不朽的业绩。

在几乎整整一个世纪中，伽罗瓦的思想对代数学的发展起了决定性的影响。

伽罗瓦理论被扩充并推广到很多方向。

戴德金曾把伽罗瓦的结果解释为关于域的自同构群的对偶定理。

随着20世纪20年代拓扑代数系概念的形成，德国数学家克鲁尔推广了戴德金的思想，建立了无限代数扩张的伽罗瓦理论。

伽罗瓦理论发展的另一条路线，也是由戴德金开创的，即建立非交换环的伽罗瓦理论。

1940年前后，美国数学家雅各布森开始研究非交换环的伽罗瓦理论，并成功地建立了交换域的一般伽罗瓦理论。

伽罗瓦理论还特别对尺规作图问题给出完全的刻画。

人们已经证明：这种作图问题可归结为解有理数域上的某些代数方程。

这样一来，一个用直尺和圆规作图的问题是否可解，就转化为研究相应方程的伽罗瓦群的性质。

在伽罗瓦死去14年后的1846年，法国数学家刘维尔整理出版了伽罗瓦的手稿，人们才逐渐理解了伽罗瓦的思想。

伽罗瓦运用他的理论彻底解决了方程的根式可解问题，他的主要结论可以归结为：一个方程根式可解当且仅当他的伽罗瓦群是可解群。

诚然，对于伽罗瓦的时代来说，群论无疑太过于超前了，当时的数学家们要么完全不能理解，以至于在几十年之后，当一位大数学家看到了他的理论后，苦苦思索了3个月，才能够理解其含义；当时的数学家们要么出于某种偏见，不给予他正确的评价，短视蒙蔽了他们，使得英才早逝。

伽罗瓦的生命永远的停留在了21岁，我们不敢去想象，如果他的生命再
长一点，他会给我们这个世界做出多么大的贡献。

天才总是和孤寂相伴，孤寂的伽罗瓦没有亲人，孤寂的伽罗瓦没有爱人，孤寂的伽罗瓦甚至找不到一个可以在思想上和自己对话的人。

如果非说有的话，也只有一个早他3年死去和他同样不得意的阿贝尔，可惜的是，这两个天才从未蒙面。

高处不胜寒，站在一个空前的高度俯视着这个世界，他的孤寂可想而知。

伽罗瓦是不幸的，伽罗瓦又是幸运的。

伽罗瓦的不幸是因为他同时代的人没有理解他那超前的思想，他没有目睹群论强盛时的景象，一颗明星在本该最绚烂的时刻戛然而止，可怜无知音，弦断有谁听？我们不能不为之扼腕叹息；同时，伽罗瓦又是幸运的，因为他的理论最终得到了承认，不！是他们不得不接受他的理论！他开创的新科学不断发展壮大。

伽罗瓦在他21岁时离开了他热爱的数学，21岁的伽罗瓦永远是科学的孩子，21岁的伽罗瓦永远也不会长大，21岁的伽罗瓦，他冲动，他会把黑板擦砸向老师的头上；他不够成熟，他会为了坚持自己的想法不屈从于权贵。

21岁的伽罗瓦年轻、有激情，21岁的他敢冲敢做，21岁的他可以为了自己的爱去决斗，21岁的他可以为了自己的理想无所畏惧。

伽罗瓦，他永远地停留在了21岁的那个春天，青春的梦想，不老的传奇。

200年过去了，21岁的伽罗瓦风采依然，提笔挥洒的身影，依稀可见：群、环、域、多项式环、分裂域、内自同构、域链、根式可解。

彻底解决了代数方程可解性的群论已经足够强大，可是群论的魅力还不止于此。

由于群论的出现，一门新的数学分支产生了——抽象数学。

在此指引下，人们在数学上开始更注重于结构性，对称性，整体的把握。

群论更重要的意义在于他突破了原先的思维模式，提供了一种全新的理念。

如果非得做出个比较的话，那么群论的意义和微积分、解析几何、非欧几何、集合论那些最具有开创性的工作具有同等的地位。

甚至更要高深，因为有些可以通过不断努力积累得到，有的理论则是思维层面和思想高度的问题，无法通过后天的努力得到哪怕是一丁点的提高。

伽罗瓦的理论犹如天外飞仙，超尘脱俗，犹如羚羊挂角，无迹可寻。

因为，他的理论是抽象的！他的理论是方法论！是思想！从理论上说，所有的数学分支甚至是所有的社会科学、自然科学都可以通过代数结构联系在一起。

一、伽罗瓦群论产生的历史背景从方程的根式解法发展过程来看，早在古巴比伦数学和印度数学的记载中，他们就能够用根式求解一元二次方程ax2+bx+c=0，给出的解相当于+，，这是对系数函数求平方根。

接着古希腊人和古东方人又解决了某些特殊的三次数字方程，但没有得到三次方程的一般解法。

这个问题直到文艺复兴的极盛期（即16世纪初）才由意大利人解决。

他们对一般的三次方程x3+ax2+bx+c=0，由卡丹公式解出根x= + ，其中p = ba2，q = a3，显然它是由系数的函数开三次方所得。

同一时期，意大利人费尔拉里又求解出一般四次方程x4+ax3+bx2+cx+d=0的根是由系数的函数开四次方所得。

用根式求解四次或四次以下方程的问题在16世纪已获得圆满解决，但是在以后的几个世纪里，探寻五次和五次以上方程的一般公式解法却一直没有得到结果。

1770年前后，法国数学家拉格朗日
转变代数的思维方法，提出方程根的排列与置换理论是解代数方程的关键所在，并利用拉格朗日预解式方法，即利用1的任意n次单位根（n =1）引进了预解式x1+ x2+ 2x3+…+ n-1xn，详细分析了二、三、四次方程的根式解法。

他的工作有力地促进了代数方程论的进步。

但是他的这种方法却不能对一般五次方程作根式解，于是他怀疑五次方程无根式解。

并且他在寻求一般n次方程的代数解法时也遭失败，从而认识到一般的四次以上代数方程不可能有根式解。

他的这种思维方法和研究根的置换方法给后人以启示。

1799年，鲁菲尼证明了五次以上方程的预解式不可能是四次以下的，从而转证五次以上方程是不可用根式求解的，但他的证明不完善。

同年，德国数学家高斯开辟了一个新方法，在证明代数基本理论时，他不去计算一个根，而是证明它的存在。

随后，他又着手探讨高次方程的具体解法。

在1801年，他解决了分圆方程xp-1=0（p为质数）可用根式求解，这表明并非所有高次方程不能用根式求解。

因此，可用根式求解的是所有高次方程还是部分高次方程的问题需进一步查明。

随后，挪威数学家阿贝尔开始解决这个问题。

1824年到1826年，阿贝尔着手考察可用根式求解的方程的根具有什么性质，于是他修正了鲁菲尼证明中的缺陷，严格证明：如果一个方程可以根式求解，则出现在根的表达式中的每个根式都可表示成方程的根和某些单位根的有理数。

并且利用这个定理又证明出了阿贝尔定理：一般高于四次的方程不可能代数地求解。

接着他进一步思考哪些特殊的高次方程才可用根式解的问题。

在高斯分圆方程可解性理论的基础上，他解决了任意次的一类特殊方程的可解性问题，发现这类特殊方程的特点是一个方程的全部根都是其中一个根（假设为x）的有理函数，并且任意两个根q1(x)与q2(x)满足q1q2(x)=q2q1(x)，q1，q2为有理函数。

现在称这种方程为阿贝尔方程。

其实在对阿贝尔方程的研究中已经涉及到了群的一些思想和特殊结果，只是阿贝尔没能意识到，也没有明确地构造方程根的置换集合（因为若方程所有的根都用根x1来表示成有理函数qj(x1)，j=1,2,3,…,n，当用另一个根xi代替x1时，其中1〈i≤n ，那么qj(xi)是以不同顺序排列的原方程的根，j=1,2,…,n。

实际上应说根xi=q1(xi),q2(xi),…,qn(x i)是根x1,x2,…,xn的一个置换），而仅仅考虑可交换性q1q2(x)=q2q1(x)来证明方程只要满足这种性质，便可简化为低次的辅助方程，辅助方程可依次用根式求解。

阿贝尔解决了构造任意次数的代数可解的方程的问题，却没能解决判定已知方程是否可用根式求解的问题。

法国数学家伽罗瓦正是处在这样的背景下，开始接手阿贝尔未竞的事业。

二.伽罗瓦创建群理论的工作伽罗瓦仔细研究了前人的理论，特别是拉格朗日、鲁菲尼、高斯、阿贝尔等人的著作，开始研究多项式方程的可解性理论，他并不急于寻求解高次方程的方法，而是将重心放在判定已知的方程是否有根式解。

如果有，也不去追究该方程的根究竟是怎样的，只需证明有根式解存在即可。

峰 1.伽罗瓦群论的创建伽罗瓦在证明不存在一个五次或高于五次的方程的一般根式解法时，与拉格朗日相同，也从方程根的置换入手。

当他系统地研究了方程根的排列置换性质后，提出了一些确定的准则以判定一个已知方程的解是否能通过根式找到，然而这些方法恰好导致他去考虑一种称之为“群”的元素集合的抽象代数理论。

在1831年的论文中，伽罗瓦首次提出了“群”这一术语，把具有封闭性的置换的集合称为群，首次定义了置换群的概念。

他认为了解置换群是解决方程理论的关键，方程是一个其对称性可用群的性质描述的系统。

他从此开始把方程论问题转化为群论的问题来解决，直接研究群论。

他引入了不少有关群论的新概念，从而也产生了他自己的伽罗瓦群论，因此后人都称他为群论的创始人。

对有理系数的n
次方程x+axn-1+a2xn-2+…+an-1x+an=0 （1）假设它的n个根x1,x2,…,xn的每一个变换叫做一个置换，n个根共有n!个可能的置换，它们的集合关于置换的乘法构成一个群，是根的置换群。

方程的可解性可以在根的置换群的某些性质中有所反映，于是伽罗瓦把代数方程可解性问题转化为与相关的置换群及其子群性质的分析问题。

现在把与方程联系起的置换群（它表现了方程的对称性质）称为伽罗瓦群，它是在某方程系数域中的群。

一个方程的伽罗瓦群是对于每一个其函数值为有理数的关于根的多项式函数都满足这个要求的最大置换群，也可以说成对于任一个取有理数值的关于根的多项式函数，伽罗瓦群中的每个置换都使这函数的值不变。

2.伽罗瓦群论的实质我们可以从伽罗瓦的工作过程中，逐步领悟伽罗瓦理论的精髓。

首先分析一下他是怎样在不知道方程根的情况下，构造伽罗瓦群的。

仍然是对方程（1），设它的根x1,x2,…,xn中无重根，他构造了类似于拉格朗日预解式的关于x1,x2,…,xn的一次对称多项式△1=a1x1+a2x2+…+anxn，其中ai(i=1,2,3,…,n)不必是单位根，但它必是一些整数且使得n!个形如△1的一次式△1,△2,…,△n!各不相同，接着又构造了一个方程=0 (2) 该方程的系数必定为有理数（可由对称多项式定理证明），并且能够分解为有理数域上的不可约多项式之积。

设f(x)=是的任意一个给定的m次的不可约因子，则方程(1)的伽罗瓦群是指n!个△i中的这m个排列的全体。

同时他又由韦达定理知伽罗瓦群也是一个对称群，它完全体现了此方程的根的对称性。

但是计算一个已知方程的伽罗瓦群是有一定困难的，因此伽罗瓦的目的并不在于计算伽罗瓦群，而是证明：恒有这样的n次方程存在，其伽罗瓦群是方程根的可能的最大置换群s(n)，s(n)是由n!个元素集合构成的，s(n)中的元素乘积实际上是指两个置换之积。

现在把s(n)中的元素个数称为阶，s(n)的阶是n!。

伽罗瓦找出方程系数域中的伽罗瓦群g后，开始寻找它的最大子群h1，找到h1后用一套仅含有理运算的手续（即寻找预解式）来找到根的一个函数。

的系数属于方程的系数域r，并且在h1的置换下不改变值，但在g的所有别的置换下改变值。

再用上述方法，依次寻找h1的最大子群h2，h2的最大子群h3，…于是得到h1,h2,…,hm，直到hm里的元素恰好是恒等变换（即hm为单位群i）。

在得到一系列子群与逐次的预解式的同时，系数域r也随之一步步扩大为r1,r2,…,rm，每个ri对应于群hi。

当hm=i时，rm就是该方程的根域，其余的r1,r2,…,rm-1是中间域。

一个方程可否根式求解与根域的性质密切相关。

例如，四次方程x4+px2+q=0 (3) p与q独立，系数域r添加字母或未知数p、q到有理数中而得到的域，先计算出它的伽罗瓦群g，g是s(4)的一个8阶子群，g={e，e1，e2，…e7}，其中e=，e1=，e2=，e3=，e4=，e5=，e6=，e7=。

要把r扩充到r1，需在r中构造一个预解式，则预解式的根，添加到r中得到一个新域r1，于是可证明原方程（3）关于域r1的群是h1，h1={e，e1，e2，e3}，并发现预解式的次数等于子群h1在母群g 中的指数8÷4=2（即指母群的阶除以子群的阶）。

第二步，构造第二个预解式，解出根，于是在域r1中添加得到域r2，同样找出方程（3）在r2中的群h2，h2={e，e1}，此时，第二个预解式的次数也等于群h2在h1中的指数4÷2=2。

第三步，构造第三个预解式，得它的根，把添加到r2中得扩域r3，此时方程（3）在r3中的群为h3，h3={e}，即h3=i，则r3是方程（3）的根域，且该预解式的次数仍等于群h3在h2中的指数2÷1=2。

在这个特殊的四次方程中，系数域到根域的扩域过程中每次添加的都是根式，则方程可用根式解。

这种可解理论对于一般的高次方程也同样适用，只要满足系数域到根域的扩域过程中每次都是添加根式，那
么一般的高次方程也能用根式求解。

现仍以四次方程（3）为例，伽罗瓦从中发现了这些预解式实质上是一个二次的二项方程，既然可解原理对高次方程也适用，那么对于能用根式求解的一般高次方程，它的预解式方程组必定存在，并且所有的预解式都应是一个素数次p的二项方程xp=a。

由于高斯早已证明二项方程是可用根式求解的。

因此反之，如果任一高次方程所有的逐次预解式都是二项方程，则能用根式求解原方程。

于是，伽罗瓦引出了根式求解原理，并且还引入了群论中的一个重要概念“正规子群”。

他是这样给正规子群下定义的：设h是g的一个子群，如果对g中的每个g都有gh=hg，则称h为g的一个正规子群，其中gh表示先实行置换g，然后再应用h的任一元素，即用g的任意元素g乘h的所有置换而得到的一个新置换集合。

定义引入后，伽罗瓦证明了当作为约化方程的群(如由g 约化到h1)的预解式是一个二项方程xp=a (p为素数)时，则h1是g的一个正规子群。

反之，若h1是g的正规子群，且指数为素数p，则相应的预解式一定是p次二项方程。

他还定义了极大正规子群：如果一个有限群有正规子群，则必有一个子群，其阶为这有限群中所有正规子群中的最大者，这个子群称为有限群的极大正规子群。

一个极大正规子群又有它自己的极大正规子群，这种序列可以逐次继续下去。

因而任何一个群都可生成一个极大正规子群序列。

他还提出把一个群g生成的一个极大正规子群序列标记为g、h、i、j…, 则可以确定一系列的极大正规子群的合成因子[g/h]，[h/i]，[i/g]…。

合成因子[g/h]=g的阶数/ h的阶数。

对上面的四次方程(3)，h1是g的极大正规子群，h2是h1的极大正规子群，h3又是h2的极大正规子群，即对方程(3)的群g 生成了一个极大正规子群的序列g、h1、h2、h3。

随着理论的不断深入，伽罗瓦发现对于一个给定的方程，寻找它在伽罗瓦群及其极大不变子群序列完全是群论的事。

因此，他完全用群论的方法去解决方程的可解性问题。

最后，伽罗瓦提出了群论的另一个重要概念“可解群”。

他称具有下面条件的群为可解群：如果它所生成的全部极大正规合成因子都是质数。

根据伽罗瓦理论，如果伽罗瓦群生成的全部极大正规合成因子都是质数时，方程可用根式求解。

若不全为质数，则不可用根式求解。

由于引入了可解群，则可说成当且仅当一个方程系数域上的群是可解群时，该方程才可用根式求解。

对上面的特殊四次方程(3)，它的[g/h]=8/4=2，[h1/h2]=2/1=2，2为质数，所以方程(3)是可用根式解的。

再看一般的n次方程，当n=3时，有两个二次预解式t2=a和t3=b，合成序列指数为2与3，它们是质数，因此一般三次方程可根式解。

同理对n=4，有四个二次预解式，合成序列指数为2，3，2，2，于是一般四次方程也可根式求解。

一般n次方程的伽罗瓦群是s(n)，s(n)的极大正规子群是a(n) (实际a(n)是由s(n)中的偶置换构成的一个子群。

如果一个置换可表为偶数个这类置换之积，则叫偶置换。

)，a(n)的元素个数为s(n)中的一半，且a(n)的极大正规子群是单位群i，因此[s(n)/a(n)]=n!/(n!/2)=2，[a(n)/i]=(n!/2)/1=n!/2，2是质数，但当n ≥5时，n！/2不是质数，所以一般的高于四次的方程是不能用根式求解的。

至此，伽罗瓦完全解决了方程的可解性问题。

顺带提一下，阿贝尔是从交换群入手考虑问题的，他的出发点与伽罗瓦不同，但他们的结果都是相同的，都为了证其为可解群，并且伽罗瓦还把阿贝尔方程进行了推广，构造了一种现在称之为伽罗瓦方程的方程，伽罗瓦方程的每个根都是其中两个根的带有系数域中系数的有理函数。

三.伽罗瓦群论的历史贡献伽罗瓦创立群论是为了应用于方程论，但他并不局限于此，而是把群论进行了推广，作用于其他研究领域。

可惜的是，伽罗瓦群论的理论毕竟太深奥，对十九世纪初的人们来说是很难理解的，连当时的
数学大师都不能理解他的数学思想和他的工作的实质，以至他的论文得不到发表。

更不幸的是伽罗瓦在二十一岁时便因一场愚蠢的决斗而早逝，我们不得不为这位天才感到惋惜。

到十九世纪六十年代，他的理论才终于为人们所理解和接受。

伽罗瓦群理论被公认为十九世纪最杰出的数学成就之一。

他给方程可解性问题提供了全面而透彻的解答，解决了困扰数学家们长达数百年之久的问题。

伽罗瓦群论还给出了判断几何图形能否用直尺和圆规作图的一般判别法，圆满解决了三等分任意角或倍立方体的问题都是不可解的。

最重要的是，群论开辟了全新的研究领域，以结构研究代替计算，把从偏重计算研究的思维方式转变为用结构观念研究的思维方式，并把数学运算归类，使群论迅速发展成为一门崭新的数学分支，对近世代数的形成和发展产生了巨大影响。

同时这种理论对于物理学、化学的发展，甚至对于二十世纪结构主义哲学的产生和发展都发生了巨大的影响。