如果你正在学抽象代数或者备战考研一定绕不开一个问题方程 x²2 在有理数世界里无解。教材上会写“引入 Q(√2)”但很少有人把这一步背后的逻辑讲透。有理数域上的扩域就是把 Q 不包含的数通过某种受控的方式“装”进一个更大的域里这个更大的域里加减乘除都能正常做而且原有的运算规则不矛盾。我写这篇文章是想沿着“为什么要扩域、怎么构造扩域、怎么判断一个扩域的性质、如何用工具验证”这条线把域论里最容易含糊的部分梳理清楚。无论你是数学专业的学生、考研党还是自学代数的朋友这篇文章都值得读完我会把计算细节和踩过的坑都交代出来。1. 扩域是什么为什么要研究它1.1 从“缺根”到“造数”扩域问题的起点先做一件事把 Q 想象成一个“被围起来的世界”。在这个世界里你只能使用有理数能做加减乘除但 x²2 没有解。你当然可以不满意于是想“造”一个新对象让它平方后等于 2。这个新对象不是凭空塞进 Q 的而是要和 Q 里原有的数一起参与四则运算并且不能出现矛盾。这个操作在数学上就叫扩域。若 Q⊂K且 K 本身是一个域则称 K/Q 是一个域扩张。Q(√2) 是最经典的例子{ab√2 : a,b∈Q}。你可以验证两个这样的数相乘比如 (ab√2)(cd√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}所以度数 2Q(√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²x10且它不在 Q(∛2) 里所以扩展一层值 2。实际计算时先分层找基再用塔式公式累乘比直接猜总维数可靠得多。2. 极小多项式扩域的“身份证”2.1 什么是极小多项式为什么它这么关键对于代数元素 α∈K所有以 α 为根的多项式中次数最低的首一多项式叫作 α 在 Q 上的极小多项式。它不是随便找一个关系式而是有两条硬性要求一是首项系数为 1二是在 Q 上不可约。这两条保证了极小多项式的唯一性。极小多项式就是 α 的“身份证”。它告诉你三件事第一次数就是扩张度数也就是 [Q(α):Q] 等于它的次数第二它决定了 α 有哪些共轭元素同一个极小多项式的其他根第三后续判断正规性、计算伽罗瓦群全都从这个多项式出发。如果你找错了多项式比如只找到一个可约关系式那么后面算度数、算自同构数量都会偏。一个容易出错的细节很多题目会直接给你 α 满足某个高次方程但这个方程可能可约。极小多项式必须从“不可约因子”中找其余因子跟你这个 α 没有关系。比如 α 满足 α⁴-10但它真正可能只满足 α²10要具体情况具体分析。2.2 计算极小多项式的完整步骤手算极小多项式我通常按下面这四步走每一步都有明确目的观察 α 的定义式把它改成“xα”的形式准备消去多余变量。通过平方、移项、反复代入凑出一个只含 α 的多项式等于 0。比如 α√2√3先算 α²52√6再把 2√6 单独移出来两边平方就得到 α⁴-10α²10。把得到的多项式首一化并检查它是否能被更低次的 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 取 p2x³-2 取 p2都能一步到位。但它的局限很大很多多项式根本找不到合适的素数。有理根检验对三次多项式是足够判断的因为三次函数若可约则必有一次因子。对四次以上就不够了因为它只排除一次因子不能排除二次因子。模 p 约化判据这是很有力的工具但有坑。约化后在 F_p 上不可约则在 Q 上不可约反过来约化后可约并不代表 Q 上就可约。比如 x²1 模 2 变成 (x1)²是约化的但它在 Q 上显然不可约。所以模 p 判据只能用于“证不可约”不能用于“证可约”。如果目标次数 ≤4可以设二次因子假设通过待定系数去矛盾这个方法虽然笨但很可靠。我强烈建议每次算完极小多项式之后用你的 CAS 顺手验一下。在 SageMath 里一行命令就能给出 f 的不可约性但要注意 CAS 的判断结果只能作为最终确认不代表你已经理解了为什么不可约。3. 分裂域与正规扩张域是否“完整”是关键3.1 分裂域把多项式所有根放进同一个域单根扩张 Q(∛2) 只添加了一个实根但方程 x³-20 还有两个复数根。如果你只关心“有没有根”这个扩张够了但如果你关心的是根的对称性那就远远不够。于是需要分裂域把 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其中 ζ₃ 是三次单位根。于是分裂域 KQ(∛2,ζ₃)。它的度数计算是[K:Q][K:Q(∛2)]·[Q(∛2):Q]2·36。这一步的分层顺序也可以反过来先加 ζ₃再加 ∛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 手算伽罗瓦群元素跟踪法手算有限扩张的伽罗瓦群我习惯用元素跟踪法。所谓元素跟踪就是生成元必须送到自己的极小多项式的某个根然后检查这个映射是否保持所有运算关系。以 KQ(√2,√3) 为例。生成元是 √2 和 √3。一个自同构必须把 √2 送到 ±√2把 √3 送到 ±√3于是组合起来有 4 种候选映射。逐一验证这 4 种都可以扩展成整个域的自同构因为它们保持 (√2)²2、(√3)²3 这两个关系。于是 |Aut(K/Q)|4又因为 K/Q 是正规的所以这就是伽罗瓦群同构于 Z/2Z × Z/2Z也就是克莱因四元群。再看一个非交换的例子KQ(∛2,ζ₃)即 x³-2 的分裂域。它的伽罗瓦群作用在三个根 ∛2、ζ₃∛2、ζ₃²∛2 上给出 S₃ 的一个嵌入。因为扩张度数等于 6所以 |Gal(K/Q)|6因此群同构于 S₃。S₃ 是非交换群说明 x³2 的根的对称性比两个根的情况复杂得多。这里有个细节虽然生成元是 ∛2 和 ζ₃但 ζ₃ 的极小多项式是 x²x1所以自同构在 ζ₃ 上的作用必须是 ζ₃→ζ₃ 或 ζ₃→ζ₃²不能随便送。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]备注√2x²−22艾森斯坦取 p2∛2x³−23艾森斯坦取 p2ix²12Q(i) 是正规扩张ζ₃x²x12三次单位根√2√3x⁴−10x²14模 5 不可约√a (a 无平方因子)x²−a2有平方因子就退化这张表的用途不只是查答案。你会发现判断一个数域是否正规可以从“极小多项式其他根是否都在域里”出发而表中每个多项式的根都列得很清楚。比如 ζ₃ 的共轭是 ζ₃²而 Q(ζ₃) 同时包含两者所以它正规。5.3 判断扩域性质的五个关键节点如果你面对一个陌生的扩张 K/Q直接按下面这个顺序排查基本不会走偏判断 K 生成元的代数性能否写出某个多项式关系式写不出就可能是超越扩张。求极小多项式首一、不可约次数就是单扩张的度数。检查多项式所有根是否都在 K 中如果都在初步具备正规性条件如果有缺失不正规。若正规且可分特征 0 自动成立计算自同构数量应与扩张度数一致。用元素跟踪法确定自同构的群结构必要时用 CAS 对照。这个排查顺序也是我做论文习题时的标准流程。它把“什么是域扩张”这样的大问题拆分成可以逐个击破的小判断每一步都不费脑力但必须做完整。6. 常见问题与避坑实录6.1 为什么不能直接“加根”了事这是初学者最常犯的思维惯性以为添加了一个根就算完成了扩张。你确实得到了 Q(∛2)但只要问题涉及方程 x³2这个域就是不完整的。它缺了两个复数根导致自同构只有一个对称性完全消失。后续只要你想推广到正规扩张或者伽罗瓦群这个域就直接失灵。我通常会给这类“懒人扩张”做一个标记单根扩张是“局部补丁”分裂域才是“整体结构”。局部补丁适合解决单点问题比如判断一个数在不在 Q 里但解决不了系统性的结构问题。判断一个问题到底需要“局部补丁”还是“整体结构”其实是域论入门最重要的技能。6.2 极小多项式检验中的“假根”“假不可约”我在批改作业时见过很多次这种错误题目给 α 满足 α⁴-10学生直接写极小多项式是 x⁴-1然后算度数 4。但 α 可能只是 i极小多项式是 x²1。真相是可约多项式的一般根不会自动代表扩域的最小生成元你必须找到不可约因子中真正的那个根对应的因子。这也是为什么我一直强调“关系式≠极小多项式”。另一个常见坑是模 p 判据的方向误用。很多同学看到 f(x) 模 2 可约就认为 f 在 Q 上可约这完全是反向推理。x²1 模 2 变成 (x1)²但它在 Q 上不可约。正确的做法是如果能找到一个素数 p使 f 模 p 不可约则 f 在 Q 上不可约找不到这样的 p也不能说明 f 可约只能换一个判别法。6.3 特征零之外不要盲目把“正规”等同于“伽罗瓦扩张”本文所有例子都在 Q 上特征为 0所以可分性自动满足。但如果你之后接触到有限域或有理函数域必须记得正规且可分的扩张才叫伽罗瓦扩张只有正规性而没有可分性自同构群数量可能小于度数。举个经典例子F_p(t) 上x^p-t 在添加根得到的扩张中会出现多重根导致自同构数量不足。这类现象在特征 p 下很常见。我的建议是在 Q 上学习时可以暂时不管可分性但心里要清楚这只是特殊情况。如果你将来去读代数扩张的一般理论特征 p 的例子是理解“可分扩张”为何必要的最佳教材。过早跳过这个细节后面补起来会相当吃力。最后说一点个人体会。我做域论习题时最先画的不是多项式而是一张“塔状包含图”Q 在最底层往上写 Q(α)再往上写分裂域每个箭头旁边标注极小多项式和度数。这张图写清楚之后基本所有计算都有了抓手。你不需要背诵每个域的伽罗瓦群只要把“生成元—极小多项式—共轭元素—全部根是否在域内—自同构候选映射”这条链走一遍大部分问题都能自然解出来。希望这份梳理能给你省下一些摸黑探索的时间。