在數學中,唯一分解整環(英語:Unique factorization domain,縮寫:UFD)是一個整環,其中元素都可以表示成有限個不可約元素(或質元素)之積,並且表示法在允許重排與相伴(associative)之下唯一,相當於滿足算術基本定理的整環。
定義
一個整環 被稱為唯一分解整環若且唯若 中的每個非零元素 皆可表示為一個可逆元素和若干個不可約元素(可以是0個)的乘積:
-
其中 是一個可逆元素, 是不可約元素, 是非負整數。並且如果存在 的另一種表示法此表法 ( 是可逆元素, 是不可約元素),則 ,且存在一個下標的重排 與可逆元素 使得 ( ),換句話說,存在 使得 和 相伴。
例子
由此可知任意有限個變元的多項式環 也是唯一分解整環,但是一般來說 並不是主理想整環,除非 是一個體。
- 複流形(例如 )上一點的局部環是唯一分解整環。
- 正則局部環皆為唯一分解整環。
以下給出幾個反例:
- 環 並非唯一分解環,因為
-
- 令 為任一交換環,則 非唯一分解整環;當 為體時,這在幾何上對應到一個奇異點。
性質
整數的一些概念可以推廣至唯一分解整環:
- 在任意整環中,質元素必為不可約元;在唯一分解整環中,不可約元必為質元素。
- 任意有限個元素有最大公因數與最小公倍數,它們在至多差一個可逆元素的意義下唯一。
等價條件
- 一個諾特整環是唯一分解整環若且唯若每個高度為一的質理想都是主理想(即:由單個元素生成)。
- 一個整環是唯一分解整環若且唯若升鏈條件對主理想成立,而且任兩個元素有最小公倍數。
- 一個整環是唯一分解整環若且唯若其類群為平凡群。
文獻