域扩张、代数元与最小多项式：伽罗瓦理论的基石与实操指南

学抽象代数最绕不开的三个概念就是域扩张、代数元与最小多项式。很多人卡在伽罗瓦理论门口不是群论没学好而是没把域扩张这套语言练熟。域扩张告诉你“新数”住在什么样的结构里代数元告诉你这个“新数”到底属于哪一类最小多项式则像一个精确到不可再分的指纹决定了一个代数元素在扩张域里的所有行为。这篇文章就把这三件事拆开讲透从最朴素的二次方程讲到稍复杂的复合根式配套具体计算过程、常见误区以及我自己踩过的几个坑。适合准备学伽罗瓦理论、正在复习抽象代数或者单纯想搞明白“为什么√2√3的最小多项式是x⁴-10x²1”的读者。1. 域扩张为什么我们要给“数”搬家1.1 从x²-20说起域扩张这个概念最自然的入口其实就是中学就见过的问题方程x²-20在有理数范围内没有根。这里的“有理数范围”不是随便说的它指的是有理数域Q。在抽象代数里域是满足加减乘除四则运算都封闭的代数结构有理数、实数、复数都是域。方程x²-20在Q里没有解但在实数域R里有解√2。如果我们只想研究这个方程不一定要直接跳到整个实数域因为实数域太“大”了里面塞满了跟这个方程无关的东西。更精细的做法是把√2作为一个“新数”塞进有理数域里强制要求四则运算封闭得到一个包含Q和√2的最小的域记作Q(√2)。这个运行过程就是一次典型的域扩张。所谓域扩张简单说就是两个域F和E满足F是E的子域记作E/F。注意这里的写法读作“E over F”意思是E建立在F之上。我们常常说“E是F上的扩张”这时F被当成“地基”。在新地基上F中的元素照常参与运算额外的元素被逐个添加进去。域扩张研究的一件核心事情是从F出发添加一个或几个元素以后新域E到底有多大、结构如何、与原域的关系怎样。我特别喜欢用一个搬家类比来解释这件事。F像是一间已经装修好的小公寓而扩张E是买下旁边几间房以后打通的大套房。公寓还是原来的公寓但使用面积变了墙上的梁柱也可能影响新的空间布局。域扩张里的“墙”就是F中的运算规则新元素不能破坏这些规则所以新空间必须在旧规则允许的范围内延展。Q(√2)里的每个元素都可以写成ab√2的形式其中a、b∈Q这其实就是“打通”之后所有合法空间的完整描述。1.2 域扩张的次数把域看成一个向量空间域扩张最重要的数值指标是扩张次数记作[E:F]。这个记号不是随便选的它表示把E看成F上的向量空间时的维度。你可能觉得奇怪一个域怎么突然变成了向量空间道理很简单E里的元素可以做加法也可以被F中的元素数乘而且满足向量的那些运算律所以E天然就是一个F-向量空间。只要这个空间的维度有限扩张次数就是一个有限的整数。举例来说[C:R]2因为复数可以写成abi其中a,b∈R{1,i}是复数作为实数向量空间的一组基。再比如[Q(√2):Q]2因为Q(√2)里的元素唯一写成ab√2所以{1,√2}是一组基。更复杂的例子是Q(√2,√3)也就是把√2和√3都放进Q里得到的域。这个域里的每个元素都能写成ab√2c√3d√6四个系数都在Q里所以[Q(√2,√3):Q]4。你可以验证基{1,√2,√3,√6}确实能表示所有乘积而且线性无关。为什么扩张次数重要因为它给出了“添加一个新数”的代价。添加√2只需要2维添加√2和√3需要4维这4维不是简单把224背后其实有更精致的乘法结构。扩张次数有限时我们叫有限扩张次数无限时叫无限扩张。一个很容易理解的例子是[R:Q]因为有理数到实数的维度不是任何有限整数所以它是无限扩张。在抽象代数习题里判断扩张次数往往比直接算元素简单因为你可以通过塔式公式逐步拆解。1.3 单扩张与扩张塔如果扩张E是在F的基础上只添加一个元素α得到的就称为单扩张记作F(α)。单扩张是域扩张里最核心的积木因为很多看似复杂的扩张都可以拆成一系列单扩张的复合。关键问题是F(α)到底由哪些元素组成。如果α是代数元这个结构非常清晰如果α是超越元结构则是另一个样子。我们后文会详细展开但可以先记住结论当α是F上的代数元时F(α)里的所有元素都是某个次数低于n的多项式在α处的取值其中n是α的最小多项式次数。处理多层扩张时有一个利器叫塔式公式若F⊆K⊆E是三个域且每一步都是有限扩张那么[E:F][E:K][K:F]。这个公式就是把一个大扩张拆成“两步走”每一步单独算维度然后乘起来。以Q(√2,√3)为例可以先从Q扩张到Q(√2)这一步次数是2再从Q(√2)扩张到Q(√2,√3)这一步的次数也是2因为√3的极小多项式x²-3在Q(√2)里仍然不可约。于是总次数是2×24。塔式公式在计算最小多项式次数时极其常用后面我们还会反复碰见它。2. 代数元与超越元域扩张的核心分类2.1 定义零化多项式的有无域扩张里的新元素根据是否有“血缘关系”被分成两类代数元和超越元。严格定义是设E/F是域扩张α∈E。如果存在F[x]中一个非零多项式f(x)使得f(α)0就称α是F上的代数元如果这样的非零多项式不存在就称α是F上的超越元。这个定义看起来简单含义却很深。代数元意味着这个新数满足一个以F中元素为系数的多项式方程。比如√2是Q上的代数元因为它是多项式x²-2的根i是Q上的代数元因为它是x²1的根∛2是Q上的代数元因为它是x³-2的根。反过来π和e作为实数它们不是任何有理系数非零多项式的根所以是Q上的超越元。这里不展开证明因为π的超越性需要很深的分析工具但作为结论记住就好。我习惯用一个比喻来区分代数元是“有规则的数字”它背后有一个有限长的密码本也就是多项式方程的系数超越元则像是“无规则乱码”无论你用多少次多项式操作都没法精确捕捉它和有理数之间的代数关系。这个差异不是简单的无理与有理之分因为√2是无理数但它是代数元而π也是无理数却是超越元。所以代数元这个身份不是由“长得是否奇怪”决定的而是由它和基域F之间是否存在多项式约束决定的。2.2 最小多项式代数元的唯一身份证确定了α是代数元之后下一步要问它能被多少个多项式零化答案是有无穷多个因为如果f(α)0那么随便乘一个多项式g(x)都有(gf)(α)0。零化多项式组成一个理想而这个理想是主理想由唯一一个“最小”的多项式生成。这个最小多项式要满足三条首项系数为1、在F上不可约、以α为根。其中“最小”的意思是次数最低首一条件是为了唯一性。以√2为例它被x²-2零化x²-2在Q上不可约首项系数已经是1所以√2的最小多项式就是x²-2。虽然2x²-4也能零化√2但它不是首一的而且可约所以不能充当最小多项式。再比如i的最小多项式是x²1∛2的最小多项式是x³-2。话虽简单真正操作时经常会出错算出某个零化多项式就以为大功告成忘了检查不可约性。零化多项式只是“候选”最小多项式必须在这个基础上继续做因式分解筛掉不必要因子。最小多项式之所以重要不只是因为它能命名元素。它实际上决定了F(α)这个域的所有结构。有一个漂亮的同构定理F[x]/(m(x))≅F(α)其中m(x)是α的最小多项式。这个同构的左边是多项式环模掉主理想右边是单扩张域。左边看起来抽象但它告诉我们F(α)里每个元素都等价于一个次数小于deg m的多项式于是F(α)作为F-向量空间的维度恰好等于deg m。这是后面一切计算的基础。2.3 代数扩张与有限扩张的关系如果一个扩张E/F里每个元素都是F上的代数元就称E/F是代数扩张。与之相对只要有一个元素是超越元就不是代数扩张。代数扩张这个条件看上去比有限扩张弱但二者之间有紧密的联系有限扩张一定是代数扩张。证明思路很直接设[E:F]n任取α∈E考虑1, α, α², …, αⁿ这n1个元素。它们在线性空间E里必然线性相关所以存在不全为零的系数c₀,c₁,…,cₙ∈F使得c₀c₁α…cₙαⁿ0。这就找到了一个非零零化多项式所以α是代数元。反过来代数扩张不一定是有限扩张。比如把Q上所有代数数都收集起来得到一个代数扩张但它的维度不是有限数。这个反向例子在课堂上看似冷门其实是理解“有限”和“代数”两个概念差别的关键。那么单扩张F(α)什么时候是有限扩张答案是当α是代数元时。此时F(α)≅F[x]/(m(x))维度等于deg m所以有限。当α是超越元时F(α)和有理函数域F(x)同构维度是无限的。这也是一个很实用的判断口径一个元素是代数元的充要条件就是单扩张的维度有限。很多人做题时先算维度再判断代数性思路就是这样来的。3. 手把手求最小多项式三个经典例子3.1 线性相关法以√2√3为例现在进入实操环节。先看最经典的例题求α√2√3在有理数域Q上的最小多项式。很多教材直接告诉你答案是x⁴-10x²1但关键的推导过程和不可约性检查值得仔细走一遍。第一步确认α是代数元并找一个零化多项式。最简单的办法是做代数变形。先算平方α²(√2√3)²232√652√6。把√6单独放到一边α²-52√6。两边平方(α²-5)²24。展开得到α⁴-10α²2524即α⁴-10α²10。所以我们找到了一个Q上的首一零化多项式m(x)x⁴-10x²1。但它是不是最小多项式还要检查是否不可约。第二步检查不可约性。这个多项式没有有理根因为可能的有理根只有±1代入都不是零所以它没有一次因子。如果它可约只能拆成两个二次因子的乘积。设x⁴-10x²1(x²axb)(x²cxd)其中a,b,c,d∈Q。比较两边系数会得到一个方程组最终会推出a²等于8或12这与a∈Q矛盾。这个推导比较繁琐但非常训练功力。更省力的方法是另辟蹊径因为α∈Q(√2,√3)而[Q(√2,√3):Q]4所以[Q(α):Q]≤4。如果我们能说明Q(α)Q(√2,√3)那么次数正好是4。事实上√2(α1/α)/2这类表达式可以反解出√2和√3所以确实有Q(α)Q(√2,√3)。于是deg m4m就是最小多项式。第三步确认唯一性。因为m首一、不可约、以α为根所以它就是α的最小多项式。以后看到“√2√3的最小多项式是x⁴-10x²1”时要清楚它背后藏着上述两步动作找零化多项式以及验证不可约。3.2 更多例子三次根、虚数单位与复合根式再看几个不同风格的例子巩固方法论。例子一是α∛2。显然α是x³-2的根所以只需判断x³-2在Q上是否不可约。它是一个三次多项式如果可约必然有一次因子也就是有有理根。试遍±1、±2代入都不为零所以不可约。因此最小多项式就是x³-2。注意这里也可以用爱森斯坦判别法取素数p2p能整除除首项外的所有系数p²不整除常数项-2所以多项式不可约。这是更快的判别工具。例子二是αi即虚数单位。它在Q上的最小多项式是x²1。这一点看起来太简单但值得提醒i在实数域R上的最小多项式就不再是x²1了因为x²1在R上可约事实上x²1在R上没有根仍然不可约但x²1在C上可约因为i已经在C里。所以说“最小多项式”必须指明是在哪个基域上。例子三是稍微复杂的α√2∛2。这个元素的手工计算会让人抓狂因为单纯的“平方消根号”会遇到三种根号纠缠。我的建议是不要硬算改用线性空间方法。首先α∈Q(√2,∛2)这个扩张的次数是6因为Q⊆Q(∛2)⊆Q(√2,∛2)依次是3次和2次扩张。所以α的最小多项式次数最多是6。接下来把域Q(√2,∛2)的一组基写出来计算α在这组基下的线性变换然后求最小多项式。这是用矩阵替代繁琐代数变形的可靠路径代价是计算量大一点。遇到此类题目如果允许使用计算工具也能快速得到结果。手工追求的是理解原理工具追求的是效率和验证。3.3 用符号计算验证结果我平时做完手算如果手边有电脑一定会再用符号计算验证一遍。这里分享一个小例子。用Python的SymPy库可以这样写from sympy import symbols, sqrt, Rational, minimal_polynomial x symbols(x) alpha sqrt(2) 2**Rational(1, 3) print(minimal_polynomial(alpha, x))SymPy会输出一个六次首一多项式。这个结果和人工用线性代数方法求出来的一致。如果是用SageMath代码更简洁a QQbar(2)^(1/3) sqrt(QQbar(2)) a.minpoly()Sage里所有代数数默认放在代数闭包QQbar里minpoly方法直接返回最小多项式。需要强调的是工具可以帮我们省去繁琐计算但不能替代对“不可约性”和“基域”的判断。工具默认返回的多项式通常已经经过化简和不可约性验证但你应该自己心里有数为什么是这样的次数、为什么不可约。4. 常见问题与避坑指南4.1 为什么最小多项式必须是首一的初学者经常困惑既然零化多项式可以乘以任意非零常数为什么最小多项式非要规定首一原因很简单不规定首一最小多项式就不唯一。比如√2的零化多项式可以是x²-2也可以是-2x²4还能是(1/3)x²-(2/3)等。如果都叫最小多项式那就会乱套。把最高次项系数归一以后多项式的身份就唯一了。首一条件还有另一个好处便于比较和计算。在证明同构F[x]/(m(x))≅F(α)时用首一多项式做主理想生成元余式运算就有明确的“首一余式”规范不会因为系数缩放产生歧义。还有一个容易忽略的细节如果α≠0那么最小多项式m(x)的常数项一定不为0。原因是如果常数项为0则x可以提出来m(x)x^k h(x)由于m(α)0会有α0或h(α)0这与m的不可约性或最小性矛盾。这个细节在后面讨论范数、逆元时很有用。4.2 不可约性判定几种常用工具判断多项式在给定域上是否不可约是求出最小多项式的临门一脚。对二次和三次多项式判定很简单在域F上没有根就不可约因为如果有一次因子就等价于有根。对于更高次多项式常用方法包括有理根检验只解决一次因子爱森斯坦判别法解决一类特殊多项式模p约化则是借助一个素数p把整系数多项式模p后在有限域上分解如果模p后仍不可约则原多项式不可约此外还有反证法和次数约束法。用x⁴-10x²1举例它不能直接用爱森斯坦判别法因为没有任何素数能同时整除10且不整除最高次项取p2时首项系数1不被2整除10被2整除常数项1不被2整除实际上爱森斯坦要求除首项外的所有系数都被p整除且常数项不被p²整除。这里常数项1不被2整除所以p2不满足爱森斯坦。需要另寻他法。我常用的一个技巧是如果已经知道某个扩张的次数上界而求得的多项式次数恰好等于扩张次数那不可约性就不用再纠结。比如α√2√3在Q(√2,√3)中且能证明[Q(α):Q]4那么多项式次数4直接确定不可约。不可约性永远与基域有关。x²-2在Q上不可约但在R上可约x²1在R上不可约但在C上可约。因此做题时必须问清楚“在哪个域上”。4.3 求最小多项式时最容易犯的错第一个高频错误是把零化多项式当成最小多项式。零化多项式是必要条件不是充分条件。比如α√2有人写出2x²-4这个多项式零化α但可约且非首一所以不是最小多项式。正确流程是先找一个零化多项式再判断不可约若可约则要分解后看哪个因子包含α这个根。第二个错误是忽略基域。两个不同的基域下同一个代数元素的最小多项式可能不同。α√2在Q上的最小多项式是x²-2但在Q(√2)上的最小多项式变成x-√2因为此时√2已经属于基域。只要把基域扩大原来不可约的多项式可能分解最小多项式自然改变。所以每次写出最小多项式时都要在心里默念一遍“在哪个域上”。第三个错误出现在消根号的变形过程中。比如α√2√3算出α⁴-10α²10之后有人直接说“最小多项式就是x⁴-10x²1”这没问题但有人从α²-52√6出发如果两边平方后忘记检查是否引入了多余因子就可能得到次数过高的多项式。其实这里是安全的因为恰好得到四次。但换成更复杂的根式组合时消元过程容易引入不属于原元素的代数关系所以验证不可约性永远不能省略。第四个错误是混淆元素自身的代数性与扩张的代数性。有限扩张必是代数扩张这个方向是对的但反过来不一定成立。有人看到一个扩张里的每个元素都能用某个多项式零化就认为扩张次数有限这是不对的。判断有限性还是要回到维度计算上。4.4 我对代数元的几点体会做了大量这类题目之后我有一个很深的体会域扩张、代数元与最小多项式这三者不是孤立知识点它们是一套解决问题的工具链。拿到一个新元素先看它属于哪个已知扩张大致估计次数上界然后找零化多项式用不可约性判断确定最小多项式最后用最小多项式反推单扩张的结构。这个过程反复训练对理解伽罗瓦理论非常有帮助。我自己实操时还有一个习惯就是先用几个经典元素做“热身”√2、∛2、i、√2√3、√2∛2。前四个用手算最后一个用工具验算做完之后对最小多项式的次数、常数项、不可约性都有了直观感觉。如果有同学在不可约性判断上卡住我会建议他先练二次和三次多项式的有理根检验再练爱森斯坦判别法最后再看模p约化。这个顺序能让人少走很多弯路。最后分享一个小技巧求逆元时最小多项式特别好用。比如给定α是Q上代数元要求1/α在Q(α)中的表达式可以先写出α的最小多项式m(x)xⁿ…c₀由m(α)0得到α(…)-c₀于是1/α-(…)/c₀。这正是最小多项式的实际工程价值。所以别看定义简单掌握好它后面一系列计算都会顺畅很多。