戴德金整環

维基百科,自由的百科全书
跳转至: 导航搜索

環論中,戴德金整環戴德金為了彌補一般數域算術基本定理之闕如而引入的概念。在戴德金整環中,任意理想可以唯一地分解成素理想之積。

定義[编辑]

戴德金整環指的是有乘法單位元素 1,並具備下述性質的交換諾特整環 A

  1. A 不是
  2. A 的非零素理想皆為極大理想
  3. A 整閉。

前兩條可合併為:A克魯爾維度等於一。另一種表述方式如下:

  1. A 對任意極大理想之局部化離散賦值環
  2. A 的非零理想皆可逆。換言之:對任意理想 0 \neq I \subset A,存在 A分式環 K(A) 中的有限生成 A-子模 J,使得 I \cdot J = A

例子[编辑]

唯一分解性質[编辑]

戴德金整環的分式理想定義為分式環 K(A) 中形如 aIA-子模,其中 a \in K(A)^\timesIA 中的理想。分式理想之間可以定義乘法 aI \cdot bJ = ab J,因而非零分式理想構成一個么半群,其單位元素為 A。戴德金整環的性質保證此結構是一個群,換言之,任何非零分式理想皆可逆。

若一理想 I 可由某元素 a \in A 生成,則稱之主理想;可採類似辦法定義主分式理想

此外,戴德金整環中的分式理想有唯一分解性:任意分式理想 I 可唯一地表成

I = \prod_\mathfrak{p} \mathfrak{p}^{r_\mathfrak{p}}

其中 \mathfrak{p} 過有限個 A 的素理想,r_\mathfrak{p} \in \ZI 是理想若且唯若 \forall \mathfrak{p} \; r_\mathfrak{p} \geq 0

類群[编辑]

在一般的數域 K 上,代數整數未必能唯一地表成素數的乘積,但可唯一表成素理想的乘積。在所有理想中,僅有主理想對應到「真正」的代數整數。此時重要的不變量是理想類群類數,它們量度了理想與主理想的差距:

\mathrm{Cl}_K := (分式理想)/(主分式理想)
h_K := |\mathrm{Cl}_K|

可證明理想類群總是有限交換群。

文獻[编辑]

  • Bourbaki, Nicolas (1972), Commutative Algebra, Addison-Wesley