为何仅能在基域上讨论多项式的根？基域特征影响探究

API 探路者

2026-5-19

关于多项式根与基域的核心问题解答

嘿，这个问题一点都不浅显——多项式的根、可分性和基域的关系，其实是抽象代数里相当核心的基础知识点，咱们一步步拆解清楚：

一、为什么要在特定基域上讨论多项式的根？

多项式本身是系数在某个域$F$上的形式表达式，但“根”的定义是“代入多项式后结果为0的元素”，这个元素必须属于某个包含$F$的域（也就是$F$的扩域）。不同的扩域里，根的存在性、数量甚至性质都会完全不同：

比如多项式$x^2 + 1$，在实数域$\mathbb{R}$里没有根，但在复数域$\mathbb{C}$里有两个根$\pm i$；
再比如$x^2 - 2$，在有理数域$\mathbb{Q}$里找不到根，但在$\mathbb{Q}(\sqrt{2})$（添加$\sqrt{2}$得到的扩域）里就有两个明确的根。

虽然每个域都包含单位元1，但多项式的系数是$F$中的元素，根的讨论必须基于“包含这些系数的域语境”——脱离基域谈根，就像脱离坐标系谈点的位置一样，根本没有明确的意义。

根的存在性、所在范围一定会随基域扩张而变化：

基域越小，能找到的根越少（比如$\mathbb{Q}$里找不到$\sqrt{2}$，但$\mathbb{R}$里能找到）；
当基域扩张到代数闭包（比如$\mathbb{C}$是$\mathbb{Q}$和$\mathbb{R}$的代数闭包）时，任何多项式都能完全分裂成一次因式的乘积，所有根都存在于这个闭包里。

不过有个特例：比如特征为$p$的域中，多项式$x^p - x$的根始终是基域的素子域$\mathbb{F}p$中的元素，哪怕扩张到更大的$\mathbb{F}{p^{n}$，新增的元素也不满足$a}p = a$，所以根的集合不会扩大。

可分性的定义是：多项式在它的分裂域中没有重根，等价于多项式$f(x)$和它的导数$f'(x)$在基域上互素。这里有个关键结论：

多项式的可分性是相对于原基域的内在性质，基域扩张不会改变它的可分性。

因为互素性在域扩张下是保持的——如果$f$和$f'$在$F[x]$里互素，那么在任何扩域$K \supseteq F$的$K[x]$里也互素，反之亦然。比如：

特征为$p$的域$F = \mathbb{F}_p(t)$（有理函数域）中，多项式$f(x) = x^p - t$在$F$上不可约且不可分（因为$f'(x) = 0$，和$f$不互素）；哪怕扩张到分裂域$F(t^{1/p})$，$f(x) = (x - t^{1/p})p$，依然是有重根的不可分多项式。

可分性：所有不可约多项式都是可分的。因为特征0下，次数$n \geq 1$的多项式导数$f'(x)$的次数是$n-1 \geq 0$，不是零多项式；而不可约多项式$f(x)$和$f'(x)$不可能有公共因式（否则$f$会整除$f'$，但$f$次数更高），所以$f$和$f'$互素，无重根。
根的性质：$n$次多项式在分裂域中恰好有$n$个根（计重数），且不可约多项式的根都是不同的（可分）。

可分性：存在不可分的不可约多项式。典型例子是形如$f(x) = g(x^p)$的多项式，此时$f'(x) = p \cdot g'(x^p) \cdot x^{p-1} = 0$（因为特征$p$下$p=0$），$f$和$f'$不互素，必然有重根。比如$F = \mathbb{F}_p(t)$中的$f(x) = x^p - t$，就是不可约且不可分的。
可分多项式的特点：如果$f'(x) \neq 0$，则$f$是可分的。比如所有次数小于$p$的不可约多项式都是可分的，因为它们的导数次数至少为0，且和原多项式互素。
根的性质：
- 多项式$x^p - x$的根是$\mathbb{F}_p$的所有元素，在任何$\mathbb{F}_p$的扩域中，根的集合都不会扩大；
- 对于一般多项式，重根可能存在，且不可约多项式可能只有一个重根（比如上面的$x^p - t$）。

比如$p_1=2$，$p_2=3$：

内容的提问来源于stack exchange，提问作者Ecotistician