2020-02-17 伽罗瓦理论概述？伽罗瓦理论难度

本文目录

• 2020-02-17 伽罗瓦理论概述
• 伽罗瓦理论难度
• 伽罗瓦理论的基本内容
• 伽罗瓦理论的介绍
• 伽罗瓦理论（三+）
• 沿用至今的伽罗瓦理论到底有多伟大
• 伽罗瓦理论（五+）
• 伽罗瓦理论的发展历史

2020-02-17 伽罗瓦理论概述

伽罗瓦理论比较复杂，这里不做证明，只做一个简单的概述，读者通过这个概述可以明白其大概表达的含义是什么。

首先，伽罗瓦理论是关于高次方程可解性判别的理论，决定高次方程（通常是》=5次）的方程是否有根式解， 伽罗瓦对这个问题给出了完全的解答，结论之一是 一般的高次方程(》=5次） 无根式解；

所谓根式解，是指解的表达式中，只包含 以及开根运算(可以任意次根）

对于一般的2,3,4次方程都有求根公式，但对于5次方程，历史上很长一段时间无人求解，直到阿贝尔和伽罗瓦给出这个问题的解答，证明一般5次方程无根式解

下面简述为何5次方程无根式解，其基本思路如下：

1，首先介绍数域的概念 数域简单来说就是一系列关于 计算封闭的数的集合，举3个例子： 1)有理数域Q ， 任何两个有理数经过 4则运算 仍然是有理数 2)有理复数， 形如 的数，其中 ,容易证明其仍然对4则运算封闭；

2，分裂域 给定一个n次方程，其系数所在的数域记作K，根据代数基本定理，其恰好有n个根，（这里大前提假定存在一个数域M,包含方程的所有根，伽罗瓦并没有证明这一点，只是默认这样的数域存在 ，所谓一个数域包含方程的根，指的是这个数域中存在一个数，我们将这个数代入这个方程，则等式成立，很显然，只有M:K时这个将数代入方程的计算才有意义） 则我们可以找到M的一个子域，这个子域L满足2个条件 1)L包含M中方程的所有根 2)不存在L的真子域也包含M中方程的所有根 （可见简单的理解为L是最小的包含方程所有根的域） 这个L被称为这个方程在系数域K 上的分裂域 （意思就是方程可以在这个域上分裂为线性因子乘积)

3， 方程可根式解蕴含的一个必要条件 方程可以根式解，意味着我们可以进行如下操作： 1)在系数域K的基础上，通过添加K中的某个元素k的n(可假设为素数，因为任意整数可分解为素数乘积) 次根，得到一个更大的域 K’; 2)然后在K’上继续上述操作... 3)最终我们得到一个域L 恰好是方程的分裂域 简单来说，就是如果一个方程可解，那么意味着方程的分裂域 L和系数域K存在如下关系: 并且其中 每个域 是 通过向 中添加其某个元素的n次根得到的

4, 伽罗瓦群 （核心概念） 伽罗瓦主要研究了上面的域塔必须满足什么样的条件，或者说有什么样的性质； 为了描述这个性质，必须引入伽罗瓦群的概念；

给定域扩张 则这个扩张的伽罗瓦群 := L的所有K自同构映射所组成的群 $

这里首先引入两个，自同构映射的概念，所谓自同构映射，指的是一个数域到自身的映射f（就是普通数学中的映射），这个映射f具备保持 四则运算不变的性质， 也就是说，如果给定L中任意两个元素 , 同时这个映射还必须是一个双射，这样的映射就叫做自同构映射；

举例来说，以有理数域 为例， 就是一个自同构映射,这个被称为平凡自同构，它在自同构中起的作用相当于0在加法中的作用

所谓L的K自同构映射 指的是 除了该映射是L-》L上的自同构之外，还有附加条件，就 是

那么L的所有K自同构映射 组成了一个集合 ，这个集合恰好是一个群

