伽罗瓦理论基本定理是抽象代数中的定理，通过群的概念来描述特定域扩张的细致结构。定理说明了，如果某个域扩张是有限伽罗瓦扩张，则此扩张的伽罗瓦群的子群与其中间域（即子扩张⊂⊂中的）之间有一一对应关系。

简介
伽罗瓦理论最初研究的目标是域上多项式方程的根式通解问题。18世纪时，数学家已经知道，任意的二次方程、三次方程和四次方程可以通过配方法开方求解。但对五次以上的多项式方程，一直没有发现通用的根式求解方法。19世纪初，伽罗瓦和阿贝尔创造了群论，将多项式的不同根之间的关系用群来表示，从而揭示了多项式的根的根本性质。

从阿廷起，数学家开始使用域扩张的理论，更严谨地表述伽罗瓦的理论，先将多项式的性质转化为域扩张中的性质，然后通过研究域扩张对应的自同构群，利用群论的知识来解析域扩张的结构，从而对多项式及其根的性质进行更深刻的刻画。

给定域扩张，上的自同构里，在上平凡（即为恒等映射）的环自同构称为中的自同构。所有中的自同构组成一个群，称为域扩张的自同构群，简记为。自同构在上是恒等映射，因此不属于的元素在自同构的作用下仍被映射到不属于的元素上。

如果存在的子扩张⊂⊂，则的自同构也构成一个群：。它是的子群，因为在平凡的自同构必然也在其子域上平凡。反过来，给定的某个子群，则可以定义群作用的不动点集合：

可以证明，这个集合是一个域，称为子群的不变域。它是的扩域，是的子域，即是的中间域。显然

一个自然的猜想是：，即所有不属于的元素，都会在某个自同构的作用下被映射到其他的元素上去。然而这个命题只对特定的域扩张成立。

如果某个不属于的元素是上的代数元，设其为某个多项式的根，则在中任一个自同构的作用下的像仍是的一个根。事实上，如果设：

那么

这说明，自同构将多项式的根进行重新排列。因此，对自同构的研究可以帮助了解多项式的根。

为了讨论多项式的根，引入正规扩张的概念。给定一个域扩张，任一不可约多项式如果有一个根在中，那么全部根都在中。这样的扩张称为正规扩张。正规扩张中，自同构可以将多项式的根映射到它的任意其他根上。因此，对中任一个不属于的元素，都有自同构将其映射到它的极小多项式的任意其他根上。另外再假定任意元素的极小多项式都没有重根（这样的扩张称为可分扩张）。这时，一个自同构或某些自同构组成的群的不动点集合将和多项式的根产生密切联系。这样的域扩张称为伽罗瓦扩张。若是伽罗瓦扩张，它的自同构群称为伽罗瓦群，记作。当是有限扩张时，伽罗瓦群是有限群，其元素个数等于域扩张的次数，并且有。而伽罗瓦理论基本定理更进一步，给出了的子群和的中间域的对应关系。

对应关系
从前述中已经知道，给定的某个子群，其不变域：

是的一个中间域。给定中间域，则是的子群。如果是有限的伽罗瓦扩张，那么伽罗瓦理论基本定理说明，的伽罗瓦群的子群与的中间域之间有一一对应关系：
对伽罗瓦群的每一个子群，唯一对应一个中间域，即其不变域：
对域扩张的每一个中间域，唯一对应一个群： 它是的伽罗瓦群的子群。
这两种叙述是互洽的，也就是说，

基本性质
中间域与伽罗瓦群的子群之间有一个反向的包含对应关系：如果伽罗瓦群的某个子群是另一个子群的子群，那么对应的中间域是对应的中间域的扩域。

伽罗瓦群的子群的元素个数，以及它在伽罗瓦群中的指数，和对应的中间域相关的扩域的次数相同。如果是的子群，那么，。

给定伽罗瓦扩张的中间域和中的自同构，则作用在上得到的像集也是一个中间域。设对应的伽罗瓦群子群是，则中间域()对应的子群是-1。如果是正规扩张，则对于任意的自同构，。这也说明对于任意的自同构，-1 。这样的子群称为正规子群。域扩张是正规扩张当且仅当其对应的子群是正规子群。对于正规子群，可以定义对的商群。这个商群和是同构的。

例子

克莱因四元群

