伽罗瓦群论的诞生

《伽罗瓦群论的诞生》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、伽罗瓦群论的诞生   方程论是古典代数的中心课题。直到19世纪中叶，代数仍是一门以方程式论为中心的数学学科，代数方程的求解问题依然是代数的基本问题，特别是用根式求解方程。所谓方程有根式解（代数可解），就是这个方程的解由该方程的系数经过有限次加减乘除以及开整数次方等运算表示出来的。群论也就是起源于对代数方程的研究，它是人们对代数方程求解问题逻辑考察的结果。    一、伽罗瓦群论产生的历史背景   从方程的根式解法发展过程来看，早在古巴比伦数学和印度数学的记载中，他们就能够用根式求解一元二次方程ax2+bx+c

2、=0，给出的解相当于v:shapetypeid="_x0000_t75"coordsize="21600,21600"o:spt="75"o:preferrelative="t"path="m@4@5l@4@11@9@11@9@5xe"filled="f"stroked="f">+，，这是对系数函数求平方根。接着古希腊人和古东方人又解决了某些特殊的三次数字方程，但没有得到三次方程的一般解法。这个问题直到文艺复兴的极盛期（即16世纪初）才由意大利人解决。他们对一般的三次方程x3+ax2+bx+c=0，由卡丹公

3、式解出根x= +，其中p=ba2，q=a3，显然它是由系数的函数开三次方所得。同一时期，意大利人费尔拉里又求解出一般四次方程x4+ax3+bx2+cx+d=0的根是由系数的函数开四次方所得。   用根式求解四次或四次以下方程的问题在16世纪已获得圆满解决，但是在以后的几个世纪里，探寻五次和五次以上方程的一般公式解法却一直没有得到结果。1770年前后，法国数学家拉格朗日转变代数的思维方法，提出方程根的排列与置换理论是解代数方程的关键所在，并利用拉格朗日预解式方法，即利用1的任意n次单位根（n=1）引进了预解式

4、x1+x2+2x3+…+ n-1xn，详细分析了二、三、四次方程的根式解法。他的工作有力地促进了代数方程论的进步。但是他的这种方法却不能对一般五次方程作根式解，于是他怀疑五次方程无根式解。并且他在寻求一般n次方程的代数解法时也遭失败，从而认识到一般的四次以上代数方程不可能有根式解。他的这种思维方法和研究根的置换方法给后人以启示。   1799年，鲁菲尼证明了五次以上方程的预解式不可能是四次以下的，从而转证五次以上方程是不可用根式求解的，但他的证明不完善。同年，德国数学家高斯开辟了一个新方法，在证明代数基本理

5、论时，他不去计算一个根，而是证明它的存在。随后，他又着手探讨高次方程的具体解法。在1801年，他解决了分圆方程xp-1=0（p为质数）可用根式求解，这表明并非所有高次方程不能用根式求解。因此，可用根式求解的是所有高次方程还是部分高次方程的问题需进一步查明。   随后，挪威数学家阿贝尔开始解决这个问题。1824年到1826年，阿贝尔着手考察可用根式求解的方程的根具有什么性质，于是他修正了鲁菲尼证明中的缺陷，严格证明：如果一个方程可以根式求解，则出现在根的表达式中的每个根式都可表示成方程的根和某些单位根的有理数

6、。并且利用这个定理又证明出了阿贝尔定理：一般高于四次的方程不可能代数地求解。接着他进一步思考哪些特殊的高次方程才可用根式解的问题。在高斯分圆方程可解性理论的基础上，他解决了任意次的一类特殊方程的可解性问题，发现这类特殊方程的特点是一个方程的全部根都是其中一个根（假设为x）的有理函数，并且任意两个根q1(x)与q2(x)满足q1q2(x)=q2q1(x)，q1，q2为有理函数。现在称这种方程为阿贝尔方程。其实在对阿贝尔方程的研究中已经涉及到了群的一些思想和特殊结果，只是阿贝尔没能意识到，也没有明确地构造方程根

7、的置换集合（因为若方程所有的根都用根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(xi)是根x1,x2,…,xn的一个置换），而仅仅考虑可交换性q1q2(x)=q2q1(x)来证明方程只要满足这种性质，便可简化为低次的辅助方程，辅助方程可依次用根式求解。   阿贝尔解决了构造任意次数的代数可解的方程的问题，却没能解决判定已知方程是否

8、可用根式求解的问题。法国数学家伽罗瓦正是处在这样的背景下，开始接手阿贝尔未竞的事业。   二.伽罗瓦创建群理论的工作   伽罗瓦仔细研究了前人的理论，特别是拉格朗日、鲁菲尼、高斯、阿贝尔等人的著作，开始研究多项式方程的可解性理论，他并不急于寻求解高次方程的方法，而是将重心放在判定已知的方程是否有根式解。如果有，也不去追究该方程的根究竟是怎样的，只需证明有根式解存在即可。峰   1.伽罗瓦群论的创建   伽罗瓦在证