这里引入群的概念，我们不给出一般群的定义，只给出映射组成群的定义， 大家都知道映射是可以复合的，比如两个映射 , 我们可以定义复合映射 ,容易证明 如果两个映射都L的K自同构映射，其复合映射也是 L的K自同构映射；把这种复合看成 两个映射之间的一种2元运算 ，也就是把2个映射 映射到 1个映射 的映射； 那么，我们就在L的K自同构映射的集合上添加了一种运算符 ,这个运算满足封闭性（也就是上面所述的），同时存在单位映射（也就是上文的平凡映射），它和任何映射的复合 仍然是 那个映射本身， 以及逆映射 ; 那么只要一个集合上的2元运算满足以上性质，就构成一个群；

不难证明，L的所有K自同构映射 在映射复合的基础上构成了一个群，这个群就是

5, 最后我们给出伽罗瓦理论的描述

我们回到3中提出的问题，给定满足3中条件的域塔: 其满足 每个域 是 通过向 中添加其某个元素的n次根得到

那么如果域塔满足这个条件，伽罗瓦提取出了该域塔必须满足的一个必要条件，那就是： 给定群: 伽罗证明了 (1)这些群，满足以下包含关系: (2)并且 每个群 是 的正规子群 （子群的概念和子域类似，指的是一个群的子集本身关于该群的计算封闭； 正规子群就是一种特殊的子群） (3), 对 的商群（群和其正规子群可以做除法，从而产生商群，具体定义略）是个p次循环群（最简单的一种群，阶数为p）

同时伽罗瓦最大的发现还在于，他证明该条件不但是一个必要条件，也是一个充分条件，也就是说，如果 存在一个降正规列（类似上述的群塔，每一个是右边一个的正规子群，且商群为p次循环群 ，直到只包含一个元素的群{e} ;同时 具备该性质的群Gal(L:K)被称为可解群） 那么我们就可以反过来构建出上述域塔，直到包含方程的所有根；

如此，就得到了一句著名的论断： 一个方程可以根式求解 当且仅当 其分裂域 在系数域 上的扩张 对应的伽罗群 为可解群 ；

当然，这里面省略了很多细节，不过思路是说清楚了，最后利用上述论断，可以把方程是否可根式解的问题转换为伽罗瓦群的可解性问题，而域的话通常包含无穷元素，但伽罗瓦群是有限群，只包含有限个元素，因此理论上一个群是否可以解 一定可以在有限时间内求解出来； 同时伽罗瓦论证了，对于一般的5次方程或者更高次方程来说，其伽罗瓦群恰好不可解，因此一般的5次或更高次方程就无根式解了； 所谓的一般的方程的5次方程，指的是系数都是未知数（用字母表示的那种）方程；不排除某些特殊方程（例如分圆方程 ）可以根式求解；

后记： 伽罗瓦被认为 是人类历史上最具创造力的数学家之一，个人认为他解决该问题主要借鉴了2位大师的研究成果和思路， 一个是拉格朗日（曾系统研究过5次方程解问题，提出了拉格朗日预解式的概念，对于L:K中的L可以给出精确刻画；在伽罗瓦理论推理中起到重要作用，同时也意识到置换（其实就是置换群）对方程根的决定意义，但没有明确提出） 另外一个就是高斯（系统解决了分圆方程的根式求解问题，其中已经蕴含域扩张的思想只不过没有明确提出，同时分圆域和正规扩域有着密切联系，其中一些计算技巧也被伽罗瓦直接借鉴） 不过伽罗华最大的贡献在于提出了群的概念，把域和群结合起来， 伽罗瓦只活了21岁，大概在18-21岁解决了这个问题，被认为是早逝的天才， 同时伽罗瓦理论对域的分析的直接推论也可以解决古希腊三大难题中的两个 三等分已知角 ，倍立方 都是不可能的 （证明思路大概都是说不存在那样的域扩张） 伽罗瓦之后数学渐渐走向抽象的现代数学，因此这是一个值得纪念的里程碑事件

伽罗瓦理论难度

