1 基本概念
1.1 定义与直观理解
伽罗瓦群是用来描述代数对象“对称性”的群结构。对于一个多项式或一个域扩张，人们关注的是：在不破坏已知代数关系的前提下，哪些变换能够把根或元素重新排列而保持整体结构不变。这些变换组成的群，就称为相应对象的伽罗瓦群。
从直观上看，伽罗瓦群像是一套“允许的重排规则”。如果把方程的各个根看作若干彼此关联的对象，那么伽罗瓦群刻画的正是它们之间能够互相替换而不改变方程本质的方式。它不仅揭示了方程背后的对称性，也为判断方程是否能用根式求解提供了入口。
1.2 域扩张中的自同构
在域论中，伽罗瓦群通常定义为某个域扩张上保持基域不变的自同构群。这里的自同构指的是域到自身的结构保持映射，即加法、乘法和单位元都被保留。若一个映射在作用于扩张域时不改变基域中的元素，就可以把它视为对扩张结构的内部对称变换。
这种定义把“方程的根”转化为“域中的元素”，从而可以借助抽象代数工具研究代数关系。对于分裂域等特殊构造，伽罗瓦群尤其能够完整反映根之间的相互作用。
1.2.1 固定域与不动元
伽罗瓦群中的每个自同构都会固定一部分元素，这些被所有群元素共同固定的元素构成固定域，也称不动域。固定域反映了该群所允许的对称变换所不能触及的部分。
从结构上说，不动元越多，说明群的作用越“弱”；反之，不动元越少，则群的对称性越丰富。固定域是伽罗瓦理论中连接“群”和“域”的关键桥梁。
1.2.2 自同构群的封闭性
伽罗瓦群之所以构成群，是因为它在复合运算下满足封闭性：两个保持基域不变的自同构复合后，仍然保持基域不变。与此同时，恒等映射也属于其中，而每个自同构都存在逆映射，且逆映射同样保持结构。
这种封闭性保证了群论方法可以直接应用于域扩张研究。正是由于这一点，伽罗瓦群能够成为分析代数方程的系统工具，而不是零散的变换集合。
1.3 伽罗瓦群的表示方式
伽罗瓦群可以用不同方式来表达，常见的是置换表示和矩阵表示。前者更贴近根的重排直观，后者则便于与线性代数和表示论联系起来。
不同表示方式并不改变群本身，只是从不同角度展示其结构特征。对于具体问题，选择适当表示往往能让计算和分类变得更清晰。
1.3.1 置换表示
在多项式的情形中，伽罗瓦群常被看作对根集的置换群。群中的每个元素对应一种允许的根的重新排列，并且这种排列必须保持所有代数关系。
置换表示具有很强的直观性，因此在低次多项式和具体计算中尤为常用。通过观察根在自同构作用下如何互相交换，可以推测群的大小和结构。
1.3.2 矩阵表示
当伽罗瓦群作用于某个向量空间或线性对象时，可以把群元素表示为矩阵。这样一来，群的运算就转化为矩阵乘法，从而能利用线性代数方法分析。
矩阵表示常见于更广义的伽罗瓦表示理论中。它把抽象的群作用具体化为线性变换，对研究数论与几何中的对称性十分重要。
2 伽罗瓦理论基础
2.1 域扩张
域扩张是伽罗瓦理论的基本舞台。若一个域包含于另一个更大的域中，就形成了域扩张。扩张域中的元素往往是通过加入某些代数元得到的，例如某个多项式的根。
域扩张使得“在原域中无法表达的对象”可以被纳入统一框架。伽罗瓦理论正是在这种扩张环境中研究对称性与可解性。
2.1.1 有限扩张
若扩张域作为基域上的向量空间维数有限，则称为有限扩张。这个维数常被记作扩张次数，是衡量扩张复杂程度的重要指标。
有限扩张是伽罗瓦理论中最常见也最易处理的情形。很多经典定理都在有限扩张框架下表述，并且与多项式分裂域直接相关。
2.1.2 正规扩张
正规扩张指的是：对于扩张域中的代数元，其最小多项式一旦在扩张域中出现一个根，通常会“成套”地在该域中分解。换言之，该扩张对相关多项式的根具有完整包容性。
这种性质保证了扩张域不会只包含某个根的“半成品”信息，而是把与之相关的所有共轭根一起纳入。正规性是伽罗瓦扩张的重要组成部分。
2.1.3 可分扩张
可分扩张强调代数元的最小多项式没有重根，或者说根彼此可区分。这个条件排除了某些特殊的退化情形，使理论结构更为整齐。
在特征为零的常见数学环境中，很多代数扩张自动可分，因此伽罗瓦理论表现得尤为顺畅。可分性与正规性结合，构成了伽罗瓦扩张的核心条件。
2.2 伽罗瓦扩张
当一个域扩张同时满足正规与可分两项条件时，就称为伽罗瓦扩张。伽罗瓦扩张具有极好的对称性，其自同构群能够完整反映扩张结构。
伽罗瓦扩张之所以重要，是因为它把代数结构和群结构紧密连接起来。通过研究扩张的自同构群，可以反推出许多关于中间域和多项式根的性质。
2.2.1 伽罗瓦扩张的判定
判定一个扩张是否为伽罗瓦扩张，通常要检查它是否既正规又可分。对于由多项式分裂域生成的扩张，这一判定尤其自然，因为分裂域往往是最典型的伽罗瓦扩张来源。
在实际问题中，人们也会借助最小多项式、重根情况以及域内共轭元的分布来判断。若扩张能容纳所有相关根且不存在不可分现象，通常就可认定为伽罗瓦扩张。
2.2.2 伽罗瓦扩张与伽罗瓦群
伽罗瓦扩张与伽罗瓦群是彼此对应的两个核心概念。对一个伽罗瓦扩张而言，其自同构群能够记录扩张中的全部对称性，而扩张的结构又反过来限制群的可能形式。
这种双向联系是伽罗瓦理论的精髓。它说明“域的代数性质”与“群的组合性质”并非孤立存在，而是能够相互翻译的两种语言。
2.3 基本定理
伽罗瓦理论的基本定理建立了中间域与子群之间的一一对应。它是整个理论中最有代表性的结果，说明域扩张的层次结构与群的子结构完全契合。
这一对应把复杂的代数问题转化成了群论问题，也使得很多看似难以处理的域论结论可以通过子群分析获得。
2.3.1 中间域与子群的对应
在伽罗瓦扩张中，每个中间域都对应一个子群：这个子群由所有固定该中间域元素的自同构组成。反过来，每个子群也对应一个被其所有元素固定的中间域。
这种对应关系不仅存在，而且是反向的、结构保持的。也就是说，域的包含关系与群的包含关系在对应下会反向转换。
2.3.2 典范对应关系
所谓典范对应，指的是这种中间域与子群之间的匹配并非依赖任意选择，而是由理论本身自然决定。它不是“碰巧能对应”，而是带有明确构造的标准关系。
由于这种典范性，伽罗瓦理论能够在不同问题之间统一表达。例如，一个关于子域链的问题，往往可以直接改写为子群链问题。
2.3.3 正规子群与正规中间域
若一个子群在群中正规，则其对应的中间域也具有相应的正规性，通常表现为在某种意义下仍保留伽罗瓦性。反之，某些具有良好对称性的中间域也会对应正规子群。
这一部分揭示了“正规”概念在群论和域论中的平行出现。它说明中间层次的对称性不是局部的，而是能够被整体结构识别。
3 多项式与伽罗瓦群
3.1 多项式的分裂域
分裂域是包含某个多项式全部根的最小域扩张。它把一个多项式所隐含的全部代数信息集中在一起，是研究伽罗瓦群的自然场所。
在分裂域中，多项式可以被完全拆解为一次因子的乘积。由此得到的对称变换，正是伽罗瓦群要刻画的对象。
3.1.1 分裂域的构造
构造分裂域通常从基础域出发，逐步加入多项式的根，直到所有根都被纳入为止。这个过程可以看作是在最小代价下补全方程的代数信息。
对于不同多项式，构造过程可能简单，也可能非常复杂。低次方程往往可以显式描述，而高次方程则常需借助抽象理论理解。
3.1.2 分裂域的唯一性
尽管分裂域的构造方式可能不同，但在同构意义下它是唯一的。也就是说，只要都满足“最小且包含全部根”这一条件，所得分裂域彼此之间本质相同。
这种唯一性保证了伽罗瓦群定义的稳定性。人们不必担心不同构造路径会产生本质不同的对象。
3.2 多项式的伽罗瓦群
多项式的伽罗瓦群是其分裂域相对于基域的自同构群。它反映了多项式各根之间可允许的重排方式，以及这些重排如何保持所有代数关系。
从根的角度看，伽罗瓦群描述的是“哪些根能互换，互换到什么程度”。从代数角度看，它则是分裂域对基域的所有对称性集合。
3.2.1 作为分裂域的自同构群
给定一个多项式，其伽罗瓦群就是分裂域上固定基域的自同构群。每个自同构都会把根映到根，并且保持多项式关系不变。
这一定义使得多项式研究与域扩张理论无缝连接。方程的解不再只是数值问题，而变成了结构问题。
3.2.2 根的置换与群结构
伽罗瓦群中的元素会诱导根集上的置换，因此可以把群看作某个置换群的子群。不同根之间的共轭关系决定了哪些置换是允许的。
这种置换结构常常比直接看多项式更容易理解。尤其当根的排列具有明显规律时，群的类型往往可以较快判断。
3.3 典型多项式的伽罗瓦群
低次多项式的伽罗瓦群是理解一般情形的起点。它们通常有明确的分类结果，能够展示伽罗瓦理论从简单到复杂的过渡。
3.3.1 二次多项式
二次多项式的伽罗瓦群通常非常简单，最多只包含两个元素。其结构常与判别式是否为平方有关。
因此，二次方程的可解性几乎总是直观可见。伽罗瓦群在这里主要承担“验证对称性”的角色。
3.3.2 三次多项式
三次多项式的伽罗瓦群可能是对称群的若干子群，具体取决于判别式和因式分解情况。若三次多项式不可约，其群结构通常较为紧凑。
三次方程是伽罗瓦理论中的经典例子，因为它既不至于太简单，又足以展示群结构如何影响根式求解。
3.3.3 四次多项式
四次多项式的伽罗瓦群类型更加丰富，但仍在可分类范围内。通过分析根的相互关系和分裂域结构，可以得到较明确的判断。
四次方程在历史上也很重要，因为它与早期代数方程求解方法密切相关。其伽罗瓦群常能帮助解释为何某些公式可以成立。
3.3.4 一般 n 次多项式
对于一般 n 次多项式，伽罗瓦群通常非常复杂，常见情形是与对称群密切相关。随着次数增大，可能出现的群类型数量迅速增加。
这也是伽罗瓦理论威力最大的地方：它告诉人们，高次方程并不存在统一的简单根式公式，原因就在于对应群结构的复杂性。
4 伽罗瓦群的性质
4.1 群的阶与扩张次数
伽罗瓦群的阶与扩张次数之间存在重要联系。在有限伽罗瓦扩张中，群的元素个数通常等于扩张次数，这使得群的规模与域的代数复杂度直接挂钩。
这一关系让人能够通过域的大小推测群的可能结构，也可以通过群的阶反过来估计扩张的层次。
4.1.1 群阶与域次数的关系
若扩张是有限伽罗瓦扩张，则其伽罗瓦群的阶等于扩张次数。这一结论是理论中的基本公式之一。
它的意义在于，域扩张的“维数”可以被群的大小精确反映。于是，一个代数问题被转化为一个离散的群计数问题。
4.1.2 轨道与稳定子
群作用下的轨道描述元素在群变换下能够达到的所有位置，而稳定子则是保持某个元素不变的子群。两者之间的联系常通过轨道—稳定子定理体现。
在伽罗瓦群情形中，轨道常对应共轭根的集合，稳定子则反映某些元素的固定对称性。这些概念有助于分析群的作用范围和局部结构。
4.2 可解群与根式可解性
可解群是能通过一系列阿贝尔商群逐层分解的群。它与代数方程是否能由根式表示有着深刻联系。
在伽罗瓦理论中，一个多项式若其伽罗瓦群可解，通常意味着它可以用根式求解；反之则往往不可。
4.2.1 可解群的定义
可解群是指存在一条子群塔，使得相邻商群都是阿贝尔群。换言之，它可以逐层拆分为较简单的交换结构。
这一定义体现了“复杂群由简单群逐步构成”的思想。越接近可解，群的结构就越接近可被明确分析的形式。
4.2.2 根式求解判别
判断一个多项式是否可由根式求解，关键在于检查其伽罗瓦群是否可解。若群可解，则方程在理论上可以通过有限次开方、加减乘除和提取根号表示。
这使得根式求解不再只是技巧问题，而成为一个明确的群论判据。伽罗瓦理论因此给出了“为什么有些方程能解，而有些不能”的结构性答案。
4.2.3 阿贝尔—鲁菲尼定理
阿贝尔—鲁菲尼定理指出，一般五次及以上方程不存在统一的根式求解公式。这个结论标志着经典代数方程理论的一次重大转折。
它并不否定某些特殊五次方程可解，而是说明不存在适用于“所有一般情形”的根式公式。伽罗瓦群的不可解性是这一结果的根本原因。
4.3 传递性与置换群结构
伽罗瓦群作为置换群时，常具有传递性等重要性质。通过这些性质，可以进一步判断根之间的整体联系是否足够紧密。
传递性和本原性等概念使人们能够从“局部排列”上升到“整体结构”分析，进而理解对称群的层级。
4.3.1 传递群
若群作用能够把任意一个根送到任意另一个根，则称该作用是传递的。对于不可约多项式，其伽罗瓦群通常具有传递性。
传递性意味着根之间没有被分割成彼此独立的块。所有根共同构成一个整体，这种整体性正是方程不可分解结构的重要体现。
4.3.2 本原群
本原群是一类无法通过非平凡分块进一步分解其作用的传递群。它比一般传递群更“紧密”，反映出更强的整体对称性。
在多项式研究中，本原性常与不可约性和更深层的群结构有关。它帮助区分“表面上混合”与“真正不可拆分”的情形。
4.3.3 交错群与对称群
交错群由偶置换组成，而对称群包含全部置换。它们是置换群理论中最基础也最重要的两个群族。
许多多项式的伽罗瓦群会落在这两类群或其子群之中。判断群是否接近交错群或对称群，往往是分析方程复杂度的重要步骤。
5 计算方法
5.1 判定伽罗瓦群的常用思路
实际计算伽罗瓦群时，通常不会直接枚举全部自同构，而是通过判别式、模素数分解以及分解类型来间接推断。这样能有效降低难度。
这些方法结合代数与数论技巧，尤其适用于次数较低的多项式。对于高次情形，则常需借助更系统的计算代数工具。
5.1.1 判别式法
判别式能够反映多项式根之间的重合与对称性质。其是否为平方，常与伽罗瓦群是否包含于交错群有关。
因此，判别式法是一种快速筛查工具。它不能单独给出全部群信息，但常能显著缩小候选范围。
5.1.2 模素数分解法
将多项式模某个素数后进行分解，可以观察其在有限域上的因式结构。由此得到的信息往往能对应到原多项式伽罗瓦群中的循环结构。
这种方法在实际计算中非常有效，因为有限域上的分解通常更易处理。它是连接数论与伽罗瓦群分析的重要手段。
5.1.3 分解类型与循环结构
多项式在不同模素数下的分解类型，往往对应伽罗瓦群中某些置换的循环分解。通过比较这些信息，可以逐步逼近群的准确类型。
这一思路的核心在于：局部分解能提供全局群结构的线索。虽然不能一步到位，但在多数实际案例中足够有力。
5.2 低次多项式的计算
低次多项式的伽罗瓦群通常可以系统分类，因此是教学和实际演算的重点。二次、三次和四次情形尤为典型。
这些案例既能展示方法，也能帮助理解一般理论为何成立。它们像是通往高阶情形的“实验样本”。
5.2.1 二次与三次情形
二次多项式的伽罗瓦群多半只由一个非平凡换位生成；三次多项式则可能对应更丰富的对称结构。通过判别式和可约性判断，通常可以迅速得到结果。
这两类情形适合入门学习，因为计算步骤清楚，结论也容易与方程解法对应起来。
5.2.2 四次情形
四次多项式的伽罗瓦群分类更细，常需结合判别式、 resolvent 以及分解类型综合判断。其结果往往落在若干典型子群中。
四次情形展示了“群结构开始明显分化”的阶段，是从简单例子过渡到复杂案例的重要一环。
5.2.3 五次及以上情形
从五次开始，伽罗瓦群的可能性显著增多，计算难度也明显上升。此时通常需要更强的理论和计算工具辅助判断。
尽管如此，一些结构性结论仍可通过群论与数论方法获得。高次情形正是伽罗瓦理论显示威力的主要领域。
5.3 计算实例
具体实例有助于理解抽象概念如何落地。通过对某个多项式逐步分析分裂域、判别式和模分解，可以把伽罗瓦群的抽象定义转化为可执行的计算流程。
实例分析不仅说明“怎么算”，也提示“为什么这样算”。
5.3.1 具体多项式的求群过程
求群过程通常从确认多项式是否可约开始，再判断其分裂域的大小与结构，随后利用判别式和模素数分解缩小候选群范围，最终确定伽罗瓦群。
这一流程强调的是信息累积，而不是单一技巧。每一步都提供一部分证据，最后拼合成完整结论。
5.3.2 常见错误与陷阱
常见错误包括：把分裂域的自同构误认为普通多项式变换，忽略基域固定条件，或将模素数下的分解结果直接等同于原多项式结论。此类误判会导致群的判断偏差。
另一个常见陷阱是过度依赖单一判据。实际上，伽罗瓦群的确定通常需要多种线索联合验证。
6 重要定理与经典结果
6.1 伽罗瓦基本定理
伽罗瓦基本定理说明：在有限伽罗瓦扩张中，中间域与子群之间存在反向的一一对应。它把域论和群论紧密绑定起来，是整个理论的核心支柱。
这一定理使得研究域扩张不再局限于元素层面的计算，而能够通过群的子结构系统理解。它也是后续许多应用的理论起点。
6.2 逆问题与实现问题
逆问题关注的是：给定一个群，能否把它实现为某个伽罗瓦扩张的伽罗瓦群。这个问题把“由方程决定群”反转为“由群构造方程”。
实现问题则进一步探讨，哪些群可以作为特定域上的伽罗瓦群，以及如何显式构造对应扩张。这是现代伽罗瓦理论中的重要方向。
6.2.1 伽罗瓦群作为任意有限群的实现
对于任意有限群，人们会关心它是否能作为某个域扩张的伽罗瓦群。这个问题在不同域上有不同答案，涉及构造方法与存在性理论。
该方向展示了伽罗瓦理论的广泛包容性：群不仅是分析工具，也可以成为待实现的对象。
6.2.2 实现为有理函数域的群
在有理函数域环境中，伽罗瓦群实现问题具有特殊重要性。这里不仅关心是否存在实现，还关心构造是否具有良好的参数化性质。
这类问题与几何和数论都有密切联系。它们常常涉及更精细的分支结构与覆盖关系。
6.3 经典不可解性结果
经典不可解性结果说明，某些方程不存在统一的根式解法。伽罗瓦群为这一结论提供了严格证明框架。
这类结果改变了人们对代数方程的认识：不是所有多项式都能被“显式公式”完全驯服。
6.3.1 五次方程一般不可根式求解
一般五次方程不可根式求解，是伽罗瓦理论最著名的结论之一。其根本原因在于一般五次多项式对应的伽罗瓦群通常不可解。
这一结论并不意味着五次方程没有解，而是说明不存在统一的根式表达公式。它标志着代数解法与群结构之间的深刻分界。
6.3.2 特殊情形的可解性
尽管一般情形不可解，某些特殊五次甚至更高次多项式仍可由根式求解。原因通常在于它们的伽罗瓦群较小或具有可解结构。
这说明“次数高”并不必然等于“不可解”，真正决定因素是对应群的性质。特殊结构往往会带来意想不到的简化。
7 应用与拓展
7.1 代数数论中的应用
伽罗瓦群在代数数论中扮演重要角色，尤其用于研究数域扩张、素数分解以及代数整数的对称性质。它帮助人们理解数的结构如何在更大域中展开。
在这一领域，伽罗瓦群不仅是抽象对象，也常与具体算术现象相联系。
7.1.1 数域的伽罗瓦群
数域的伽罗瓦群反映了代数数域扩张中的对称性。通过研究它，可以分析代数整数的共轭、分歧以及分解行为。
这类群常是现代数论问题的核心工具之一，尤其在研究代数方程的算术性质时尤为重要。
7.1.2 局部与整体方法
局部与整体方法强调先在局部域中分析，再回到整体数域进行综合判断。伽罗瓦群在其中充当连接局部信息与全局结构的纽带。
这种思路常用于判定某些性质是否在全局成立。它体现了现代数论中“先拆后合”的分析策略。
7.2 代数几何中的应用
在代数几何中，伽罗瓦群用于研究函数域扩张、覆盖映射和几何对象的对称性。它把几何问题与代数结构联系在一起。
这种联系使得几何上的“绕行”与代数上的“自同构”之间出现清晰对应。
7.2.1 函数域上的伽罗瓦群
函数域的伽罗瓦群研究的是代数曲线或更高维对象所对应的函数域扩张的对称性。它可用于描述分支点和覆盖层次。
这类群在几何直观上往往对应于空间中某些路径或分支结构的代数化表达。
7.2.2 覆盖空间与基本群类比
伽罗瓦群与覆盖空间中的基本群之间存在深刻类比。一个描述代数扩张的对称性，另一个描述拓扑空间中覆盖的回路结构。
这种类比推动了代数与拓扑之间的交流，也促成了更广义的“伽罗瓦式”思想在几何中的扩展。
7.3 现代数学中的相关概念
伽罗瓦群的思想已超出传统方程论范围，成为现代数学中的基础语言之一。许多看似不同的对象，都可以通过“对称性群”统一理解。
7.3.1 外尔群与对称性
外尔群是李理论和代数几何中的重要对称群，常用于描述根系的对称性。它在结构上与伽罗瓦群有相似之处，都是刻画可允许变换的群。
虽然研究对象不同，但它们都体现了“从对称性理解结构”的核心思想。
7.3.2 绝对伽罗瓦群
绝对伽罗瓦群通常指某个域的最大可分代数闭包上的自同构群。它比有限扩张中的伽罗瓦群更为庞大，是理解域深层算术性质的关键对象。
这一概念在现代数论中极为重要，因为它汇聚了域的全部有限伽罗瓦信息。
7.3.3 伽罗瓦表示
伽罗瓦表示是把伽罗瓦群映射到线性群中的表示方式，常用于把算术信息转化为线性代数问题。它是现代数论与表示论交叉中的核心工具。
通过伽罗瓦表示，人们能够研究群如何作用于向量空间，从而把抽象对称性具体化为可计算的矩阵或线性算子。
8 历史与发展
8.1 伽罗瓦的工作背景
伽罗瓦理论起源于19世纪早期关于代数方程可解性的研究。埃瓦里斯特·伽罗瓦在极短的生命中建立了关于方程对称性的新观点，为后来群论和域论的发展奠定基础。
他的思想最初并未被迅速接受，但其深刻性后来逐渐显现，最终改变了代数学的研究方式。
8.2 理论的形成与传播
伽罗瓦的思想经由后来的数学家整理、传播并系统化，逐渐形成完整理论。随着群论、域论和代数方程理论的发展，伽罗瓦理论的框架日益清晰。
这一过程不仅是概念的补充，更是数学语言的重塑。原先围绕公式的研究，逐步转向围绕结构的研究。
8.3 现代伽罗瓦理论的扩展
现代伽罗瓦理论已不再局限于代数方程，而是扩展到数论、几何、表示论和算术几何等多个方向。其思想核心仍然是研究对称性、固定性与结构对应。
从经典方程到抽象对象，伽罗瓦思想不断获得新的表达方式。它已经成为现代数学中连接不同分支的重要语言之一。