戴德金整環

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

定義
戴德金整環指的是有乘法單位元素 ，並具備下述性質的交換諾特整環 ：
  不是域。
  的非零素理想皆為極大理想。
  整閉。

前兩條可合併為： 之克魯爾維度等於一。另一種表述方式如下：
  對任意極大理想之局部化為離散賦值環。
  的非零理想皆可逆。換言之：對任意理想 ，存在  的分式環  中的有限生成 -子模 ，使得 。

例子
 主理想環與域上的多項式環皆為戴德金整環。
 交換代數的一條定理斷言：若  是戴德金整環， 為其分式域， 是有限擴張，則  在  中的整閉包也是戴德金整環。
  是最基本的例子，再配合前述定理，可知數域中的代數整數環皆為戴德金整環。這是戴德金整環在代數數論中的主要應用，也是戴德金引介此概念的原始動機。

唯一分解性質
戴德金整環的分式理想定義為分式環  中形如  之 -子模，其中  而  是  中的理想。分式理想之間可以定義乘法 ，因而非零分式理想構成一個-{么半群}-，其單位元素為 。戴德金整環的性質保證此結構是一個群，換言之，任何非零分式理想皆可逆。

若一理想  可由某元素  生成，則稱之主理想；可採類似辦法定義主分式理想。

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

其中  過有限個  的素理想，。 是理想若且唯若 。

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


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

文獻
 Bourbaki, Nicolas (1972), Commutative Algebra, Addison-Wesley

D
D
D