从有理数域出发。设扩域。是在有理数域中添加根号2与根号3得到的扩域，也可以看成是，即先在有理数域中添加根号2，再在其中添加根号3得到的扩域。因此其中每个元素可以表达成如下的形式：

可以证明域扩张是可分正规扩张，即伽罗瓦扩张。它的自同构群为中所有对有理数为恒等映射的同构。设有自同构，则将任何有理数映射到它自身，将根号2映射到自身或负根号2上，将根号3映射到自身或负根号3上。这是因为：

这说明自同构群中包含四个元素：、、、。具体为：

同构于克莱因四元群，它的子群包括以及自身。考虑在这些子群的作用下，保持不变的元素构成的集合：
中所有的元素都在下不变，所以，
将根号2变换到负根号2，而保持根号3不变，所以， 
将根号3变换到负根号3，而保持根号2不变，所以，
将根号2与根号3分别变换到负根号2与负根号3，因此只有根号6经历了两次变换而保持原号，所以，
由于根号2和根号6在作用下变号，根号3在作用下变号，所以只有有理数能够在所有的自同构下保持不变，即。
以上的结论说明域扩张真正的中间域有3个，分别是：、和。

非交换群的例子

以下给出一个伽罗瓦群不是交换群（阿贝尔群）的例子。设有多项式，这是一个在上不可约的有理系数多项式。他在上对应的分裂域是，其中的是2的三次方根，是三次单位根。域扩张是可分正规扩张，因此是伽罗瓦扩张。考虑其伽罗瓦群。与上一个例子类似地，它里面的自同构必然也是只可能是对和产生变换。设有自同构，则它将和变换后的结果满足：

所以作用在上的结果有三种：、或，而作用在上的结果有两种：或。这是因为的结果不可能是1，否则会与矛盾。这表明中元素有六个，可以表示为：其中：

下面给出由伽罗瓦理论基本定理指出的子群与中间域的对应关系：
与上例一样，在平凡子群作用下不变的是中所有元素，在群所有元素作用下不变的只有中元素。所以平凡子群对应着而对应着。
仅有一个三元子群，在其作用下不变的是，因此它对应的是中间域。，等于在中的指数。是的正规子群，所以是正规扩张。
有三个二元子群，分别是它们对应的中间域分别是、和。这些中间域都是有理数域的三次扩域，与对应子群在中的指数相等。由于这三个二元子群都不是的正规子群，所以相应的，这些中间域也不是有理数域的正规扩张。事实上，它们各自是在有理数域中添加多项式的一个根得到的扩域，但另外两个根都不在其中。

应用 
从上述例子可见，伽罗瓦理论基本定理的作用是将域扩张的中间域结构，转化为特定群的子群来描述。将难以用直接的方法刻画的中间域，和可以用群论中的成熟方法刻画的有限群子群对应起来。

伽罗瓦基本定理的最初应用是在使用伽罗瓦理论证明五次或以上的多项式方程没有代数解求根公式的问题上。其证明的主要思路是将“开次方”的过程转化为“在基域中添加次方根”生成的域扩张。将多项式有代数解的问题转化为某个分裂域是否可以通过有限次特定的域扩张得到的问题。而这些域扩张是否满足条件，则可以由伽罗瓦基本定理将其转化为判定“特定的伽罗瓦群是否有某种特殊的子群和商群（称为可解群）”的问题。阿贝尔-鲁菲尼定理说明了：一般的五次或以上的多项式方程，其对应的伽罗瓦群是元置换群（大于等于5），而这个群唯一的非平凡正规子群：元交替群是不交换的单群，无法满足要求。因此，不存在使用根式求解一般的五次或以上的多项式方程的方法。

推广
对于无限的伽罗瓦扩张，伽罗瓦理论基本定理不再成立，因为这时伽罗瓦群的子群个数会比中间域的个数要多。然而，在给伽罗瓦群装备了一定的拓扑结构（Krull拓扑）后，可以证明域扩张的中间域和所有的闭子群之间有一一对应的关系。因此，在此拓扑下，有推广的伽罗瓦理论基本定理：
给定无限伽罗瓦扩张，其伽罗瓦群的所有闭子群与之间存在一一对应关系：

子扩张是伽罗瓦扩张，当且仅当中间域对应的子群是伽罗瓦群的正规子群。扩张的次数有限，当且仅当在中的指数有限，或当是的开子群。。

参见
伽罗瓦理论

注释

参考来源

伽罗瓦理论
代数定理
域论
多项式