歐幾里得整環

环论
基礎概念 環 • 子環 • 商環 • 完全商環（英语：Total ring of fractions） • 環的直積（英语：Product ring） • 多項式環 • 矩陣環 理想 • 核 • 質理想 • 準質理想 • 極大理想 • 主理想 • 分式理想 • 根理想 • 冪零理想 • 雅各布森根 • 分式理想 環同態 • 核 • 內自同構 • 弗羅貝尼烏斯自同態 代數結構 • 模 • 代數 • 結合代數 • 階化環（英语：Graded ring） • *-代數 • 環的範疇（英语：Category of rings） 相關結構 • 體 • 有限體 • 非結合環 • 李環 • 約爾旦環（英语：Jordan algebra） • 半環 • 半體（英语：Semifield）
交換代數 交換環 • 整環 • 整閉整環（英语：Integrally closed domain） • GCD環 • 唯一分解整環 • 主理想整環 • 歐幾里得整環 • 複合環（英语：Composition ring） • 多項式環 • 形式冪級數環 代數數論 • 代數數體 • 整數環 • 代數獨立 • 超越數論 • 超越次數 P進數 • P整數 • P有理數 代數幾何 • 仿射簇（英语：Affine variety）
非交換代數（英语：Noncommutative ring） 非交換環（英语：Noncommutative ring） • 除环 • 半本原環（英语：Semiprimitive ring） • 單環 • 交換子 非交換代數幾何 自由代數（英语：Free algebra） 克利福德代數 運算元代數
查 论 编

在抽象代數中，歐幾里得整環（[Euclidean domain] 错误：{{Lang}}：无效参数：|3=（帮助））是一種能作輾轉相除法的整環。凡歐幾里得整環必為主理想環。

一個歐幾里得整环是一整環 ${\displaystyle D}$ 及函數 ${\displaystyle v:D\setminus \{0\}\to \mathbb {N} \cup \{0\}}$，使之滿足下述性質：

• 若 ${\displaystyle a,b\in D}$ 而 ${\displaystyle b\neq 0}$，則存在 ${\displaystyle q,r\in D}$ 使得 ${\displaystyle a=bq+r}$，而且 ${\displaystyle r=0}$，或者 ${\displaystyle v(r)<v(b)}$。
• 若 ${\displaystyle a}$ 整除 ${\displaystyle b}$，則 ${\displaystyle v(a)\leq v(b)}$。

函數 ${\displaystyle v}$ 可設想成元素大小的量度，當 ${\displaystyle D=\mathbb {Z} }$ 時可取 ${\displaystyle v(x):=|x|}$。

歐幾理得整環的例子包括了：

• 整數環 ${\displaystyle \mathbb {Z} }$，${\displaystyle v(x)=|x|}$。
• 高斯整數環 ${\displaystyle \mathbb {Z} [{\sqrt {-1}}]}$。
• 域上的多項式環（${\displaystyle v(f)=\deg f}$）與冪級數環（${\displaystyle v(f)}$ 定義為使 ${\displaystyle X^{n}|f(X)}$ 的最大非負整數 ${\displaystyle n}$）。
• 離散賦值環，${\displaystyle v(x)}$ 定義為使 ${\displaystyle x\in {\mathfrak {m}}^{n}}$ 的最大非負整數 ${\displaystyle n}$，其中 ${\displaystyle {\mathfrak {m}}}$ 表該離散賦值環的唯一極大理想。

利用輾轉相除法（定義中的第一條性質），可以證明歐幾里得環必為主理想环，此時理想由其中 ${\displaystyle v}$-值最小的元素生成。由此得到一個推論：歐幾里得整環必為唯一分解環。

並非所有主理想環都是歐幾里得整環，Motzkin 證明了 ${\displaystyle \mathbb {Q} [{\sqrt {d}}]}$ 的整數環在 ${\displaystyle d=-19,-43,-67,-163}$ 時並非歐幾里得整環，卻仍是主理想環。這方面的進一步結果詳見以下文獻。

• Motzkin. The Euclidean algorithm, Bull. Amer. Math. Soc. 55, (1949) pp. 1142--1146
• Weinberger. On Euclidean rings of algebraic integers in "Analytic number theory", Proc. Sympos. Pure Math., Vol. XXIV, St. Louis Univ., St. Louis, MO (1972) published by Amer. Math. Soc. (1973) pp. 321--332
• Harper and Murty, Canad. J. Math. Vol. 56 (1) (2004) pp. 71--76