唯一分解整环

在数学中，唯一分解整环（英语：Unique factorization domain，缩写：UFD）是一个整环，其中元素都可以表示成有限个不可约元素（或素元）之积，并且表示法在允许重排与相伴（associative）之下唯一，相当于满足算术基本定理的整环。

“UFD”重定向至此。关于其他用法，请见“UFD (消歧义)”。

定义

一个整环${\displaystyle R}$被称为唯一分解整环当且仅当${\displaystyle R}$中的每个非零元素${\displaystyle x}$皆可表示为一个可逆元和若干个不可约元素（可以是0个）的乘积：

${\displaystyle x=up_{1}p_{2}\cdots p_{n}}$

其中${\displaystyle u}$是一个可逆元，${\displaystyle p_{1},\cdots ,p_{n}}$是不可约元素，${\displaystyle n}$是非负整数。并且如果存在${\displaystyle x}$的另一种表示法此表法${\displaystyle x=vq_{1}q_{2}\cdots q_{m}}$（${\displaystyle v}$是可逆元，${\displaystyle q_{1},\cdots ,q_{m}}$是不可约元素），则${\displaystyle m=n}$，且存在一个下标的重排${\displaystyle \sigma \in S_{n}}$与可逆元${\displaystyle w_{1},\cdots ,w_{n}}$使得${\displaystyle q_{i}=w_{i}p_{\sigma (i)}}$ （${\displaystyle i=1,\cdots ,n}$），换句话说，存在${\displaystyle \sigma \in S_{n}}$使得${\displaystyle q_{i}}$和${\displaystyle p_{\sigma (i)}}$相伴。

例子

• 主理想整环，特别是欧几里得整环。由此可知整数、高斯整数与艾森斯坦整数环都是唯一分解整环。
• 域也是唯一分解整环。
• 若${\displaystyle R}$为唯一分解整环，则多项式环${\displaystyle R[X]}$亦然。(高斯引理)

由此可知任意有限个变元的多项式环${\displaystyle R[X_{1},\ldots ,X_{n}]}$也是唯一分解整环，但是一般来说${\displaystyle R[X]}$并不是主理想整环，除非${\displaystyle R}$是一个域。

• 复流形（例如${\displaystyle \mathbb {C} }$）上一点的局部环是唯一分解整环。
• 正则局部环皆为唯一分解整环。

以下给出几个反例：

• 环${\displaystyle \mathbb {Z} [{\sqrt {-5}}]}$并非唯一分解环，因为

${\displaystyle (6)=(2)(3)=(1+{\sqrt {-5}})(1-{\sqrt {-5}})}$

• 令${\displaystyle R}$为任一交换环，则${\displaystyle R[X,Y,Z,W]/(XY-ZW)}$非唯一分解整环；当${\displaystyle R}$为域时，这在几何上对应到一个奇点。

性质

整数的一些概念可以推广至唯一分解整环：

• 在任意整环中，素元必为不可约元；在唯一分解整环中，不可约元必为素元。
• 任意有限个元素有最大公约数与最小公倍数，它们在至多差一个可逆元的意义下唯一。

等价条件

• 一个诺特整环是唯一分解整环当且仅当每个高度为一的素理想都是主理想（即：由单个元素生成）。
• 一个整环是唯一分解整环当且仅当升链条件对主理想成立，而且任两个元素有最小公倍数。
• 一个整环是唯一分解整环当且仅当其类群为平凡群。

文献

• I. N. Herstein, Topics in Algebra (1975), Wiley. ISBN 0-471-01090-1
• H. Matsumura, Commutative algebra (1980), Benjamin-Cummings Pub Co. ISBN 0-8053-7026-9