您好，伽罗瓦理论难度，很难，是一个还没有解决的问题。伽罗瓦理论是指用群论的方法来研究代数方程的解的理论。解方程一直是代数的一个中心问题。大概在3000年以前，人们就基本上得到了了二次方程的解的公式；与三四次方程的解法比二次方程的解法要晚多，都是用根式法解的。那么，4次以上的方程该怎么解呢？差不多经过200多年的时间，有不少著名数学家，如欧拉、拉格朗日等，做了很大的努力，没有取得重要的进展。最后，高斯用根式法解出。阿贝尔证明了高于四次的一般方程，不可能用根式求解，在他的工作中，阿贝尔引入了域与在给定域中不可约的多项式的概念。包贝尔企图刻画全部能用根式求解的方程的特性，但他过早的病死而没有能完成这个工作，伽罗瓦接过阿贝尔的工作彻底地、完满的解决了，从而建立了现在所谓的伽罗瓦理论。伽罗瓦的主要结论是这个群刻画了所给方程的根的代数特性，当时虽然还没有抽象的群与域的名词，伽罗瓦确实用到了群与域这些概念，因而有人把伽罗瓦看成是近代抽象代数的创始人。由伽罗马理论，每个有理系数的多项式都决定一个群，即他的伽罗瓦群。一个自然的问题：是否任意一个有限群都同构于一个有理系数多项式的伽罗瓦群，这个问题通常成为伽罗瓦反问题，是一个还没有解决的问题。数学就是这样的有趣

伽罗瓦理论的基本内容

域的正规可分扩张定义为伽罗瓦扩张。 若K/F为伽罗瓦扩张，K上的F-自同构的集合构成一个群，定义为伽罗瓦群，记为Gal(K/F)。 对于H是Gal(K/F)的子群，称K中在H中任意元素作用下不动元的集合为H的不动域，这是一个中间域。 对于伽罗瓦扩张，扩张的中间域和伽罗瓦群的子群有一一对应的关系。 F⊂E⊂K形式的伽罗瓦扩张，E/F是正规扩张当且仅当Gal(K/E)是Gal(K/F)的正规子群。 在特征为0的域上，多项式的根可用根式解当且仅当其分裂域扩张的伽罗瓦群是可解群。 广义上的伽罗瓦理论还包括尺规作图，诺特方程，循环扩张，库默尔理论等内容。

伽罗瓦理论的介绍

伽罗瓦理论是用群论的方法来研究代数方程的解的理论。在19世纪末以前，解方程一直是代数学的中心问题。早在古巴比伦时代，人们就会解二次方程。在许多情况下，求解的方法就相当于给出解的公式。但是自觉地、系统地研究二次方程的一般解法并得到解的公式，是在公元9世纪的事。三次、四次方程的解法直到16世纪上半叶才得到。从此以后、数学家们转向求解五次以上的方程。伽罗瓦的思想对代数学的发展起了决定性的影响，其影响几乎长达整整一个世纪。

伽罗瓦理论（三+）

