不可约元

不可约元是乘法世界的原子：拆不出两个"真正的"因子。单位不算真正的因子——它们像 $\mathbb{Z}$ 里的 $\pm 1$，只改变包装，$6=2\cdot 3=(-2)(-3)$ 是同一种分解。定义排除单位与 $0$ 正是为了守住原子的含义：任何元素都能写成 $u\cdot (u^{-1}p)$，若单位也算因子则"分解"将无处不在；而 $0$ 被一切元素整除，放进来只会制造退化。真正微妙的是，"像素数"其实是两种不同的品质：一是拆不开（不可约），二是认得出因子（素性，即 Euclid 引理式的 $p\mid ab\Rightarrow p\mid a$ 或 $p\mid b$）。初学时两者在 $\mathbb{Z}$ 中重合，很容易被当成同义词；到一般整环里它们分道扬镳，而两者之间的缝隙恰好度量了唯一分解失效的程度。

在 $\mathbb{Z}$ 中不可约元恰为 $\pm p$（$p$ 为素数），此处不可约与素一致——这正是 Euclid 引理，也是算术基本定理公理库算术基本定理Fundamental theorem of arithmetic每个大于一的整数都能按次序无关且唯一地分解为素数乘积。中唯一性一半的引擎。多项式提供"依赖环境"的例子：$x^2+1$ 在 $\mathbb{R}[x]$ 中不可约，因为域上二次多项式可约当且仅当有根，而它无实根；到了 $\mathbb{C}[x]$ 就分解为 $(x-i)(x+i)$。环境甚至能改变参赛资格：$2$ 在 $\mathbb{Z}$ 中不可约，在 $\mathbb{Q}$ 中却成了单位，连"可约不可约"都无从谈起。

标准反例住在 $\mathbb{Z}[\sqrt{-5}]$ 里。取范数 $N(a+b\sqrt{-5})=a^2+5b^2$，它保持乘法。若 $2=xy$ 且两因子都非单位，则 $N(x)N(y)=N(2)=4$，而范数为 $1$ 恰好刻画单位，故只能 $N(x)=N(y)=2$；但 $a^2+5b^2=2$ 无整数解，所以 $2$ 不可约。另一方面 $2\mid 6=(1+\sqrt{-5})(1-\sqrt{-5})$，而 $\frac{1\pm \sqrt{-5}}{2}\notin \mathbb{Z}[\sqrt{-5}]$，故 $2$ 不整除任何一个因子：$2$ 不可约却不是素元。于是 $6$ 拥有 $2\cdot 3$ 与 $(1+\sqrt{-5})(1-\sqrt{-5})$ 两种在相伴意义下本质不同的不可约分解——素性与不可约的分离同唯一分解的失败在同一个例子里现形。

边界还包括环境假设本身。素元必不可约的论证要用消去律：设素元 $p=ab$，则 $p\mid a$（不妨），写 $a=pc$，代回得 $p=pcb$，消去 $p$ 得 $1=cb$，故 $b$ 是单位——有零因子时"消去 $p$"这一步就断了。因此标准定义以整环为环境；在带零因子的环里，"不可约"存在多个互不等价的推广版本，需逐一约定。

不可约元是分解理论的基石：唯一分解整环的定义就是每个非零非单位元都可写成不可约元之积，且分解在重排与相伴意义下唯一，在那里不可约与素合流。在主理想整环公理库主理想整环Principal ideal domain · PID每个理想都由单个元素生成的整环。中还有理想语言的刻画：$p$ 不可约当且仅当 $(p)$ 是非零极大理想，从而 $R/(p)$ 是域。这一机制最大的用户是域论：取 $F[x]$ 中的不可约多项式 $m$，商环 $F[x]/(m)$ 便是把 $m$ 的根添加进来的域扩张公理库域扩张Field extension一个域作为另一域子域时形成的包含关系与相应向量空间结构。，这是构造扩域的标准方法；代数元的极小多项式公理库极小多项式Minimal polynomial以给定代数元为根的首一不可约多项式。必不可约，而 Eisenstein 判别法等工具负责实际检验不可约性。反方向上，不可约与素的分离（如二次整数环中所见）正是十九世纪引入理想、发展代数数论中理想唯一分解的直接动机。