定义

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

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

例子

主理想整环，特别是欧几里得整环。由此可知整数、高斯整数与艾森斯坦整数环都是唯一分解整环。

域也是唯一分解整环。

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

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

正则局部环皆为唯一分解整环。

以下给出几个反例：

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

令 R {\displaystyle R} 为任一交换环，则 R [ X , Y , Z , W ] / ( X Y − − --> Z W ) {\displaystyle R[X,Y,Z,W]/(XY-ZW)} 非唯一分解整环；当 R {\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

免责声明：以上内容版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。感谢每一位辛勤著写的作者，感谢每一位的分享。