如果你正在学抽象代数，或者备战考研，一定绕不开一个问题：方程 x²=2 在有理数世界里无解。教材上会写“引入 Q(√2)”，但很少有人把这一步背后的逻辑讲透。有理数域上的扩域，就是把 Q 不包含的数，通过某种受控的方式“装”进一个更大的域里；这个更大的域里加减乘除都能正常做，而且原有的运算规则不矛盾。我写这篇文章，是想沿着“为什么要扩域、怎么构造扩域、怎么判断一个扩域的性质、如何用工具验证”这条线，把域论里最容易含糊的部分梳理清楚。无论你是数学专业的学生、考研党，还是自学代数的朋友，这篇文章都值得读完，我会把计算细节和踩过的坑都交代出来。
1. 扩域是什么，为什么要研究它
1.1 从“缺根”到“造数”：扩域问题的起点
先做一件事：把 Q 想象成一个“被围起来的世界”。在这个世界里，你只能使用有理数，能做加减乘除，但 x²=2 没有解。你当然可以不满意，于是想“造”一个新对象，让它平方后等于 2。这个新对象不是凭空塞进 Q 的，而是要和 Q 里原有的数一起参与四则运算，并且不能出现矛盾。
这个操作在数学上就叫扩域。若 Q⊂K，且 K 本身是一个域，则称 K/Q 是一个域扩张。Q(√2) 是最经典的例子：{a+b√2 : a,b∈Q}。你可以验证，两个这样的数相乘，比如 (a+b√2)(c+d√2)，展开后形式不变；除法也不难算，分子分母同乘以共轭即可。它包含了 √2，包含了 Q，又保持了域的封闭性。
为什么这个动作如此重要？因为大量问题的核心不是“某个数是多少”，而是“某个数可以被哪些运算关系刻画”。伽罗瓦理论最重要的出发点就是说：研究方程能否根式求解，本质上就是研究一系列扩域之间的关系。你每开一次方，就是在做一次域扩张；每一次扩张带来的新根，都会改变整个域的结构。所以搞懂扩域，等于搞懂了代数方程的骨架。
1.2 代数扩张与超越扩张：先分清两类
面对一个扩域 K/Q，第一步不是算度数，而是先弄清楚你加进去的元素到底是什么性质。设 α∈K，如果存在一个非零的、系数在 Q 中的多项式 f(x)，满足 f(α)=0，就称 α 在 Q 上是代数数；否则就叫超越数。
- 代数扩张：K 中每个元素都是代数数。比如 Q(√2)、Q(∛2)、Q(i) 都属于这类。
- 超越扩张：K 中存在超越数。比如 Q(π)，它和 Q(x)（有理函数域）在结构上几乎一样，是一个非常“自由”的扩张。
初学的时候容易忽略这个区别。代数扩张看起来“有规律”，可以通过多项式来管理；超越扩张则更像“加了一个不受任何多项式约束的新变量”。我见过不少同学一上来就试图给 π 找极小多项式，那当然找不到，因为它是超越数。所以第一步先判断类型，能省很多无用功。判断 π 超越性比较复杂，但在具体问题里，只要题目没有特殊提示，绝大多数扩域都是代数扩张。
1.3 扩域的“坐标系”：基与维数
代数扩张的核心数字是度数，记作 [K:Q]。它指 K 作为 Q 上的线性空间的维数。Q(√2) 有基 {1,√2}，所以度数 2；Q(√2,√3) 有基 {1,√2,√3,√6}，所以度数 4。这个“基”就是扩域的坐标系，只要把所有基元素组合起来，就能覆盖整个域。
度数最大的用处是塔式公式：如果有 Q⊂E⊂K，那么 [K:Q]=[K:E][E:Q]。这个公式像搭积木，每向上搭一层，维数相乘。比如 Q⊂Q(∛2)⊂Q(∛2,ζ₃)，第一步度数 3，第二步度数 2，总度数就是 6。注意第二步为什么是 2，是因为 ζ₃=(-1+√-3)/2 满足 x²+x+1=0，且它不在 Q(∛2) 里，所以扩展一层值 2。实际计算时，先分层找基，再用塔式公式累乘，比直接猜总维数可靠得多。
2. 极小多项式：扩域的“身份证”
2.1 什么是极小多项式，为什么它这么关键
对于代数元素 α∈K，所有以 α 为根的多项式中，次数最低的首一多项式叫作 α 在 Q 上的极小多项式。它不是随便找一个关系式，而是有两条硬性要求：一是首项系数为 1，二是在 Q 上不可约。这两条保证了极小多项式的唯一性。
极小多项式就是 α 的“身份证”。它告诉你三件事：第一，次数就是扩张度数，也就是 [Q(α):Q] 等于它的次数；第二，它决定了 α 有哪些共轭元素（同一个极小多项式的其他根）；第三，后续判断正规性、计算伽罗瓦群，全都从这个多项式出发。如果你找错了多项式，比如只找到一个可约关系式，那么后面算度数、算自同构数量都会偏。
一个容易出错的细节：很多题目会直接给你 α 满足某个高次方程，但这个方程可能可约。极小多项式必须从“不可约因子”中找，其余因子跟你这个 α 没有关系。比如 α 满足 α⁴-1=0，但它真正可能只满足 α²+1=0，要具体情况具体分析。
2.2 计算极小多项式的完整步骤
手算极小多项式，我通常按下面这四步走，每一步都有明确目的：
- 观察 α 的定义式，把它改成“x=α”的形式，准备消去多余变量。
- 通过平方、移项、反复代入，凑出一个只含 α 的多项式等于 0。比如 α=√2+√3，先算 α²=5+2√6，再把 2√6 单独移出来，两边平方，就得到 α⁴-10α²+1=0。
- 把得到的多项式首一化，并检查它是否能被更低次的 Q 上多项式整除。
- 用艾森斯坦判别法、有理根检验、模 p 约化等手段证明它不可约。如果不可约性证明不了，前面那个多项式就只是关系式，不能算极小多项式。
以 α=√2+√3 为例，上面已经得到 f(x)=x⁴-10x²+1。要证明它在 Q 上不可约，用艾森斯坦并不顺手，因为常数项是 1。改用模 p 约化判据：把它约化到 F₅ 上，得到 x⁴+1，这个多项式在 F₅ 上没有根，也不能分解成两个二次多项式，因此 f(x) 在 Q 上不可约。于是极小多项式就是 f，[Q(√2+√3):Q]=4。这个结果和 Q(√2,√3) 的度数一致，因为确实 √2 和 √3 都可以由 α 的幂次组合出来。
2.3 判定不可约的常用技巧与适用边界
不可约性判定是实操中最容易卡壳的地方。给你几条我排错排出来的经验：
- 艾森斯坦判别法：优先试。x²-2 取 p=2，x³-2 取 p=2，都能一步到位。但它的局限很大，很多多项式根本找不到合适的素数。
- 有理根检验：对三次多项式是足够判断的，因为三次函数若可约则必有一次因子。对四次以上就不够了，因为它只排除一次因子，不能排除二次因子。
- 模 p 约化判据：这是很有力的工具，但有坑。约化后在 F_p 上不可约，则在 Q 上不可约；反过来，约化后可约，并不代表 Q 上就可约。比如 x²+1 模 2 变成 (x+1)²，是约化的，但它在 Q 上显然不可约。所以模 p 判据只能用于“证不可约”，不能用于“证可约”。
- 如果目标次数 ≤4，可以设二次因子假设，通过待定系数去矛盾，这个方法虽然笨但很可靠。
我强烈建议每次算完极小多项式之后，用你的 CAS 顺手验一下。在 SageMath 里一行命令就能给出 f 的不可约性，但要注意 CAS 的判断结果只能作为最终确认，不代表你已经理解了为什么不可约。
3. 分裂域与正规扩张：域是否“完整”是关键
3.1 分裂域：把多项式所有根放进同一个域
单根扩张 Q(∛2) 只添加了一个实根，但方程 x³-2=0 还有两个复数根。如果你只关心“有没有根”，这个扩张够了；但如果你关心的是根的对称性，那就远远不够。于是需要分裂域：把 f(x) 的所有根一次性装进同一个域里。
更严谨地说，设 f(x)∈Q[x]，如果 K/Q 是一个扩域，f 在 K 中能完全分解成一次因式，而任何真子域都不能做到这一点，那么 K 就叫 f 在 Q 上的分裂域。x²-2 的分裂域是 Q(√2)，因为两个根 ±√2 都在里面；x³-2 的分裂域则是 Q(∛2, ζ₃)，其中 ζ₃ 是本原三次单位根，它保证两个复数根也能被表示出来。
为什么分裂域如此重要？因为只有把所有根都放到同一个域里，你才能研究“根之间怎么互相交换位置”，也就是下一章的伽罗瓦群。如果你只放进一个根，那么域内部的可置换空间就被人为砍掉了一截，反映不出多项式完整的对称性。
3.2 正规扩张：一个扩张是“完整”的条件
设 K/Q 是代数扩张。称 K/Q 是正规扩张，如果 K 中任意不可约多项式只要有一个根在 K 中，那么它的全部根都在 K 中。这个定义比较绕，但直觉上很清楚：正规扩张不允许“缺根”，如果你溶了一个多项式的某个根，这个多项式的所有兄弟根也必须一块儿溶进来。
等价的说法是：K/Q 正规，当且仅当 K 是某个 Q 上多项式的分裂域。这个等价条件非常好用。Q(√2) 正规，因为它是 x²-2 的分裂域；Q(∛2) 不正规，因为 x³-2 的三个根只进来了一个。Q(√2,√3) 正规，因为它是 (x²-2)(x²-3) 的分裂域。
再看一个容易误判的例子：Q(√2,∛2)。它包含 x²-2 的两个根，也包含 x³-2 的一个根，但 x³-2 的另外两个复根仍然不在里面，所以它依然不正规。判断正规性时，不能用“感觉域很大”代替“逐项检查根是否全部到位”。
3.3 分裂域的构造实操：按顺序添根并计算度数
构造分裂域的标准做法是“逐步添根，层层分解”。对 f(x)=x³-2，先在 Q 中添加一个根 ∛2，得到 K₁=Q(∛2)，此时 f 在 K₁ 上分解出一次因子 x-∛2，剩下二次因子在 K₁ 上可能不可约。然后计算剩下的二次因子 x²+∛2x+∛2²，它的判别式是负数，不能在 K₁ 中开方，于是再添加对应的复根。
从域扩张角度，更常见的做法是把第三个根表示为 ζ₃·∛2，其中 ζ₃ 是三次单位根。于是分裂域 K=Q(∛2,ζ₃)。它的度数计算是：[K:Q]=[K:Q(∛2)]·[Q(∛2):Q]=2·3=6。这一步的分层顺序也可以反过来，先加 ζ₃，再加 ∛2，效果一样的。构造分裂域时一定要记住，每一层添加的元素可能不是原多项式的根，而是某个辅助多项式的根（比如 ζ₃），这正是很多初学者容易漏掉的关键。
4. 伽罗瓦群：用自同构测量域的对称性
4.1 自同构与固定域：先理解对称性来自哪里
一个域扩张 K/Q 的对称性，体现在“保持有理数不变的自同构”上。所谓自同构，就是一个从 K 到 K 的双射，并且保持加减乘除运算结构；所谓保持有理数不变，就是说这个映射把 1 映成 1，于是所有有理数都被钉住不动。这些自同构组成的集合记为 Aut(K/Q)。
为什么自同构数量能刻画对称性？以 Q(√2) 为例，任意自同构必须把 √2 送到某个以它自身为平方根的数，也就是 ±√2。于是只有两个自同构：恒等映射，以及把 √2 换成 -√2 的映射。这两个映射正好对应 x²-2 的两个根的置换。如果域不是正规的，比如 Q(∛2)，∛2 只能映射到 ∛2 自身（因为另外两个根不在域里），所以自同构只有一个，对称性信息就丢了。这也再次说明了分裂域和正规扩张的必要性。
固定域是另一个重要概念：所有在某个自同构子群作用下不动的元素，构成 K 的一个子域，叫作固定域。伽罗瓦理论的核心对应，就是把 K/Q 的中间域和 Aut(K/Q) 的子群对应起来。这个对应只有在“正规+可分”的条件下才是完美的，但在 Q 上的有限扩张天然可分，所以很多时候你只要检查正规性。
4.2 手算伽罗瓦群：元素跟踪法
手算有限扩张的伽罗瓦群，我习惯用元素跟踪法。所谓元素跟踪，就是：生成元必须送到自己的极小多项式的某个根，然后检查这个映射是否保持所有运算关系。
以 K=Q(√2,√3) 为例。生成元是 √2 和 √3。一个自同构必须把 √2 送到 ±√2，把 √3 送到 ±√3，于是组合起来有 4 种候选映射。逐一验证这 4 种都可以扩展成整个域的自同构，因为它们保持 (√2)²=2、(√3)²=3 这两个关系。于是 |Aut(K/Q)|=4，又因为 K/Q 是正规的，所以这就是伽罗瓦群，同构于 Z/2Z × Z/2Z，也就是克莱因四元群。
再看一个非交换的例子：K=Q(∛2,ζ₃)，即 x³-2 的分裂域。它的伽罗瓦群作用在三个根 ∛2、ζ₃∛2、ζ₃²∛2 上，给出 S₃ 的一个嵌入。因为扩张度数等于 6，所以 |Gal(K/Q)|=6，因此群同构于 S₃。S₃ 是非交换群，说明 x³=2 的根的对称性比两个根的情况复杂得多。这里有个细节：虽然生成元是 ∛2 和 ζ₃，但 ζ₃ 的极小多项式是 x²+x+1，所以自同构在 ζ₃ 上的作用必须是 ζ₃→ζ₃ 或 ζ₃→ζ₃²，不能随便送。
4.3 为什么伽罗瓦群能告诉你方程能否根式求解
如果把可解性的直观理解放大：一个方程“可以根式求解”，意味着你可以反复通过开方操作，从 Q 出发逐步构造分裂域。伽罗瓦理论把这种构造翻译成一系列自同构群的塔：每一步开方，对应把伽罗瓦群缩小到一个正规子群，要求每一步的商群是可交换群。于是，方程可根式求解，当且仅当伽罗瓦群是可解群。
这个结论在你计算具体扩域时会变成实际的操作指引。比如看到 S₃，它是可解群，所以 x³=2 当然可根式求解；而一般的五次方程，如果有 S₅ 作为伽罗瓦群，就不可解，这和阿贝尔-鲁菲尼定理一脉相承。不是每个扩域都要把可解性讨论到底，但理解了伽罗瓦群如何编码“对称性结构”，你再去看教材里那些抽象定义，会顺畅得多。
5. 工具与速查表：给扩域配一套“检查器”
5.1 用 SageMath 验证极小多项式与伽罗瓦群
码字和推公式只靠手算，到了一定复杂程度就容易出错。我现在做题，习惯先用 SageMath 做一次快速验证，再回头审视自己的手算过程。下面这些代码是我常用的，你可以在本地 SageMath 或者在线环境里直接跑：
R.<x> = QQ[] # 建立有理数域上的多项式环 # 验证极小多项式是否不可约 f = x^4 - 10*x^2 + 1 print(f.is_irreducible()) # True # 构造数域并查看度数 K.<a> = NumberField(f, 'a') print(K.absolute_degree()) # 4 # 查看伽罗瓦群 G = K.galois_group() print(G) # 可能显示 V4 或 4T2 之类的描述另一个更直接的例子，验证 x³-2 的分裂域和伽罗瓦群：
R.<x> = QQ[] f = x^3 - 2 K.<r> = NumberField(f, 'r') print(K.galois_group()) # S3用工具的时候，我最想提醒你的是：CAS 给出的伽罗瓦群名字（比如“4T2”）往往和教材里的记号不完全一致。你不需要纠结这个名字本身，而是要看它输出的群的同构类型，然后和你手推的结果对照。如果对不上，绝大多数情况不是工具的问题，而是你手算过程中漏掉了某个共轭根，或者误判了正规性。
5.2 经典极小多项式速查表
下面这张表是我做习题时反复用到的，整理在这里，方便你快速查阅。注意所有多项式都默认在 Q 上考虑。
| 元素 α | 极小多项式 | 度数 [Q(α):Q] | 备注 |
|---|---|---|---|
| √2 | x²−2 | 2 | 艾森斯坦取 p=2 |
| ∛2 | x³−2 | 3 | 艾森斯坦取 p=2 |
| i | x²+1 | 2 | Q(i) 是正规扩张 |
| ζ₃ | x²+x+1 | 2 | 三次单位根 |
| √2+√3 | x⁴−10x²+1 | 4 | 模 5 不可约 |
| √a (a 无平方因子) | x²−a | 2 | 有平方因子就退化 |
这张表的用途不只是查答案。你会发现，判断一个数域是否正规，可以从“极小多项式其他根是否都在域里”出发，而表中每个多项式的根都列得很清楚。比如 ζ₃ 的共轭是 ζ₃²，而 Q(ζ₃) 同时包含两者，所以它正规。
5.3 判断扩域性质的五个关键节点
如果你面对一个陌生的扩张 K/Q，直接按下面这个顺序排查，基本不会走偏：
- 判断 K 生成元的代数性：能否写出某个多项式关系式？写不出就可能是超越扩张。
- 求极小多项式：首一、不可约，次数就是单扩张的度数。
- 检查多项式所有根是否都在 K 中：如果都在，初步具备正规性条件；如果有缺失，不正规。
- 若正规且可分（特征 0 自动成立），计算自同构数量，应与扩张度数一致。
- 用元素跟踪法确定自同构的群结构，必要时用 CAS 对照。
这个排查顺序也是我做论文习题时的标准流程。它把“什么是域扩张”这样的大问题，拆分成可以逐个击破的小判断，每一步都不费脑力但必须做完整。
6. 常见问题与避坑实录
6.1 为什么不能直接“加根”了事
这是初学者最常犯的思维惯性：以为添加了一个根，就算完成了扩张。你确实得到了 Q(∛2)，但只要问题涉及方程 x³=2，这个域就是不完整的。它缺了两个复数根，导致自同构只有一个，对称性完全消失。后续只要你想推广到正规扩张或者伽罗瓦群，这个域就直接失灵。
我通常会给这类“懒人扩张”做一个标记：单根扩张是“局部补丁”，分裂域才是“整体结构”。局部补丁适合解决单点问题（比如判断一个数在不在 Q 里），但解决不了系统性的结构问题。判断一个问题到底需要“局部补丁”还是“整体结构”，其实是域论入门最重要的技能。
6.2 极小多项式检验中的“假根”“假不可约”
我在批改作业时，见过很多次这种错误：题目给 α 满足 α⁴-1=0，学生直接写极小多项式是 x⁴-1，然后算度数 4。但 α 可能只是 i，极小多项式是 x²+1。真相是：可约多项式的一般根不会自动代表扩域的最小生成元，你必须找到不可约因子中真正的那个根对应的因子。这也是为什么我一直强调“关系式≠极小多项式”。
另一个常见坑是模 p 判据的方向误用。很多同学看到 f(x) 模 2 可约，就认为 f 在 Q 上可约，这完全是反向推理。x²+1 模 2 变成 (x+1)²，但它在 Q 上不可约。正确的做法是：如果能找到一个素数 p，使 f 模 p 不可约，则 f 在 Q 上不可约；找不到这样的 p，也不能说明 f 可约，只能换一个判别法。
6.3 特征零之外：不要盲目把“正规”等同于“伽罗瓦扩张”
本文所有例子都在 Q 上，特征为 0，所以可分性自动满足。但如果你之后接触到有限域或有理函数域，必须记得：正规且可分的扩张才叫伽罗瓦扩张；只有正规性而没有可分性，自同构群数量可能小于度数。举个经典例子：F_p(t) 上，x^p-t 在添加根得到的扩张中会出现多重根，导致自同构数量不足。这类现象在特征 p 下很常见。
我的建议是：在 Q 上学习时可以暂时不管可分性，但心里要清楚这只是特殊情况。如果你将来去读代数扩张的一般理论，特征 p 的例子是理解“可分扩张”为何必要的最佳教材。过早跳过这个细节，后面补起来会相当吃力。
最后说一点个人体会。我做域论习题时，最先画的不是多项式，而是一张“塔状包含图”：Q 在最底层，往上写 Q(α)，再往上写分裂域，每个箭头旁边标注极小多项式和度数。这张图写清楚之后，基本所有计算都有了抓手。你不需要背诵每个域的伽罗瓦群，只要把“生成元—极小多项式—共轭元素—全部根是否在域内—自同构候选映射”这条链走一遍，大部分问题都能自然解出来。希望这份梳理能给你省下一些摸黑探索的时间。
