在环论中，戴德金整环是戴德金为了弥补一般数域中算术基本定理之阙如而引入的概念。在戴德金整环中，任意理想可以唯一地分解成素理想之积。
定义.戴德金整环指的是有乘法单位元素 formula_1，并具备下述性质的交换诺特整环formula_2：前两条可合併为：formula_2 之克鲁尔维度等于一。另一种表述方式如下：
唯一分解性质.戴德金整环的分式理想定义为分式环 formula_11 中形如 formula_22 之 formula_2-子模，其中