解放军文职招聘考试伽罗瓦理论及群论的发展

 伽罗瓦理论及群论的发展

　　长期以来，求解方程一直是整个代数的中心内容，而且在19世纪前期仍是如此．19世纪在探讨方程求解的问题中，出现了一种全新的理论．这一理论虽然以解决方程论中的重要问题为目的，但却引入了群和域等新概念，从而开辟了代数学研究的新方向．

　　阿贝尔和伽罗瓦是伽罗瓦理论及群论的主要奠基者．阿贝尔生于挪

伽罗瓦生于巴黎附近的布拉伦(Bourg-la－Reine)．他们俩有着共同的命运，很年轻就在数学的新领域做出了辉煌成就，但却不幸夭折，阿贝尔在26岁时死于结核病和营养不良，伽罗瓦21岁时死于决斗．在世时都没有为人所赏识．

　　为了求解四次以上的方程，华林、拉格朗日、鲁菲尼(P．Ruffi-ni，1765—1822)、高斯、柯西等人都作了十分有价值的工作．他们提出了方程的根的初等对称函数、置换等内容．这些都对阿贝尔、伽罗瓦有直接的影响．

　　阿贝尔在1824年春天成功地证明了：用根式求解一般的五次方程是不可能的．在这个过程中，他首先证明了今天的阿贝尔定理：可用根式求解的方程的根能以这样的形式给出，出现在根的表达式中的每个根式都可表成方程的根和某些单位根的有理函数．

　　利用阿贝尔定理，1826年阿贝尔证明了高于四次的一般方程用根式求解的不可能性，根据阿贝尔的思想，克罗内克(L．Kro-necker，1823—1891)于1879年给出了一个直接、简单明了而又非常严密的证明．这样，几百年之久的求解高于四次的一般方程的问题就被阿贝尔解决了．

　　不仅如此，阿贝尔还给出了特殊的可用根式求解的方程的特征：这些方程的所有根都是其中一个根的函数，即全部根为x，θ1(x)，θ2(x)，…，θn-1(x)．其中θ1是有理函数．

　　1853年，克罗内克称具有这种特征的方程为阿贝尔(Abel)方程．

　　随后，阿贝尔证明了更一般的定理：如果一个方程的所有根能表示成其中一个根的有理函数，且对于其中任意的两个根θα，θβ，有

θα(θβ(x))=θβ(θα(x))．

　　则该方程可用根式求解．

　　阿贝尔一生在数学的其他领域也做出过重大的贡献．在椭圆函数方面、分析严密化方面都留下了他的足迹．其中有以他的名字命名的阿贝尔积分方程，阿贝尔定理，阿贝尔收敛判别法和关于幂级数的阿贝尔定理．

　　阿贝尔的工作开辟了代数学研究的新方向，他引进了域和在给定域中不可约多项式这两个概念，并且开始了群论的研究．

　　在群论、方程根的置换等问题的研究中，伽罗瓦也取得了重要成就．他试图解决这样的问题：虽然高于四次的方程一般不能用根式求解，但有些特殊的方程如阿贝尔方程却可用根式求解，那么哪些方程可用根式求解呢？

　　为了解决这个问题，他利用了拉格朗日关于根的置换、排列的概念．如设x1，x2，x3，x4是一个四次方程的根，则在这四个根的排列中交换xi和xj就是一个置换，这样总共就有4！＝24种可能的置换．经过任何两个置换后仍是其中的一个置换，所置换的集合形成一个群，这样伽罗瓦就给出了关于抽象群的一个早期定义．

　　这样，方程的群就成了它的可解性的关键．然后再这样进行探讨：给了一个方程，按照某种方法找到方程在系数域中的群G——根的置换群，这些置换使根之间的系数在该域中的全部关系保持不变．找到G后，再找G的最大子群H，然后可以用一套仅含有理运算的手续来找到根的 对于G的所有T≠R，它的值发生改变．存在一种方法构造R中的一个 ．这个方程称为一个部分预解式．经过一系列工作，伽罗瓦给出了找给定方程的群，逐次预解式以及方程关于逐次扩大了的系数域的群——原来群的逐次子群的一系列方法，在这些工作中，群论的基本理论有了一些框架．

　　然后伽罗瓦引入了正规子群(或称自共轭子群，不变子群)的概念．他证明了当作为约化方程的群的预解或是一个素数次p的二项方程xp-A＝0时，则H是G的一个具有指数p的正规子群；反之，如果H是G的一个正规子群，且具有素指数p，则相应的预解式是p次二项方程，或能化简到这样的方程．

