上一页

ⓘ 唯一分解整環




                                     

ⓘ 唯一分解整環

在數學中, 唯一分解整环 ( Unique factorization domain )是一個整環,其中元素都可以表示成有限個不可約元素(或素元)之積,並且表示法在允許重排與相伴(associative)之下唯一,相當於滿足算術基本定理的整環。唯一分解整环通常以英文縮寫UFD表示。

                                     

1. 定義

一個整環 R {\displaystyle R} 被稱為 唯一分解整环 若且唯若 R {\displaystyle R} 中的每個非零元素 x {\displaystyle x} 皆可表示為一個可逆元素和若干個不可約元素(可以是0個)的乘積:

x = u p 1 p 2 ⋯ p n {\displaystyle x=up_{1}p_{2}\cdots p_{n}}

其中 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}} 相伴。

                                     

2. 例子

  • 主理想整环,特別是歐幾里得整环。由此可知整數、高斯整數與艾森斯坦整數環都是唯一分解整环。
  • 若 R {\displaystyle R} 為唯一分解整环,則多項式環 R /XY-ZW} 非唯一分解整环;當 R {\displaystyle R} 為域時,這在幾何上對應到一個奇點。
  • 體也是唯一分解整环。
                                     

3. 性質

整數的一些概念可以推廣至唯一分解整环:

  • 任意有限個元素有最大公因數與最小公倍數,它們在至多差一個可逆元的意義下唯一。
  • 在任意整環中,素元必為不可約元;在唯一分解整环中,不可約元必為素元。
                                     

4. 等價條件

  • 一個整環是唯一分解整环若且唯若其類群為平凡群。
  • 一個諾特整環是唯一分解整环若且唯若每個高度為一的素理想都是主理想(即:由單個元素生成)。
  • 一個整環是唯一分解整环若且唯若升鏈條件對主理想成立,而且任兩個元素有最小公倍數。
                                     

5. 文獻

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