Awesome question—let's unpack this thoroughly, since it touches on some key ideas in field theory.

核心结论先给你 #

首先，很多域都满足“存在任意次数不可约多项式”的性质，但也有关键例外。直接给你分类：

满足该性质的域 #

• 有理数域$\mathbb{Q}$：你已经知道这个了，比如用Eisenstein判别法构造$x^n - p$（$p$是任意素数），对任意正整数$n$，这都是$n$次不可约多项式。
• **有限域$\mathbb{F}_q$（$q=p^{k$，$p$素数）**：可能有点反直觉，但确实对任意正整数$d$，都存在$d$次不可约多项式。原因是有限域的$d$次扩域$\mathbb{F}_{q}d}$是唯一存在的，而这个扩域的极小多项式就是$\mathbb{F}_q$上的$d$次不可约多项式。比如$\mathbb{F}_2$上，$x^3 + x + 1$是3次不可约的，$x^4 + x + 1$是4次不可约的，以此类推。
• 多数无限非代数闭域：比如$\mathbb{Q}(\sqrt{2})$（$\mathbb{Q}$的二次扩域）、有理函数域$\mathbb{Q}(t)$。拿$\mathbb{Q}(t)$来说，$x^n - t$就是$n$次不可约多项式（用Eisenstein判别法，把$t$看作“素元”）；$\mathbb{Q}(\sqrt{2})$上，对任意奇数$d$，$x^d - 2$都是不可约的，偶数$d$也能找到对应的不可约多项式。

不满足该性质的域 #

• 代数闭域：比如复数域$\mathbb{C}$，所有不可约多项式都是一次的（代数基本定理），根本不存在次数≥2的不可约多项式，更别说任意次数了。
• 实数域$\mathbb{R}$：这是个经典例外——$\mathbb{R}$上的不可约多项式只能是一次或者二次的（比如$x^2 + 1$）。任何三次及以上的实系数多项式都可约（因为复根共轭成对，所以奇次多项式必有实根，偶次高次多项式也能分解成二次和一次因子），所以找不到三次及更高次的不可约多项式。

判定准则：怎么判断一个域是否有这个性质？ #

最准确的充要条件和有限扩域的次数范围直接相关：

一个域$K$上存在任意次数的不可约多项式，当且仅当对于任意正整数$d$，都存在$K$的$d$次有限扩域。

为什么？因为不可约多项式的次数恰好等于它的根生成的扩域相对于$K$的次数。如果能找到$d$次扩域，那这个扩域的极小多项式就是$d$次不可约多项式；反过来，如果存在$d$次不可约多项式，它的分裂域就是$K$的$d$次（或其倍数次）扩域，自然存在$d$次扩域。

用这个准则验证一下：

• 有限域$\mathbb{F}q$：对任意$d$，$\mathbb{F}{q^d}$是$d$次扩域，满足。
• 实数域$\mathbb{R}$：有限扩域只能是1次（$\mathbb{R}$本身）或2次（$\mathbb{C}$），不存在3次及以上的扩域，所以不满足。
• 代数闭域：所有有限扩域都是1次（就是自身），所以不满足。

这样是不是就清晰多了？

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