　　伽罗瓦引入了合成序列的概念：在子群序列G，H，K，L，…，E中，每一个都是前一个群中的极大正规子群．H对G的指数，K对H的指数等等，称为合成序列的指数．他得出了如下的重要结论：若一个方程的置换群的逐次子群所成的合成序列的指数都是素数，则这方程就能用根式求解；否则，该方程就不能用根式求解．

　　利用这个结论，伽罗瓦证明，对于一般的n次方程，方程的置换群由n个根的全部n！个置换组成，置换群称为n级对称群．它的阶是n！．

而n＝2时，合成序列的指数是2，n=3时合成序列的指数是2和3，n=4时合成序列的指数是2，3，2，2，因此当n≤4时方程能用根式求解．

　　伽罗瓦于1830年彻底解决了方程能用根式求解的问题．他证明一个素数次的不可约方程能用根式求解的充分必要条件是，这个方程的每个根都是其中两个根的带有R中系数的有理系数．满足这种条件的方程称为伽罗瓦方程．最简单的伽罗瓦方程是xp-A＝0(p为素数)．阿贝尔方程也是一种伽罗瓦方程．

　　伽罗瓦的工作一部分是关于方程的伽罗瓦理论，另一部分本身就是他所开创的一个新领域——群论．他是在严格的意义上使用“群(Group)”的第一个人，他引进了置换群、不变子群等概念，并且把群和域的扩张对应起来．

　　群论的产生深刻地改变了代数学的内容，使代数学从主要研究方程开始转向研究各种代数结构，并且使代数学开始向更严密的方向迈进．

　　伽罗瓦理论不仅回答了方程的求解问题，而且解决了古希腊“三大几何问题”中的“三等分任意角”和“倍立方体”问题．他的工作提供了可作图的一个判别法：对于一个作图问题首先要建立一个代数方程，它的解就是所要求的量．可作图的条件是这个量必须属于给定量的域的某个二次扩张域．利用这个判别法就可以解决上述两个问题，判明这两个问题都是不可解的．实际上，1837年旺策尔(P．L．Wantzel，1814—1848)用其它的方法曾独立地证明了这两个问题的不可能性．

　　1837年旺策尔还给出了正多边形可作图的必要性证明，这个问题是高斯在1796年提出的，高斯断言：一个正n边形是可作图的，当且仅当 任意正整数或0．

　　拉格朗日已经知道子群的阶整除群的阶．伽罗瓦则给出了单群、合成群以及两个群G与G′之间的同构的概念．

　　由于伽罗瓦的工作1846年才陆续发表，所以直到1870年约当(C．Jordan，1838—1922)发表著名的《置换和代数方程专论》(Traité des Substitutions et des équations al-gébriques)，才第一次给伽罗瓦理论清楚、完善的表述，这时群的概念已从方程论进入到数学的更广泛的领域．约当不仅使群论系统化，而且做出了许多重要的工作．1869年，他从极大自共轭子群出发，引入了商群的概念，并且在1872年引入记号Gi/Gi+1表示商群．他曾证明了今天的约当— 建立了同构、同态的概念，添加了关于传递群和合成群的许多结果，在书中，他还指出，可解方程的群都是交换群，他称这样的群为阿贝尔群．

…，n)的线性变换来表示置换．1878年他曾提出，有限周期p的线性 ，…，n，εi是p次单位根．1868—1869年，他第一个对无限群进行了重要的研究，开创了利用群论研究几何变换的新道路．

　　柯西也对群尤其是置换群的研究做出了重要的贡献．他的工作影响了著名的代数学家凯莱(A．Cayley，1821—1895)．在1849—1854年发表的三篇文章中，他首次提出了抽象群的概念，把群从具体的对象(如数、置换)扩大到更一般的范围，奠定了群论的理论基础．

　　1872年，F．克莱因将群论与几何学联系起来，1873年李(M．S．Lie)引入连续群的概念，使群论与分析与几何联系在一起，从而产生了李群，李代数．19世纪对群论做出贡献的数学家还有西罗(L．Sylow，1832—1918)、弗罗伯尼(F．G．Frobenius，1849—

　　尤其重要的是，1849年物理学家、矿物学家布雷威(A．Bra－vais，1811—1863)通过研究行列式为±1的三个变量的线性变换 现32类对称的分子结构．他的研究开创了群论在物理中尤其是物质结构理论中的应用，而且这种应用越来越广．这样，群论就迅速为人们所承认，进入数学的中心，并且一度使人们认为分析、几何、物理学可以通过群论统一起来．的确，群论作为从纯数学方程中研究所产生的成果，能够在几何、分析，尤其是在具体的物质晶体结构中得到应用，不仅使得其理论本身成了蓬勃发展的领域，而且冲击了人们对数学的固有观念，甚至冲击了人们的世界观．