伽罗瓦理论

数学中，特别是抽象代数理论中，得名于法国数学家埃瓦里斯特·伽罗瓦的伽罗瓦理论提供了域论和群论之间的联系，即伽罗瓦理论基本定理。这样可以将域论中的某些问题还原到群论，使其更简单、更易理解。
若方程的根可用只涉及有限次整数、方根与4种基本算术运算的式子表示，就称方程是根式可解的。伽罗瓦将多项式的根引入为研究课题，这样能根据多项式根置换群的性质描述根式可解多项式方程的特征。这广泛地概括了阿贝尔-鲁菲尼定理，其指出五次及以上的一般多项式不是根式可解的。
伽罗瓦理论证明古典的倍立方、三等分角按其表述不可解，描述可作图多边形的特征（高斯曾给出这一特征，即formula_1是2的幂次，其中formula_1是欧拉函数，n是正多边形的边数，但没有证明可作图的多边形的列表是完整的（没有证明必要性）。所有已知完整证明都需要伽罗瓦理论。）
伽罗瓦最初使用置换群来描述给定的多项式的根与系数间的关系。约瑟夫·刘维尔在伽罗瓦去世14年后将他的著作编辑成册并出版。伽罗瓦理论在数学界流行起来需要更长时间。戴德金（Julius Wilhelm Richard Dedekind）、利奥波德·克罗内克（Leopold Kronecker）、埃米尔·阿廷（Emil Artin）等人发展起来的现代伽罗瓦理论引入了关于域扩张及其自同构的研究。
伽罗瓦理论的进一步抽象为伽罗瓦连接与格罗滕迪克伽罗瓦理论。
在经典问题上的应用.
伽罗瓦理论的诞生最初是由于如下的现在称之为阿贝尔-鲁菲尼定理的问题，19世纪初之前一直是主要的未解决数学问题之一：
阿贝尔-鲁菲尼定理提供了一个反例，证明对一部分多项式方程不存在这样的公式。伽罗瓦理论为这问题提供了更完整的解答，而且详细的解释了为什么四次及更低次方程有代数解，以及它们的代数解为什么是那样的形式。此外，它还提供了一种确定特定方程可不可解的方法，这种方法概念清晰，易于用算法表示。
伽罗瓦理论还对尺规作图问题提出了清晰的洞察，给出了所有可以尺规作图的长度比的一个优雅描述。这样，一些经典几何问题的解答变得相对容易：
历史.
伽罗瓦之前.
伽罗瓦理论源于对称函数研究，即首一多项式的系数（在符号意义上）是根的初等对称多项式。例如，formula_3，其中1、formula_4、formula_5是0、1、2次二元初等多项式。
16世纪法国数学家弗朗索瓦·韦达在韦达定理中首次正式表述了正实数根的情形。18世纪英国数学家查尔斯·赫顿认为，用多项式系数表示方程的根（不只是正根）的方法始见于17世纪法国数学家Albert Girard，赫顿这样写道：
...[Girard是]第一个理解由根及其乘积之和形成幂的系数的一般学说的人。他是第一个发现任何方程根的幂的求和规则的人。
因此，判别式是根的对称函数，反映了根的性质：当且仅当多项式有重根时，判别式为零；对于2、3次多项式，当且仅当所有根都是互不相等的实数时，判别式为正；当且仅当有一对不同的复共轭根时，判别式为负。
15–16世纪意大利数学家希皮奥内·德尔·费罗首次发现了部分一元三次方程的解法，但没有公布自己的成果。1535年，尼科洛·塔尔塔利亚独立发现了这套解法，并与吉罗拉莫·卡尔达诺分享，但要求他不要发表。卡尔达诺用类似方法将其推广，可见三次方程#卡尔达诺法。发现德尔·费罗的研究后，他认为塔尔塔利亚的方法不再是秘密，因此在《》（Ars Magna，1545）中发表了自己的解法。他的学生洛多维科·费拉里解出了一元四次方程，解法也收录在《大术》中。不过书中没有一元三次方程解的一般式，因为那时还没有复数和充足的代数符号来描述一般三次方程。用现代符号与复数可以验证，书中公式在一般情形下确实有效，但卡尔达诺不知道。拉斐尔·邦贝利设法用复数求解所有形式的三次方程。
法国意大利裔数学家约瑟夫·拉格朗日的论文《关于代数方程解的思考》（Réflexions sur la résolution algébrique des équations，1770）在拉格朗日法中，分析了卡尔达诺和费拉里的解法，认为其根的排列组合（置换）可以得到低次的辅助多项式，从而对解法有了统一认识，并为群论与伽罗瓦理论奠定了基础。但至关重要的是，他没有考虑置换的组合。拉格朗日法没有推广到五次及以上的方程，因为预解式的次数更高。
保罗·鲁菲尼在1799年几乎证明了五次方程没有一般的根式解，其中关键是置换群，而非单一的置换。他的证明有缺陷，柯西认为这无伤大雅。挪威数学家尼尔斯·阿贝尔在1824年发表的研究中补全了这缺陷，从而建立了阿贝尔-鲁菲尼定理。
鲁菲尼和阿贝尔确定了一般五次方程不可解，而formula_6这种特殊五次方程是可解的。埃瓦里斯特·伽罗瓦找到了五次及以上方程的确切可解指标：多项式是否可解取决于其根的置换群（即其伽罗瓦群）是否具有某种结构（即是不是可解群）。对四次及以下的多项式，这个群总可解；而五次及以上的多项式则不总是可解的。
伽罗瓦.
1830年，18岁的伽罗瓦向巴黎科学院提交了一份备忘录，介绍了他的根式可解性理论。次年，他的文章因过于简略和给出的是方程根（而非系数）的条件而被否决。随后，伽罗瓦在1832年的一场决斗中丧生，他的论文《根式方程可解条件备忘录》（Mémoire sur les conditions de résolubilité des équations par radicaux）到1846年才由约瑟夫·刘维尔发表，并附有他自己的一些解释。刘维尔在1843年7月4日的一次演讲中向学院宣布了伽罗瓦的结果。Allan Clark认为，伽罗瓦的描述“极大地取代了阿贝尔和鲁菲尼的工作”。
后续.
众所周知，伽罗瓦理论很难为同时代的人理解。例如，刘维尔在1846年的评论中完全忽略了群论这一方法核心。约瑟夫·阿尔弗雷德·塞雷曾参加过几次刘维尔的演讲，将伽罗瓦理论写入了1866年的教科书《高等代数》（Cours d'algèbre supérieure，第3版）。他的学生卡米尔·若尔当在《关于替代和代数方程》（Traité des substitutions et des équations algébriques，1870）中对伽罗瓦理论有了更深刻的理解。法国之外，伽罗瓦理论在更长的时期中仍然比较模糊。英国数学家阿瑟·凯莱没能领会伽罗瓦理论的深刻内涵，英国流行的代数教科书到20世纪初才提到伽罗瓦理论。德国数学家利奥波德·克罗内克的著作更关注阿贝尔的结果；理查德·戴德金对伽罗瓦理论著述甚少，但在1858年于哥廷根大学发表了关于伽罗瓦理论的演讲，显示了他的深刻理解。1880年代，欧根·内托根据若尔当的《关于替代和代数方程》编写的书，以及海因里希·马丁·韦伯1895年出版的代数教科书，让更多德国和美国读者了解了伽罗瓦理论。
置换群描述.
给定一多项式，它的一些根可能是被不同的多项式方程联系起来的。例如，有两个根"A"和"B"，满足方程formula_7。伽罗瓦理论的核心思想是考虑具有以下性质的根的置换：根满足的任何多项式方程，在置换之后仍成立。此理论最初是针对有理系数代数方程提出的，其实可以自然扩张到系数位于任意域的方程，但简单起见，我们限制在有理数域。
这些置换形成了一个置换群，也称为多项式的伽罗瓦群，可以很清晰的举例说明。
例1：二次方程.
考虑一元二次方程：
应用一元二次方程的求根公式，可得其两个根
"A"和"B"满足一些多项式方程：
这些方程中，交换"A"和"B"，方程恒成立。例如，方程"A" + "B" = 4简单的变成了"B" + "A" = 4。进一步的，这对于"A"和"B"满足的所有可能的多项式方程都成立。这是对称多项式理论的成果，这里可以用二项式定理的公式来代替。
这里会有人产生疑问："A"和"B"同样满足另一个多项式方程formula_12，但交换"A"和"B"后，这个方程将不成立。不过，这里不考虑这种关系，因为它的系数formula_13是无理数。
我们可以总结出，多项式formula_14的伽罗瓦群由两种置换构成：保持"A"和"B"不变的恒同变换，以及交换"A"与"B"位置的换位。它是一个二阶循环群，因此同构于formula_15。
类似讨论适用于任意二次多项式formula_16，其中"a、b、c"都是有理数。
例2：四次方程.
考虑多项式
也可以写成
我们同样希望在有理数域上描述这多项式的伽罗瓦群。这个多项式有四个根：
这四个根有24种可能的排列，但它们并不都是伽罗瓦群的元素。伽罗瓦群的元素必须保持所有"A", "B", "C"和"D"满足的有理系数多项式方程。这样的方程例如：
由此可知，如果"φ"是属于伽罗瓦群的置换，则必须有：
因此置换由"A"的像确定，伽罗瓦群有4个元素：
现代的域论描述.
现代的研究方法是从域扩张"L"/"K"开始，并分析固定"K"的"L"的自同构群。进一步的解释和例子请参见关于伽罗瓦群条目。
这两种描述的关系如下。多项式系数属于基域"K"；扩域"L"应是在域"K"中添加多项式的根得到的域。满足保上述多项式方程的根的置换，都对应"L"/"K"的一个自同构，反之亦然。
在上面的第一个例子中，我们研究的是域扩张formula_31，其中formula_32是有理数域，而formula_31是在formula_32中加入formula_35得到的域。在第二个例子中，我们研究的是域扩张formula_36。
现代的方法比起置换群方法，有几点优势：
可解群和根式解.
群论中可解群的概念让我们得以确定多项式何时有根式解，这取决于其伽罗瓦群是否有可解性。每个域扩张formula_37实质上都对应伽罗瓦群合成列中的某因子群。若合成列的某因子群是"n"阶循环群，且若相应域扩张formula_37中，域"K"已经包含了原始"n"次单位根，则其就是一个根式扩域，"L"的元素就可以用"K"中某元素的"n"次根表示。若合成列中所有因子群都是循环群，则称此伽罗瓦群可解，相应域中所有元素都可从基域（通常是formula_32）通过取根、积、求和得到。
有根式解的充要条件是其分裂域"L"对基域"F"的伽罗瓦群可解。简言之，取此伽罗瓦群的任一合成列，透过伽罗瓦理论基本定理，合成列对应到一族子域formula_40，各段formula_41的伽罗瓦群一一对应于合成列的因子。若formula_41之伽罗瓦群是n阶循环群，则域扩张formula_41由n次根式生成。伽罗瓦群可解若且唯若合成列的因子皆为循环群，于是若群可解，相应方程便有根式解。反向的结果亦不难证明。
伽罗瓦理论的重大成就之一是证明了当formula_44时，一般的"n"次多项式无根式解（「一般」意谓将多项式系数视为独立变元）（几年前尼尔斯·阿贝尔用相似方法独立证明了这一点，这就是阿贝尔-鲁菲尼定理），并得到了检验多项式是否根式可解的方法。原因是对称群formula_45在formula_44时包含的正规子群中有个单群是交错群formula_47，不是循环群，因此不可解。
例3：不可解的五次方程.
以多项式方程 formula_48 为例。
根据有理数根定理，方程无有理零点，也无模2或3的线性因子。formula_49模2的伽罗瓦群是6阶循环群，因为formula_49模2可以分解为2、3次多项式：formula_51。
formula_49模3无线性或二次因子，因此是不可约多项式，于是其模3伽罗瓦群包含5阶元素。
众所周知，素数模的伽罗瓦群同构于有理数上伽罗瓦群的一个子群。
5个对象（其中包含5、6阶元素）上的置换群只能是对称群formula_53，因此对称群formula_53就是formula_49的伽罗瓦群，故无根式解。
这是不可解五次多项式最简单的例子之一。塞尔日·兰说埃米尔·阿廷很喜欢这个例子。
逆伽罗瓦问题.
逆伽罗瓦问题是寻找具有给定伽罗瓦群的域扩张的问题。
不指定基域的话问题并不难，而且所有有限群都能作为伽罗瓦群出现。证明这一点可以这样做：选定域"K"和有限群"G"。凯莱定理指出，"G"（在同构意义上）是对称群"S"在"G"的元素上的子群。选择不定项formula_56，"G"的每个元素formula_57对应一个不定项，与"K"相配得到域formula_58。"F"中包含了formula_56中的对称有理函数域"L"。根据埃米尔·阿廷的基本结果，formula_60的伽罗瓦群是"S"。"G"通过"S"的作用的限制作用于"F"，若此作用的定域是"M"，则据伽罗瓦理论基本定理，formula_61的伽罗瓦群就是"G"。
另一方面，是否每个有限群都能作为有理数域formula_32某域扩张的伽罗瓦群，仍是未知的。证明可解有限群都是formula_32的某扩张的伽罗瓦群。很多人已解决了某些非阿贝尔单群的逆伽罗瓦问题。在26个散在单群中，除马蒂厄群formula_64外，其他解都已证明了存在性。甚至还有一种整系数多项式，其伽罗瓦群是魔群.
不可分扩张.
在上述形式中，特别是伽罗瓦理论基本定理中，只考虑伽罗瓦扩张，是可分扩张。一般的域扩张可以分为可分扩张与纯不可分扩张，对后者如formula_65，有一种伽罗瓦理论，其中伽罗瓦群被导子的向量空间formula_66取代，即满足莱布尼茨法则的"F"的"K"-线性自同态。这种对应关系中，中介域"F"被赋予formula_67。相反，满足进一步适当条件的子空间formula_68映射到formula_69。在formula_70的假设下，证明，这建立了一一对应关系。利用导出代数几何概念给出对应关系，消除了Jacobson提出的条件。
外部链接.
以下是一些网上的教学资料：
中英夹杂的教学资料：
以下网站提供德语、中文、英语、法语、意大利语、西班牙语及罗马尼亚语版的线上教材：
以下网站提供伽罗瓦生平及其理论的应用：