跳至內容

主理想整環

維基百科,自由的百科全書

抽象代數中,主理想整環(英語:principal ideal domain,簡稱PID)是其中所有理想都是主理想(由一個元素生成的理想)的整環[1]。一個更廣泛的概念是主理想環,它指的是其中所有理想都是主理想的非零交換環[2],但一些作者(如布爾巴基)把主理想整環稱為主理想環[3]。主理想整環和主理想環的區別在於主理想環可以有零因子,而主理想整環不可以。

因此,在可除性上,主理想整環性質與整數類似:每一個主理想整環的元素都有唯一的質元素分解(因此算術基本定理的類似形式成立);每一對主理想整環的元素都有最大公因數(但可能不能通過歐幾里得算法計算它)。如果是主理想整環的元素但沒有可逆元以外的公因數,那麼每個主理想整環的元素都可以寫成的形式。

主理想整環是諾特環整閉整環英語integrally closed domain唯一分解整環戴德金整環。所有歐幾里得整環都是主理想整環。

主理想整環在以下的包含鏈中出現:

偽環交換環整環整閉整環英語integrally closed domainGCD環唯一分解整環主理想整環歐幾里得整環代數閉域

例子

[編輯]

主理想整環的例子包括:

  • :任何[4]
  • 整數[1]
  • :單變量多項式環,其中是域[5];(這一命題的逆命題——如果是主理想整環,那麼是域——也成立[5])除此以外,在域上的單變量形式冪級數環也是主理想整環,因為其中的所有理想都有的形式。
  • 高斯整數[6][1]
  • (其中是1的三次本原單位根):艾森斯坦整數
  • 所有的離散賦值環英語discrete valuation ring[6],例如p進整數[7]

不是主理想整環的例子

[編輯]

不是主理想整環的整環包括:

  • 不是唯一分解整環,原因是。由於所有主理想整環都是唯一分解整環,因此也不是主理想整環。除此以外,不是主理想。
  • :整係數多項式環[8]。由於理想不能由單個多項式生成,不是主理想整環。
  • :在環上的多變量多項式環不是主理想整環,原因是理想不是主理想。
  • 大多數代數整數環不是主理想整環。具體來說,對於很多p次本原單位根來說,不是主理想整環[9]。代數整數環的類數給出了它們離主理想整環有多遠的度量。這啟發戴德金將環元素的唯一分解替換為理想的唯一分解,從而定義戴德金整環

主理想整環上的模

[編輯]

有關主理想整環上的模的關鍵結論是它的結構定理:如果是主理想整環,且是一個上的有限生成模,那麼是循環模——也就是由一個元素生成的模——的直和。對於其中每個循環模,都存在使得它同構於[10](注意:可能等於,在這種情況下)。

如果是主理想整環上的一個自由模,那麼的所有子模也是自由模[11]。這一結論在非主理想整環上的模中不成立,例如上的自由模的子模就不是自由模。

性質

[編輯]

在主理想整環中,任何兩個元素都有最大公因數,可以通過計算理想的生成元求得[12]

所有歐幾里得整環都是主理想整環[8],但它的逆命題不成立。一個不是歐幾里得整環的主理想整環的例子是環[12]。這是由西奧多·默慈金英語Theodore Motzkin首先證明的[13],是第一個被證明不是歐幾里得整環的主理想整環。在這一環中,儘管有最大公因數,但不存在滿足使得

所有主理想整環都是唯一分解整環[14],而它的逆命題不成立,例如環是唯一分解整環但不是主理想整環[15]

  1. 所有主理想整環都是諾特環[16]
  2. 在所有交換環中,極大理想都是素理想[17]。在主理想整環中,所有非零素理想都是極大理想[12]
  3. 所有主理想整環都是整閉整環英語integrally closed domain[14][18]

以上三個條件是戴德金整環的定義,因此所有主理想整環都是戴德金整環[19]

為一個整環,則以下命題是等價的:

  1. 是主理想整環。
  2. 中的所有素理想都是主理想[20]
  3. 既是戴德金整環也是唯一分解整環。
  4. 的每個有限生成理想都是主理想(也就是說,既是裴蜀整環英語Bézout domain也滿足主理想的升鏈條件英語ascending chain condition on principal ideals)。
  5. 可被賦予一個戴德金–哈斯範數英語Dedekind–Hasse norm[5]

所有歐幾里得範數都是戴德金–哈斯範數[5],因此(5)表明歐幾里得整環都是主理想整環。(4)可以與以下結論對比:

  • 一個整環是唯一分解整環若且唯若它是GCD環(其中每兩個元素都有最大公因數的整環)且滿足主理想的升鏈條件。

一個整環是裴蜀整環英語Bézout domain若且唯若其中的任何兩個元素都有一個是它們的線性組合的最大公因數[20]。因此,裴蜀整環是GCD環,而(4)給出了主理想整環是唯一分解整環的另一種證法。

參見

[編輯]

參考文獻

[編輯]
  1. ^ 1.0 1.1 1.2 Dummit & Foote (2004),第279頁.
  2. ^ Lang (2002),第86頁.
  3. ^ Weisstein, Eric W. Principal Ring. mathworld.wolfram.com. [2023-12-15]. (原始內容存檔於2024-05-19) (英語). 
  4. ^ Dummit & Foote (2004),第271頁.
  5. ^ 5.0 5.1 5.2 5.3 Dummit & Foote (2004),第281頁.
  6. ^ 6.0 6.1 Dummit & Foote (2004),第272頁.
  7. ^ Lang (2002),第487頁.
  8. ^ 8.0 8.1 Dummit & Foote (2004),第273頁.
  9. ^ Milne. Algebraic Number Theory (PDF): 5. [2023-12-15]. (原始內容存檔 (PDF)於2024-05-12). 
  10. ^ Dummit & Foote (2004),第462頁.
  11. ^ Dummit & Foote (2004),第460頁.
  12. ^ 12.0 12.1 12.2 Dummit & Foote (2004),第280頁.
  13. ^ Motzkin, Th. The Euclidean algorithm. Bulletin of the American Mathematical Society. 1949-12, 55 (12): 1142–1146 [2023-12-15]. ISSN 0002-9904. (原始內容存檔於2023-11-12). 
  14. ^ 14.0 14.1 Dummit & Foote (2004),第287頁.
  15. ^ Dummit & Foote (2004),第292頁.
  16. ^ Dummit & Foote (2004),第459頁.
  17. ^ Dummit & Foote (2004),第256頁.
  18. ^ Dummit & Foote (2004),第693頁.
  19. ^ Dummit & Foote (2004),第764頁.
  20. ^ 20.0 20.1 Dummit & Foote (2004),第283頁.

外部連結

[編輯]