以上概要仅为表明伽罗瓦所述思想。他的工作是这样进行的：给了一个一般或特殊的方程，他首先说明如何找到这个方程在系数域中的群G，即根的置换群，这些置换使根之间的系数在该域中的全部关系保持不变。必须在不知道根的情况下找到这个方程的群。在上面的例子中，四次方程的群是8阶的，而系数域是R，在找到方程的群G后，下一步是找G的最大子群H，上例中是一个4阶子群，假如有两个或多个最大子群，可任选一个。确定H是纯粹群论的问题，是能够做到的。找到H后，可用一套仅含有理运算的手续来找到根的一个函数Φ，它的系数属于R，且在H的置换下值不变，但在其它置换下值发生变化。在上例中 ，实际上有无穷多个这样的函数，这也要在不知道根的情况下找出。一种方法是构造R中的一个方程，使它的一个根就是函数Φ。这个方程的次数是H在G中的指数，称为部分预解式、在上例中，方程是 ，次数是8/4或2。接着从这个部分预解式解出根Φ，上例中 ，添加到R中得到新域R’，于是可证明，原方程关于域R’的群是H。 重复以上步骤，现在有4阶群H和域R’，下一步找H的最大子群。在上例中是2阶子群，称其为K。能得到原方程的根的一个函数，它的系数属于R’，值在K的每个置换下不变，而在其它置换下变化。上例中构造方程 ，方程次数是K关于H的指数，即4/2或2。这个方程是第二个部分预解式，然后解预解式得到一个根即函数Φ1，把这个值加到R’得到域R’’，原方程关于域R’’的群是K。 再重复以上步骤找K的最大子群L，上例中是恒等置换E。要找根的一个函数（系数在R’’中），值在E下不变，而在其它置换下变化。上例中的函数是x1-x2，为了在不知道根的情况下得到Φ2，必须构造R’’中的一个方程，以函数Φ2为一个根。上例中构造方程 ，方程次数是L关于K的指数2/1或2。这个方程是第三个预解式，必须解方程得到Φ2，把根添加到R’’得到域R’’’。假设这是最后一步，原方程在R’’’中的群是恒等置换E. 接着伽罗瓦证明，当一个方程关于给定域的群恰是E时，那么方程各个根都属于该域，因此根在R’’’中，又因R’’’是由已知域R逐次添加已知量获得，因此知道根所在的这个域。其次有一个用R’’’中有理运算直接找根的步骤。 伽罗瓦给出了一个方法找给定方程的群、逐次的预解式以及方程关于逐次扩大了的系数域的群，即原有群的逐次子群，而扩大的系数域是由添加这些逐次的预解式的根到原来的系数域获得的。这些步骤包含了一个可观的理论，但正如伽罗瓦指出的，这不是解方程的实际方法。 之后伽罗瓦把上述理论运用到用有理运算和根式解多项式方程的问题，这里他引入了群论的另一个概念，设H是G的一个子群，如果用G的任一元素g乘H的所有置换，则得到一个新的置换集合gH(表示先g后H)，如果对G中的每个g有gH=Hg，称H为G的一个正规子群（自共轭或不变子群） 伽罗瓦的解方程法要找预解式并求解，他证明当作为约化方程的群（比如由G约化到H）的预解式是一个素数次p的二项方程x^p=A时，则H是G的一个正规子群（且指数为p）；反之，如果H是G的一个正规子群，且具有素指数p，则相应预解式是p次二项方程，或能化简为二项方程。如所有逐次预解式都是二项方程，则由高斯关于二项方程的结果，能用根式解原方程，因为能从最初的域逐次添加根式得到根所在的最后的域。反之如果一个方程能用根式求解，则必定存在预解式方程组，且预解式方程都是二项方程。 今天可用根式求解理论大致和上述理论相同，不同的是在子群序列G,H,K,L..,E中，每个群必须是前一个群的极大正规子群（而不是任何较大正规子群的子群），这样的序列叫做合成序列。H对G的指数、K对H的指数等叫做合成序列的指数。若指数都是素数，则方程能用根式求解，若指数不是素数，则不能用根式求解。找极大正规子群时可能有多个选择，可任选一个，虽然由此得到的子群可能不同，但产生的指数集合完全相同（指数出现的次序可能不同，参考Jordan-Holder定理）。如果群G包含一个素数指数的合成序列，则方程可解。 对一般的n次方程，这个群由n个根的全部n!个置换组成，称为n级对称群，它的阶是n！，极大正规子群（也称交错子群）阶为n!//2，这个交错群仅有的正规子群是恒等元素，指数是2或n!/2，对n》4，n!/2不是素数，因此次数大于4的一般方程不能用根式求解。另一方面，二次方程可以借助一个预解式方程解出，合成序列的指数只有1个2。一般的三次方程，需要两个预解式方程，形式为y^2=A和z^3=B，合成序列的指数是2和3。一般的四次方程有四个二项预解式方程，一个三次和三个二次的，合成序列的指数是2.3.2.2。 伽罗瓦对数字系数的方程给出了一个和独立系数为字母的方程相似的理论，基本原理是相同的，不过判定可用根式求解的步骤更复杂。 伽罗瓦还证明了一些特殊定理。如果有一个素数次的不可约方程，其系数在域R中，它的根全部是其中两个根的带有R中系数的有理函数，则方程可用根式求解。并证明了逆定理：每个可用根式求解的素数次的不可约方程，每个根都是其中两个根的带有R中系数的有理函数。这种方程现在称为伽罗瓦方程，这个概念是对阿贝尔方程的推广，最简单的伽罗瓦方程是x^p-A=0。

