★ FEATURED ARTICLE 翻开任何一本抽象代数教材“有理数域上的扩域”这几个字都占着不小的篇幅。它看起来很抽象但你真去算了几个例子比如从 Q 里硬塞一个 \(\sqrt{2}\) 进去或者把三次方程 \(x^3-2\) 的根塞进去你会发现域扩张本质上就是“把数域撑大”。而“撑大”这件事背后连着尺规作图能不能做、五次方程为什么没有求根公式、费马大定理的证明数学里几个最漂亮的结果都从这里长出来。这篇文章我想从一个学数学的人的角度把“有理数域上的扩域”这个题目拆开讲清楚。我会从“为什么非要有扩域”讲起一步步走到极小多项式、嵌入、伽罗瓦对应最后落到几个实际应用上。不管你是正在学抽象代数的本科生还是想了解伽罗瓦理论但被教材劝退的自学者这篇文章的节奏应该都跟得上。先放一句话提前总结扩域就是“在 Q 的基础上合法地添入新数并且让加减乘除仍然畅通”而伽罗瓦理论回答了“这些新数能带来多少对称性、这些对称性又如何决定子域结构”。1. 为什么要研究有理数域的扩域1.1 从“数不够用”的困境说起你在 Q 里解 \(x^2-20\)发现没有根。怎么办最直接的想法是“造一个数 \(\sqrt{2}\) 出来”但数学上不能凭空造必须把它安放在一个运算封闭的体系里。于是考虑所有形如 \(ab\sqrt{2}\)其中 \(a,b\in \mathbb{Q}\)的数你会发现这些数对加减乘除都封闭除法也成立因为 \((ab\sqrt{2})^{-1}\frac{a-b\sqrt{2}}{a^2-2b^2}\)分母不为零时结果还在同一个集合里。这个集合就是 \(\mathbb{Q}(\sqrt{2})\)它是包含 Q 和 \(\sqrt{2}\) 的最小的域。这个例子虽然简单但背后已经出现了一个重要观点一个方程在基域里解不了不代表在任何域里都解不了关键是找到一个能容纳根的“更大的域”。三次方程 \(x^3-20\) 更典型它的根是 \(\sqrt[3]{2}\)、\(\omega\sqrt[3]{2}\)、\(\omega^2\sqrt[3]{2}\)其中 \(\omega\) 是三次单位根。想同时容纳三个根你需要的不只是一个数而是一整棵“域树”。研究这棵树怎么从 Q 长出来、要长多少层就是域扩张理论的核心任务。这类“不够用”的现象在整个数学里比比皆是。实数域 R 里 \(x^210\) 也解不了于是人们构造了复数域 C在复数域里代数学基本定理告诉我们任何多项式都有根但那是另一个方向的扩张。而 Q 的扩域之所以特殊是因为 Q 本身是“最小的特征零域”几乎所有数论和方程论问题都从这里出发。1.2 扩域的形式定义与“次数”严格地说如果 K 是一个域并且 Q 是 K 的子域我们就称 K/Q 是一个域扩张。这里要注意“包含”不只是集合意义还要求 K 上的加法、乘法限制到 Q 上就变成 Q 原有的运算同时两个域必须有同一个乘法单位元 1。这个细节容易被忽略但它保证了 Q 确实是 K 的“子结构”而不是仅把集合塞进去。更重要的概念是扩张次数记作 \([K:\mathbb{Q}]\)定义为 K 作为 Q 上的向量空间的维数。为什么可以看成向量空间因为 Q 里的数可以和 K 里的数做标量乘法而且满足向量空间的所有公理。比如 \(\mathbb{Q}(\sqrt{2})\) 是二维 Q-向量空间基是 \({1,\sqrt{2}}\)因为每个元素唯一写成 \(ab\sqrt{2}\)。而 \(\mathbb{Q}(\sqrt[3]{2})\) 是三维的基可以选 \({1,\sqrt[3]{2},\sqrt[3]{4}}\)因为 \(\sqrt[3]{2}\) 的三次方又落回 Q。扩张次数是个惊人的有用度量。如果说“添加一个新数”是一次操作扩张次数就是在告诉你“这次操作真正扩展了多少维度”。一个有限扩张就像搭积木从 Q 出发每搭一层就乘以一个因子。反过来如果你证明了 \([K:\mathbb{Q}]3\)那么 K 里绝对不可能塞进一个 \(\sqrt{2}\) 那样的二阶代数方程根而不改变维度结构因为基的个数已经由 3 决定了。后面我们会看到很多“能不能作图”“能不能根式求解”的问题到最后都化归为计算扩张次数。R/Q 和 C/Q 是无限扩张因为 R 作为 Q-向量空间维数不可数C 则是二维 R-向量空间但作为 Q-向量空间也是无限维。数论里研究的有限扩域更有操作性所以“有限扩张”通常优先。2. 代数扩张与超越扩张第一个关键分叉2.1 代数元与极小多项式给定一个扩域元素 \(\alpha\)第一个要问的问题是\(\alpha\) 到底是不是某个非常数有理系数多项式的根如果是称 \(\alpha\) 是 Q 上的代数元如果不是称它为超越元。\(\sqrt{2}\) 是代数元因为它满足 \(x^2-20\)\(\pi\) 是超越元这是 1882 年林德曼证明的结果。对代数元 \(\alpha\) 来说所有以它为根的有理系数多项式构成一个理想这个理想里的“最小元素”是唯一的首一不可约多项式称为 \(\alpha\) 的极小多项式。这个名字取得很形象它是最“省”的、能“约束” \(\alpha\) 的首一多项式。极小多项式有三条基本性质首一、不可约、整除任何以 \(\alpha\) 为根的多项式。这三条是定义直接推出的考试也常考务必自己推一遍。把 \(\alpha\) 塞进 Q 后得到的域 \(\mathbb{Q}(\alpha)\)实际上同构于商环 \(\mathbb{Q}[x]/(f(x))\)其中 f 是 \(\alpha\) 的极小多项式。这个同构是域扩张理论的第一座桥梁抽象地讨论“添加一个代数元”时你其实是在讨论“模掉一个不可约多项式”。因为 f 不可约商环成为域这一点也可以用辗转相除验证——任何非零零化多项式都与 f 互素从而在商环里可逆。你可以把极小多项式类比成有理数的最简分式表示有了最简形式所有运算规则才清晰明确。2.2 单扩张的结构Q(\u221a2)、Q(\u221a5) 和 Q(π) 的对比如果一个扩张只需要添加一个元素就能得到整个域就称它为单扩张。有限扩张里绝大多数都能写成单扩张这是本原元素定理的结论不过我们先看具体例子。膨胀操作添加的数极小多项式扩张次数扩张类型\(\mathbb{Q}(\sqrt{2})\)\(\sqrt{2}\)\(x^2-2\)2代数扩张\(\mathbb{Q}(\sqrt[3]{2})\)\(\sqrt[3]{2}\)\(x^3-2\)3代数扩张\(\mathbb{Q}(i)\)\(i\)\(x^21\)2代数扩张\(\mathbb{Q}(\pi)\)\(\pi\)无∞超越扩张看这张表就知道\(\mathbb{Q}(\pi)\) 是完全不同的物种。因为它没有任何有理系数多项式可以约束所以 \(\mathbb{Q}(\pi)\) 作为 Q-向量空间是无限维的跟 \(\mathbb{Q}(x)\)有理函数域同构。换句话说当你添加一个超越元时你得到的不是“一个有特殊代数关系的数域”而是一个可以自由变化参数的函数域算术结构完全两样。代数扩张因为有极小多项式约束结构紧致、维度有限、可计算性很高所以大部分经典理论都围绕它展开。这里还有一个新手容易绕晕的点\(\mathbb{Q}(\sqrt[3]{2})\) 里的所有元素都是实数吗是的因为 Q 和 \(\sqrt[3]{2}\) 都是实数四则运算不会跑出实数范围。换句话说添加一个实数复根你得到的扩张可能只包含这个实根对应的实数组合并不自动包含另两个复根。这个“不够装”的现象正是后续讨论正规扩张的伏笔。2.3 扩张次数与塔式法则域扩张可以一层一层搭起来。如果 \(L\supset K\supset \mathbb{Q}\)那么扩张次数满足\[[L:\mathbb{Q}][L:K][K:\mathbb{Q}].\]证明思路很简单取 K 关于 Q 的一组基和 L 关于 K 的一组基把两组基的元素两两相乘得到的集合就是 L 关于 Q 的基。这个乘法直积式的结构反复出现在分裂域、分圆域的计算里。举个例子算 \(\mathbb{Q}(\sqrt{2},\sqrt{3})\) 的次数。先加 \(\sqrt{2}\)得到 2 次扩张 \(\mathbb{Q}(\sqrt{2})/\mathbb{Q}\)。再问 \(\sqrt{3}\) 是否在 \(\mathbb{Q}(\sqrt{2})\) 里如果 \(\sqrt{3}ab\sqrt{2}\)两边平方得 \(3a^22b^22ab\sqrt{2}\)。若 \(ab\neq0\)则 \(\sqrt{2}\) 会被写成有理数矛盾若 \(ab0\)则 3 要么是有理数平方要么是 2 的有理数平方倍也矛盾。所以 \(\sqrt{3}\notin\mathbb{Q}(\sqrt{2})\)于是 \([\mathbb{Q}(\sqrt{2},\sqrt{3}):\mathbb{Q}(\sqrt{2})]2\)。再用塔式法则总共次数是 \(2\times24\)基的一组选择是 \({1,\sqrt{2},\sqrt{3},\sqrt{6}}\)。塔式法则还有一个直接推论如果 \([K:\mathbb{Q}]\) 是素数那 K 和 Q 之间不存在真正的中间域。因为中间域 E 的次数必须是 [K:Q] 的因子。这类维度“整除性”论证是域论里的万能工具很多“证明某个数不属于某个域”的问题都可以先算次数再用整除关系排除。3. 几个典型的 Q 上扩域建议亲手算一遍3.1 二次扩张Q(√d) 全家桶二次扩张是研究一切扩张的起点因为它是次数最低的非平凡扩张。设 d 为无平方因子整数且 d≠0、1则 \(x^2-d\) 在 Q 上不可约\(\sqrt{d}\) 的极小多项式就是它所以 \(\mathbb{Q}(\sqrt{d})\) 的次数是 2。反过来任何 Q 的二次扩张 K 都同构于某个 \(\mathbb{Q}(\sqrt{d})\)取 \(\alpha\in K\setminus Q\)它的极小多项式是二次的二次公式立刻给出 \(\alphaab\sqrt{d}\) 的形式。这个“所有二次扩张都长这样”的结论非常实用。比如高斯整数域 \(\mathbb{Q}(i)\) 对应 d1其实是 -\(1\) 对应的 \(i\sqrt{-1}\)在数论里有大量应用。再看元素的代数操作\(\mathbb{Q}(\sqrt{d})\) 里每个元素是 \(ab\sqrt{d}\)它有一个共轭映射 \(ab\sqrt{d}\mapsto a-b\sqrt{d}\)这个映射保持 Q 不动、且是域同构。共轭的乘积 \((ab\sqrt{d})(a-b\sqrt{d})a^2-db^2\) 称为范数它有一些很好的性质范数是 Q 中的数而且乘积的范数等于范数的乘积。这一条性质听起来简单却是后面讨论代数整数、单位群的基础。建议新手把 \(\mathbb{Q}(\sqrt{2})\)、\(\mathbb{Q}(\sqrt{-1})\)、\(\mathbb{Q}(\sqrt{3})\) 的加法、乘法、逆元都各算十来个直到闭着眼睛能写出 \((ab\sqrt{2})^{-1}\) 的分母形式为止。这个熟练度对理解后续同构定义很重要。3.2 三次扩张Q(∛2)与艾森斯坦判别法\(\mathbb{Q}(\sqrt[3]{2})\) 的次数是 3关键是要证明 \(x^3-2\) 在 Q 上不可约。这里有一个极其好用但常常被低估的工具艾森斯坦判别法。检查素数 p2多项式的首项系数 1 不被 2 整除其余系数0 和 -2都被 2 整除而常数项 -2 不被 4 整除所以多项式在 Q 上不可约。既然极小多项式的次数是 3扩张次数也是 3。但要注意三次多项式 \(x^3-2\) 有三个根而 \(\mathbb{Q}(\sqrt[3]{2})\) 只装了实根 \(\sqrt[3]{2}\) 和它的有理组合另外两个复根 \(\omega\sqrt[3]{2}\)、\(\omega^2\sqrt[3]{2}\) 根本不在这个域里。因为如果它们在域里域就会包含 \(\omega\frac{\omega\sqrt[3]{2}}{\sqrt[3]{2}}\)但 \(\omega\) 是虚数与域为实数域矛盾。所以 \(\mathbb{Q}(\sqrt[3]{2})/\mathbb{Q}\) 不是正规扩张这个概念在下一节详谈。想要把三个根全部装进去需要再添加 \(\omega\)得到分裂域 \(\mathbb{Q}(\sqrt[3]{2},\omega)\)。这个域的次数是多少先加 \(\sqrt[3]{2}\) 是 3 次再加 \(\omega\) 是二次\(x^2x1\) 不可约且 \(\omega\) 不在 \(\mathbb{Q}(\sqrt[3]{2})\) 里所以总次数是 \(3\times26\)。这三个数字——3、2、6——在伽罗瓦理论里会反复出现你会看到它们直接对应群 \(S_3\) 的结构。3.3 分裂域与分圆域把根都装进来对一个多项式 \(f(x)\in\mathbb{Q}[x]\) 来说把它的所有根都添加进去后得到的最小扩域称为分裂域。例如 \((x^2-2)(x^2-3)\) 的分裂域是 \(\mathbb{Q}(\sqrt{2},\sqrt{3})\)\(x^3-2\) 的分裂域是 \(\mathbb{Q}(\sqrt[3]{2},\omega)\)。分圆域是另一类特别重要的分裂域。设 \(\zeta_ne^{2\pi i/n}\) 是 n 次本原单位根分圆域 \(\mathbb{Q}(\zeta_n)\) 就是 \(x^n-1\) 的分裂域。\(\zeta_n\) 的极小多项式叫做分圆多项式 \(\Phi_n(x)\)它在 Q 上不可约、次数为 \(\varphi(n)\)欧拉函数。这意味着 \([\mathbb{Q}(\zeta_n):\mathbb{Q}]\varphi(n)\)。举三个例子\(\varphi(5)4\)所以 \(\mathbb{Q}(\zeta_5)\) 是四次扩张\(\Phi_5(x)x^4x^3x^2x1\)\(\varphi(7)6\)\(\mathbb{Q}(\zeta_7)\) 是六次扩张\(\varphi(17)16\)\(\mathbb{Q}(\zeta_{17})\) 是十六次扩张。这个“次数是 16 \(2^4\)”的事实正是正十七边形可以尺规作图的原因我们第 6 节会再算一遍。这里顺带提一个操作层面的经验判断某个单位根是否在给定扩域里最好的工具不是硬解多项式而是对比扩张次数和极小多项式可能的位置。比如 \(\zeta_5\) 不可能在 \(\mathbb{Q}(\zeta_7)\) 里因为 \(4\nmid6\)维度对不上。4. 扩域的身份证极小多项式和 Q-嵌入4.1 极小多项式决定同构类两个抽象扩域什么时候是“本质相同”的答案它们的生成元的极小多项式相同。更准确地说如果 \(\alpha\)、\(\beta\) 有相同的极小多项式 f则存在固定 Q 的域同构 \(\mathbb{Q}(\alpha)\to\mathbb{Q}(\beta)\)把 \(\alpha\) 送到 \(\beta\)。证明的核心是两个商环 \(\mathbb{Q}[x]/(f)\) 都同构于同一个域而 \(\alpha\)、\(\beta\) 分别对应其中的根类。这就是为什么极小多项式是扩域的“身份证”它完全决定了一个代数单扩张的同构类。例如 \(\sqrt{2}\) 和 \(-\sqrt{2}\) 的极小多项式都是 \(x^2-2\)所以 \(\mathbb{Q}(\sqrt{2})\) 和 \(\mathbb{Q}(-\sqrt{2})\) 其实是同一个扩域而 \(\sqrt{2}\) 和 \(\sqrt{3}\) 虽然都产生二次扩张但 \(x^2-2\) 和 \(x^2-3\) 不同所以两个扩张不是同一个尽管作为抽象域它们同构。由于身份证就是极小多项式我们可以把“Q-嵌入”理解为“把 α 送到它的极小多项式的某个根”。对 \(\mathbb{Q}(\sqrt[3]{2})\) 来说三个候选像分别是 \(\sqrt[3]{2}\)、\(\omega\sqrt[3]{2}\)、\(\omega^2\sqrt[3]{2}\)。前面两个复根不在原域里所以它们对应的嵌入会把元素送到复数域 C 的深层去。这个观察引出一个关键问题嵌入的像会不会全部留在原域内这正好是正规性。4.2 从一个嵌入讲到正规扩张设 K/Q 是有限扩张。称 K/Q 是正规扩张如果每个在 K 中有一个根的不可约多项式都在 K 中完全分裂成一次因式。等价的说法是K 是某个 Q 上多项式的分裂域。还有一个非常“对称性视角”的等价定义每个 Q-嵌入 \(\sigma:K\to\mathbb{C}\) 都满足 \(\sigma(K)\subseteq K\)。因为 \(\sigma\) 保持 Q 不动且是单射而 \([K:\mathbb{Q}]\) 有限子域 \(\sigma(K)\) 和 K 有相同的 Q-维数所以其实有 \(\sigma(K)K\)。换句话说正规扩张就是所有嵌入都“走不出门”的扩张。对比两个例子。\(\mathbb{Q}(\sqrt{2})/\mathbb{Q}\) 是正规的两个嵌入分别把 \(\sqrt{2}\) 送到 \(\sqrt{2}\) 和 \(-\sqrt{2}\)像都在 \(\mathbb{Q}(\sqrt{2})\) 里。\(\mathbb{Q}(\sqrt[3]{2})/\mathbb{Q}\) 不是正规的那两个复嵌入把 \(\mathbb{Q}(\sqrt[3]{2})\) 送到 \(\mathbb{Q}(\omega\sqrt[3]{2})\)而这个域不是原来的实数域。判断正规性的实操方法是取 K 的生成元 \(\alpha\)看它的极小多项式是否在 K 中完全分裂。如果参与分裂运算时发现缺了某个根就说明不正规。这个方法在计算中很好用比直接看嵌入更省事——因为解多项式、找根是最直觉的一条路。4.3 为什么嵌入的个数等于扩张次数有前提的有限扩张 K/Q 的不同 Q-嵌入 \(K\to\mathbb{C}\) 的个数通常等于 \([K:\mathbb{Q}]\)。这句话的前提是 K/Q 须为可分扩张——但特征零的域上所有代数扩张都可分而 Q 的特征是 0所以从 Q 出发的所有代数扩张都满足这个前提。为什么成立以单代数扩张 \(K\mathbb{Q}(\alpha)\) 为例\([K:\mathbb{Q}]\deg f\)其中 f 是 \(\alpha\) 的极小多项式。而每个嵌入由 \(\alpha\) 的像唯一确定\(\alpha\) 的像必须是 f 的根而 \(\deg f\) 个根各不相同所以嵌入数正好等于 \(\deg f\)。这大概是代数里少有的“数对象个数”和“算维度”完美一致的情形。这个结论给了我们一个重要的数数工具。以后你遇到一个问题想知道 K/Q 的对称性有多大先别急着构造群先算 \([K:\mathbb{Q}]\)。这个数就是“对称性数量的基准线”。如果自同构群的实际大小比这个基准线小说明有些“对称性”被域的结构压住了也就是前两节说的不正规情形。5. 伽罗瓦群用对称性反推子域结构5.1 自同构群是什么怎么算设 \(K/\mathbb{Q}\) 是有限扩张。所有满足“固定 Q 不动”的域同构 \(\sigma:K\to K\) 在复合运算下构成一个群记作 \(\operatorname{Aut}(K/\mathbb{Q})\)。它是 K 上的“对称群”只是这里的对称必须把所有有理数按原样固定只允许打乱真正新加进来的结构。自同构群的算法其实很机械。如果 K 是单扩张 \(\mathbb{Q}(\alpha)\)一个自同构 \(\sigma\) 完全由 \(\sigma(\alpha)\) 决定因为 K 的每个元素都是 \(\alpha\) 的有理系数多项式。而 \(\sigma(\alpha)\) 必须是 \(\alpha\) 的极小多项式的根并且这个根必须落在 K 里。于是算法变成列出极小多项式的所有根筛选出落在 K 内的根每个这样的根给出一个自同构。拿 \(\mathbb{Q}(\sqrt{2})\) 来说\(\sqrt{2}\) 的共轭根是 \(\pm\sqrt{2}\)都在域里所以 \(\operatorname{Aut}(\mathbb{Q}(\sqrt{2})/\mathbb{Q})\) 有两个元素恒等和“把 \(\sqrt{2}\) 变号”。对 \(\mathbb{Q}(\sqrt[3]{2})\) 来说\(\sqrt[3]{2}\) 的三个共轭根里只有 \(\sqrt[3]{2}\) 本身留在这个实数域里另两个是复数所以自同构群只有一个元素恒等。这就解释了为什么非正规扩张的自同构群显得“太小”不是没有对称性而是对称性的目标根跑到了域外你只能原地不动。5.2 伽罗瓦扩张与固定子域如果 \(\operatorname{Aut}(K/\mathbb{Q})\) 的大小恰好等于 \([K:\mathbb{Q}]\)就称 K/Q 是伽罗瓦扩张。在特征零背景下这等价于 K/Q 既正规又可分或者等价于 K 是某个无重根多项式的分裂域。伽罗瓦理论基本定理说的是一件非常强的事对伽罗瓦扩张 K/Q中间域和子群之间有一一对应。具体地说给一个子群 H它的固定子域是\[K^H{x\in K:\sigma(x)x,\ \forall\sigma\in H};\]给一个中间域 E它的固定群是所有逐点固定 E 的自同构。这个过程互为逆映射并且域扩张的次数等于对应子群的“商式剔除”关系。这里要特别提醒不是所有扩张都是伽罗瓦扩张。\(\mathbb{Q}(\sqrt[3]{2})/\mathbb{Q}\) 不是因为自同构群太小。如果你莽撞地拿非伽罗瓦扩张去套基本定理会出现中间域找不到对应子群的荒唐结果。所以第一步永远是验证“这是不是伽罗瓦扩张”——验证方法就是数自同构群的元素个数是不是等于扩张次数。5.3 对照表Q(√2,√3) 的完整伽罗瓦对应\(\mathbb{Q}(\sqrt{2},\sqrt{3})/\mathbb{Q}\) 是伽罗瓦扩张扩张次数是 4所以应该有 4 个自同构。因为生成元 \(\sqrt{2}\)、\(\sqrt{3}\) 的像分别独立地可取 \(\pm\)所以四个自同构可以写成自同构\(\sqrt{2}\) 的像\(\sqrt{3}\) 的像阶id\(\sqrt{2}\)\(\sqrt{3}\)1\(\sigma\)\(-\sqrt{2}\)\(\sqrt{3}\)2\(\tau\)\(\sqrt{2}\)\(-\sqrt{3}\)2\(\sigma\tau\)\(-\sqrt{2}\)\(-\sqrt{3}\)2这就是 Klein 四元群 \(\mathbb{Z}/2\times\mathbb{Z}/2\)。它有三个 2 阶子群和一个平凡子群对应的中间域如下子群固定子域次数\({1}\)\(\mathbb{Q}(\sqrt{2},\sqrt{3})\)1\(\langle\sigma\rangle\)\(\mathbb{Q}(\sqrt{3})\)2\(\langle\tau\rangle\)\(\mathbb{Q}(\sqrt{2})\)2\(\langle\sigma\tau\rangle\)\(\mathbb{Q}(\sqrt{6})\)2全群\(\mathbb{Q}\)4这里有一个容易算错的细节为什么 \(\langle\sigma\tau\rangle\) 的固定子域是 \(\mathbb{Q}(\sqrt{6})\)而不是 \(\mathbb{Q}(\sqrt{2}\sqrt{3})\)因为 \(\sigma\tau\) 把 \(\sqrt{2}\) 和 \(\sqrt{3}\) 都变号所以 \(\sqrt{2}\sqrt{3}\sqrt{6}\) 保持不动而 \(\sqrt{2}\)、\(\sqrt{3}\) 都动了。从“哪个量不被所有群元素改变”的角度算固定域比直接猜要稳得多。做完这个例子伽罗瓦对应的精髓就掌握了一半域的子结构可以被群完全编码而群里的每一个子群都对应着一个中间域维度、包含关系、正规性全部能对应上。6. 这些抽象玩意儿到底有什么用6.1 尺规作图三难题的代数判据现在把目光转向古希腊几何三大难题倍立方体、三等分角、化圆为方。它们之所以困扰了人们两千多年是因为没有代数语言来描述“尺规能画出什么数”。尺规作图从一条线段长度 1开始每次作直线或圆的交点解的坐标最多涉及二次方程也就是说每步最多引入一个形如 \(\sqrt{\Delta}\) 的新数。于是可得一条核心判据一个数 z 能用尺规作图得到当且仅当 \(\mathbb{Q}(z)\) 位于一个由一连串二次扩张组成的塔中即存在 \(\mathbb{Q}F_0\subset F_1\subset\cdots\subset F_n\)且每个 \(F_i/F_{i-1}\) 的次数都是 2。由塔式法则\([F_n:\mathbb{Q}]2^n\)所以 \([\mathbb{Q}(z):\mathbb{Q}]\) 必须是 2 的幂。逐个看三难题倍立方体要作 \(\sqrt[3]{2}\)最小多项式 \(x^3-2\) 的次数是 3不是 2 的幂所以不可能。三等分 60° 角相当于作 \(\cos20^\circ\)。用三倍角公式 \(\cos60^\circ4\cos^320^\circ-3\cos20^\circ\)即 \(8y^3-6y-10\)。这个多项式不可约次数是 3不是 2 的幂所以不可能。化圆为方要作 \(\sqrt{\pi}\)但 \(\pi\) 是超越数\(\mathbb{Q}(\sqrt{\pi})\) 是无限扩张直接出局。反过来正十七边形为什么能作因为 \(\cos(2\pi/17)\) 对应 \(\mathbb{Q}(\zeta_{17})\) 的次数是 \(\varphi(17)162^4\)而且高斯证明了存在按 2 次塔一层层扩出来的构造链。这个问题的本质就是判断一个扩张次数是不是 2 的幂没有域扩张的语言这样的判断根本无法书写。6.2 多项式可解性与判别式方程 \(f(x)0\) 能用根式求解翻译成域扩张语言就是它的分裂域能通过一连串“开根号”扩张添加 \(\sqrt[n]{a}\)得到。伽罗瓦的著名定理说\(f\) 根式可解当且仅当其分裂域的伽罗瓦群是可解群。对三次多项式来说这个抽象定理有一个非常具体的判别式形式。设 \(f(x)x^3pxq\) 在 Q 上不可约分裂域的伽罗瓦群要么是 \(A_3\)3 阶循环群要么是 \(S_3\)6 阶对称群。判别式\[\Delta-4p^3-27q^2.\]如果 \(\Delta\) 是 Q 中的完全平方数则 \(f\) 的伽罗瓦群是 \(A_3\)不仅根式可解而且分裂域只含 3 次扩张、不需要再平方扩张如果 \(\Delta\) 不是完全平方数则伽罗瓦群是 \(S_3\)虽然也可解但结构更复杂。算两个例子。\(f(x)x^3-2\) 中 p0、q-2\(\Delta-4\cdot0-27\cdot4-108\)不是平方数所以群是 \(S_3\)。这与前面算过的分裂域 \(\mathbb{Q}(\sqrt[3]{2},\omega)\) 次数 6 完全吻合。另一个例子 \(f(x)x^3-3x1\)\(\Delta-4\cdot(-27)-27\cdot181\)是平方数所以群是 \(A_3\)它的分裂域是三次扩张再添加一个“几乎已经存在”的量。注意判别式在这里不只是判断实根个数那是初等版本的功能它直接告诉你分裂域里有没有 \(\sqrt{\Delta}\) 这个二次中间域。把“是否平方”这个看似简单的算术事实和群的大小对应起来是伽罗瓦理论里让我印象最深的转折之一。至于五次方程\(S_5\) 不可解于是五次一般方程没有根式解。这个结论用群的语言一句话就说清了但它背后是整套“有理数域上的扩域”理论。6.3 现代续章代数数域的整数论有限扩域 \(K/\mathbb{Q}\) 在代数数论里有一个专门的名字代数数域。这是现代数论的基本研究对象。进入代数数域后首先要问K 里的“整数”是什么不是简单照搬 Z 的元素而是所有满足某个首一整系数多项式的 K 中元素它们构成整环 \(\mathcal{O}_K\)。在 \(K\mathbb{Q}\) 时\(\mathcal{O}_K\mathbb{Z}\)。在 \(K\mathbb{Q}(i)\) 时\(\mathcal{O}_K\mathbb{Z}[i]\)高斯整数这里的唯一分解定理仍然成立因为 \(\mathbb{Z}[i]\) 是欧几里得整环。但在 \(K\mathbb{Q}(\sqrt{-5})\) 时唯一分解整体崩溃\(62\cdot3(1\sqrt{-5})(1-\sqrt{-5})\)两组分解都不可再分但元素彼此不关联。这个失败催生了理想类群的概念——用一个有限阿贝尔群来度量“唯一分解失败了多少”。类数为 1 时唯一分解成立这正是费马大定理证明里很多步骤需要的条件。这一整套理论绝不是教材里“学了考完就扔”的抽象构造。从二次互反律到椭圆曲线的伽罗瓦表示再到费马大定理的证明\(K/\mathbb{Q}\) 的扩张结构算法无处不在。你如果以后读代数数论的论文几乎每一页都在跟“某个数域的子域、嵌入、伽罗瓦群”打交道。我自己学了这么多年数学一个很深的体会是域扩张这个题目最忌讳的是只背定义。定义背得再熟不如亲手算两个例子。你先算熟 \(\mathbb{Q}(\sqrt{2})\) 和 \(\mathbb{Q}(\sqrt[3]{2})\)把极小多项式、扩张次数、所有嵌入、自同构群都亲手列一遍然后再去读伽罗瓦对应的抽象表述你会发现那些符号突然都有了画面。如果还想再进一步推荐一个经典练习算 \(\mathbb{Q}(\sqrt{2},\sqrt{3},\sqrt{5})\) 的次数、自同构群的全部元素以及所有中间域然后用伽罗瓦基本定理逐一验证对应关系。这个练习做完你对“有理数域上的扩域”的理解基本上就能超过绝大多数教材第一遍阅读的水平了。
阅读完成 · 觉得有帮助？
