不可约多项式

定义陈述

设 $p(x)\in K[x]$ 且 $\mathrm{deg}p\ge 1$。称 $p(x)$ 在数域 $K$ 上不可约，若它不能写成两个次数都 $\ge 1$ 的 $K[x]$ 多项式之积，即

$$p(x)=g(x)h(x),g,h\in K[x]⟹\mathrm{deg}g=0\text{或}\mathrm{deg}h=0.$$

否则称 $p(x)$ 可约。等价地：$p$ 的因式（ALG-DEF-002）只有非零常数与 $p$ 的非零常数倍。

约定常数多项式与零多项式既不可约也不可约地讨论——不可约性只对 $\mathrm{deg}\ge 1$ 的多项式定义。

与相近概念的区别

概念	关键差别
不可约多项式	$\mathrm{deg}\ge 1$ 且无次数 $\ge 1$ 的真因式——多项式版”素数”
素数	整数中 $>1$ 且无真因子；不可约是其多项式类比
无根（无 $K$ 中根）	不等价于不可约（仅对 $\mathrm{deg}\le 3$ 等价，高次可约却无根）
既约分式	分子分母互素，与多项式不可约是不同层面的”约”

不可约性强依赖底域 $K$：同一个多项式在不同域上不可约性可不同。

直觉理解

不可约多项式是因式分解的”原子”——无法再拆成更低次的乘积，正如素数无法再拆成更小因子之积。唯一分解定理（ALG-THM-002）断言：每个多项式都唯一地分解为这些”原子”之积。

最大的陷阱是”无根 = 不可约”。两者只在低次巧合：

• $\mathrm{deg}p\in \{2,3\}$：$p$ 可约 $⟺$ $p$ 有 $K$ 中根（因任一真分解必含一次因式）；
• $\mathrm{deg}p\ge 4$：可约却无根成为常态。反例：$x^4+1$ 在 $\mathbb{R}[x]$ 上无实根，却可约—— $$x^4+1=(x^2+\sqrt{2}x+1)(x^2-\sqrt{2}x+1).$$

底域决定”原子”的大小：

• $\mathbb{C}[x]$：不可约多项式只有一次式（代数基本定理）；
• $\mathbb{R}[x]$：不可约多项式 = 一次式 + 判别式 $<0$ 的二次式；
• $\mathbb{Q}[x]$：存在任意高次的不可约多项式（如 $x^n-2$ 由 Eisenstein 判别）。

链接

• 前置：ALG-DEF-001 一元多项式、ALG-DEF-002 整除
• 核心定理：ALG-THM-002 唯一分解定理（不可约多项式是分解的原子）
• 关联：ALG-DEF-003 互素（不可约 $p$ 与不被其整除的多项式必互素）

跨专业应用

• 编码理论：用 ${\mathbb{F}}_p[x]$ 中的不可约多项式 $p(x)$ 作商，构造有限域 ${\mathbb{F}}_{p^n}={\mathbb{F}}_p[x]/(p(x))$——Reed–Solomon、BCH 码的代数基础
• 密码学：AES 的字节运算在 ${\mathbb{F}}_{2^8}={\mathbb{F}}_2[x]/(x^8+x^4+x^3+x+1)$ 上进行，模的正是一个 8 次不可约多项式
• 数论：分圆多项式 ${\Phi }_n(x)$ 在 $\mathbb{Q}[x]$ 上不可约，是代数数论与 Galois 理论的基本素材