沿用至今的伽罗瓦理论到底有多伟大

一元二次方程的解法是我们再熟悉不过的数学知识，但一元三次方程的解法似乎并不广为人知，而了解四次方程解法的就更少了。当然，解三次和四次方程都是有判断法则和求根公式的，这和二次方程是类似的。那么一个自然的问题是次数高于四次的一般代数方程有没有求根公式呢？也就是能不能利用系数把解表示出来呢？

于十六世纪的代数学而言，解三次和四次方程就是最大的难题，这一问题最终由意大利数学家塔尔塔利亚和卡尔达诺所解决。他们解四次方程的思想是通过变量替换获得一个三次方程，通过解这个三次方程就能获得原四次方程的解，于是很多数学家都想通过模仿这一方法来获得高次方程的根式解。

欧拉，高斯，拉格朗日这样当时最伟大的数学家都做过尝试，但最终都失败了。拉格朗日甚至发表了长篇大论，详细分析了三四次方程的解法，指出这种方法不可能适用于高次方程，最后拉格朗日惊叹：“高次方程的根式解是不可能解决的数学问题之一，这是在向人类的智慧挑战！”

所幸的是，在阿贝尔之后，法国天才数学家伽罗瓦（1811~1832）继承了他的思想，并进一步发展了相关理论，特别地，伽罗瓦深入研究了置换群论，彻底弄清了方程与根之间的关系，并最终形成了如今强大的伽罗瓦理论。伽罗瓦的工作是在拉格朗日、高斯和阿贝尔等前辈的启发下完成的，他创造性地引入了置换群、子群和正规子群等群论的概念，这些概念已经成为代数学中最重要和最基本的东西。

伽罗瓦理论（五+）

