小树也能读懂的唯一因子分解整环

算术基本定理

打小学起，我们就知道正整数有一些基本单元叫做素数，它们除了1和自身外没有其他的因子。除了1之外的数，如果不是素数，就叫做合数，合数可以分解成素数的乘积，比如，$12=2\times 2\times 3$。而且，这种分解是唯一确定的。那时候，我们不会思考为什么这种分解是存在的，更不会思考为什么这种分解是唯一的。我们把老师和课本当成是权威，所说所写都是真理。稍微勤快点的孩子，动手写了几个例子，发现也确实是对的。那时候，一切只需要陈述和应用，证明看起来是那么高不可攀。

现在我们来看看怎么证明吧。给一个大于1的正整数，如果不是素数，就可以分解成两个更小的数的乘积，如果这两个数也不是素数，就又可以分解成比自身更小的数的乘积。这个过程是不会无限进行下去的，我们不会一直都能取到更小的数（这个是由于自然数的良序性）。于是到了有限步之后，最初给的数就写成了有限个素数的乘积。

到目前为止，我们还不需要减法和负数。但是到了唯一性证明的时候，引入减法和负数就是必要的了。（这个并不绝对，但是会使证明更加简洁。不引入减法和负数，使用数学归纳法也是可以解决这个问题的。）首先，我们断言：一个素数$p$如果整数两个正数的乘积$ab$，那么它必定整除其中某个正数。这个依赖于带余除法。假设$p\nmid a,b$，则存在$u,v,s,t\in \mathbb{Z}$，使得$up+va=1$，$sp+tb=1$，两式相乘得到
$$(usp+utb+vsa)p+vtab=1$$

从而$p\nmid ab$。这样就证明了断言。引入逆运算，对系统进行自然的扩充，会使论证过程变得更加自然。 根据这个断言，如果有两个分解式$c=p_1{p}_2\cdots p_m=q_1{q}_2\cdots q_n$，则必有$p_1|q_{n(1)}$，因为$q_{n(1)}$也是素数，所以就得到$p_1=q_{n(1)}$，再用消去律（整数环是整环），就可以归纳下去完成证明。

上面这部分实际上说明了：整数环$\mathbb{Z}$是唯一因子分解整环。

完全类似地，可以说明域上的多项式环$k[x]$也是唯一因子分解整环。

整系数多项式

其实整系数多项式环$\mathbb{Z}[x]$也是唯一因子分解整环。它没有带余除法，但是它距离带余除法仅仅只有一步之遥——考虑有理数域上的多项式环$\mathbb{Q}[x]$。毕竟除法可以做就意味着首项可以消。

给一个整系数多项式$f$，如果看成是有理系数多项式，就可以分解为一些$\mathbb{Q}[x]$上的不可约多项式的乘积$f=f_1\cdots f_n$。下面考虑怎么回去。我们引入本原多项式的概念。$\mathbb{Z}[x]$上的多项式如果各项系数的最大公约数为1，则称此多项式是本原多项式。对于一个正次数有理系数多项式$g$，在相差一个正负号的前提下可以唯一确定一个本原多项式$g_0$使得$g=q{g}_0$，其中$q$为有理数。$\frac{c}{d}{g}_0=\frac{c^{\prime }}{d^{\prime }}{g}_0^{\prime }\Rightarrow c{d}^{\prime }{g}_0=c^{\prime }d{g}_0^{\prime }\Rightarrow c{d}^{\prime }=\pm c^{\prime }d\Rightarrow g_0=\pm g_0^{\prime }$。由此，我们就可以得到
$$f=q_1{g}_1\cdots q_n{g}_n=q_1\cdots q_n{g}_1\cdots g_n.$$

下面的问题在于说明前面的系数是整数。我们断言：本原多项式的乘积还是本原多项式。这里我们会看到引入商同态是必要的。设$g,h\in \mathbb{Z}[x]$均为本原多项式，假设$gh$不是本原多项式，则存在素数$p$整除所有系数。通过商同态$\mathbb{Z}[x]\to {\mathbb{Z}}_p[x]$，我们得到$\bar{g}\bar{h}=\overline{gh}=0\in {\mathbb{Z}}_p[x]$。因为${\mathbb{Z}}_p[x]$是整环，所以必定有$\bar{g}=0$或者$\bar{h}=0$，也就是说$p$会整除其中一个多项式的所有系数，矛盾。当然，我们也可以直接论证。但是，正是引入了保持运算的映射，使得理解过程变得本质而自然。从这个地方，就可以意识到，不仅仅要将集合作为一个基本概念，而且还要把集合之间保持运算的映射（一般称为态射）作为基本的概念。把代数系统和态射放在一起构成范畴，这样考虑问题就更加自然。$f=\frac{c}{d}{g}_1\cdots g_n\Rightarrow df=c{g}_1\cdots g_n\Rightarrow d{d}^{\prime }{f}_0=c{g}_1\cdots g_n$。由于本原多项式的乘积还是本原多项式，所以$f_0=\pm g_1\cdots g_n$，$c=\pm d{d}^{\prime }$。

于是分解式的存在性就迎刃而解。再看分解的唯一性。这部分就比较简单了，直接放到$\mathbb{Q}[x]$中去看就能够得出来。

抽象一下

上面的结果可以进行抽象下。其实，任何唯一分解整环上的多项式环都是唯一分解整环。证明的过程和$\mathbb{Z}[x]$的证明过程基本类似。

说点其他的……

上面说明了一些常见的对象是唯一因子分解整环，于是理解这个对象的主要工作就在某种意义上归结为理解不可约元。然而，我们对不可约元的理解其实是很少的。在整数环中，对素数的理解占据了数论研究的半壁江山：寻找大素数，素数的判断，素数的表达式，素数的分布。