Movatterモバイル変換


[0]ホーム

URL:


跳转到内容
维基百科自由的百科全书
搜索

唯一分解整環

本页使用了标题或全文手工转换
维基百科,自由的百科全书
UFD」重定向至此。关于其他用法,请见「UFD (消歧义)」。
环论

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

定義

[编辑]

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

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

其中u{\displaystyle u}是一個可逆元素p1,,pn{\displaystyle p_{1},\cdots ,p_{n}}不可約元素n{\displaystyle n}是非負整數。並且如果存在x{\displaystyle x}的另一種表示法此表法x=vq1q2qm{\displaystyle x=vq_{1}q_{2}\cdots q_{m}}v{\displaystyle v}可逆元素q1,,qm{\displaystyle q_{1},\cdots ,q_{m}}不可約元素),則m=n{\displaystyle m=n},且存在一個下標的重排σSn{\displaystyle \sigma \in S_{n}}可逆元素w1,,wn{\displaystyle w_{1},\cdots ,w_{n}}使得qi=wipσ(i){\displaystyle q_{i}=w_{i}p_{\sigma (i)}}i=1,,n{\displaystyle i=1,\cdots ,n}),換句話說,存在σSn{\displaystyle \sigma \in S_{n}}使得qi{\displaystyle q_{i}}pσ(i){\displaystyle p_{\sigma (i)}}相伴。

例子

[编辑]

由此可知任意有限個變元的多項式環R[X1,,Xn]{\displaystyle R[X_{1},\ldots ,X_{n}]}也是唯一分解整环,但是一般來說R[X]{\displaystyle R[X]}並不是主理想整环,除非R{\displaystyle R}是一個

以下給出幾個反例:

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

性質

[编辑]

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

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

等價條件

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

文獻

[编辑]
抽象代数相关主题
群论
子群
群同態
相關定理
其他
環論
其他
域論
域扩张
检索自“https://zh.wikipedia.org/w/index.php?title=唯一分解整環&oldid=88050093
分类:​
隐藏分类:​

[8]ページ先頭

©2009-2025 Movatter.jp