伽罗瓦之后，若尔当(Camille Jordan,1838-1922)为伽罗瓦理论作了显著贡献，1869年他证明了一个基本结果，当G1是G0的极大自共轭（正规）子群，G2是G1的极大自共轭子群，依次类推直到群为恒等元素时，子群序列称为G0的合成序列，若 是Gi中阶为r的任一自共轭子群，G1的阶是p，则Gi可分解为λ=p/r个类。如果一个元素是另一元素和 中一个元素的积，则两个元素属同一类，若a是一个类的任一元素，b是另一个类的任一元素，则两元素的积在同一个第三类中，这些类形成一个群，如 是群的恒等元素，则该群称为Gi在 下的商群或因子群，表示为 (若尔当1872年引入符号)。商群G0/G1,G1/G2,...称为G0的合成因子群，其阶称为合成因子或合成指数，G0的合成序列可多于一个。若尔当证明，合成因子出现顺序可能变化，但集合不变，莱比锡教授Otto Holder(1859-1937)证明，商群本身与合成序列无关，即对任何合成序列有同样商群集合，这两个结果合称为Jordan-Holder定理。 1870年若尔当将（有限）置换群知识及其与伽罗瓦方程理论的联系编入《置换和代数方程专论》一书，今天在群定义中作为公设提出的其它性质，在当时要么作为明显性质、要么作为附加条件提出，而不是在定义中指出。他在书中提供了新结果，并对置换群建立了明确的同构、同态概念，后者是两群之间的多一对应，使a b=c蕴含a’ b’=c’。书中还包含若尔当对阿贝尔问题的解答，即确定一个给定次数的能用根式求解的方程，以及识别给定方程是否可用根式求解，可解方程的群都是交换群，若尔当称它们为阿贝尔群，自此阿贝尔群的术语就用于交换群了。 若尔当《专论》出版不久后，西罗（Ludwig Sylow,1832-1918）证明了关于置换群的另一个重要定理。柯西曾证明，阶可被一个素数p整除的每一个群，必定包含一个或多个p阶子群，西罗推广了这一定理：如果一个群的阶可被 整除，但不被 整除，且p是素数，则此群有且只有一组共轭的 阶子群，他同时证明每个 阶的群可解，即正规子群序列的指数都是素数。 纯物理研究启发了对置换群及更一般群的探索。物理学家和矿物学家布拉维（Auguste Bravais，1811～1863）研究了运动群以确定晶体的可能结构，这个研究在数学上等价于行列式为＋1、－1的三个变量的线性变换 的群，引导布拉维发现晶体中可能出现的32类对称的分子结构（32个点群，布拉维将其划分为7种晶系，14种布拉维格子） 布拉维的工作给若尔当深刻印象，他开始研究群的解析表示及现代称为群的表示理论。1866年Serret用形如 的变换表示置换，若尔当引入了更有用的群表示，用形式为 的线性变换表示置换，由于置换群是有限的，所以必须对变换加上限制使变换群有限，伽罗瓦曾考虑过这样的变换，通过系数和变数在一个素数阶的有限域上取值进行限制。1878年若尔当陈述了有限周期p的线性齐次置换 可以线性地变换到标准型 ，εi是p次单位根，很多人证明过该定理，它开启了对给定的阶确定二元型和三元型（两个变数和三个变数）所有可能的线性置换群的大量研究，以及研究给定线性置换群确定子群以及确定在群或子群全部成员下保持不变的代数式。 若尔当在注意布拉维文章后进行了关于无限群的首个重要研究，1868年他指出确定全部的运动群（仅考虑平移和转动）等价于确定全部可能的分子系统，由此将各种类型的群分类，他的文章开创了在群的标题下研究几何变换，几何学家很快沿着这个方向研究。 19世纪还有一个值得注意的发现。凯莱(Author Cayley)受柯西影响，认识到置换群的概念可以推广。他引入抽象群的概念，把一个一般的算子符号θ用于一组元素x,y,z,...产生x’,y’,z’,...他指出θ可以是一个置换，抽象群包含很多算子θ，Φ，...，θΦ是两个算子的复合（乘积），复合可结合的，但不一定可交换。群的一般定义要求算子1,α,β,..的一个集合，它们全不相同，其中任两个算子在任何一个次序下的乘积和任一个算子和它本身的乘积都属于该集合。他举出矩阵在乘法下以及四元数（在加法下）构成群，不过他引入的抽象群概念在当时未引起重视，因为矩阵和四元数也是新概念，而符合群概念的很多数学系统还有待发展，或者人们还没认识到可以这样分类。

伽罗瓦理论的发展历史

经过两个多世纪，一些著名的数学家，如欧拉、旺德蒙德、拉格朗日、鲁菲尼等，都做了很多工作，但都未取得重大的进展。19世纪上半叶，阿贝尔受高斯处理二项方程 (p为素数)的方法的启示，研究五次以上代数方程的求解问题，终于证明了五次以上的方程不能用根式求解。他还发现一类能用根式求解的特殊方程。这类方程现在称为阿贝尔方程。阿贝尔还试图研究出能用根式求解的方程的特性，由于他的早逝而未能完成这项工作。伽罗瓦从1828年开始研究代数方程理论(当时他并不了解阿贝尔的工作)，他试图找出为了使一个方程存在根式解，其系数所应满足的充分和必要条件。到1832年他完全解决了这个问题。在他临死的前夜，他将结果写在一封信中，留给他的一位朋友。1846年他的手稿才公开发表。伽罗瓦完全解决了高次方程的求解问题，他建立于用根式构造代数方程的根的一般原理，这个原理是用方程的根的某种置换群的结构来描述的，后人称之为“伽罗瓦理论”。伽罗瓦理论的建立，不仅完成了由拉格朗日、鲁菲尼、阿贝尔等人开始的研究，而且为开辟抽象代数学的道路建立了不朽的业绩。