基本介紹
描述,定義,例子,
描述
在數學中，更具體地說在抽象代數和環理論中，歐幾里德域（也稱為歐幾里得環）是一個可以賦予歐幾里德函式（下面解釋的）的交換環，其允許整數的歐幾里德分割的適當泛化。這種廣義歐幾里德算法可以與歐幾里德原始算法在整數環中保持許多相同的用途：在任何歐幾里德域中，可以套用歐幾里德算法來計算任意兩個元素的最大公約數。特別地，任何兩個元素的最大公約數存在並且可以被寫成它們的線性組合（Bézout的身份）。歐幾里得域中的每個理想也都是主體，這意味著算術的基本定理的適用泛化：每個歐幾里德域都是唯一的因式分解域。
將歐幾里德域的類別與較大類的主要理想域（PID）進行比較是很重要的。任意的PID具有與歐幾里得域（或甚至整數環）大致相同的“結構性質”，但是當已知歐幾里德分割的顯式算法時，可以使用歐氏距離算法和擴展歐幾里德算法來計算最大的公約數和Bézout的身份。特別地，在計算機代數中存在用於歐幾里德整數除法和一個變數中的多項式的有效算法在計算機代數中的基本重要性。
因此，給定一個整數域R，知道R具有歐幾里德函式通常是非常有用的：特別是這意味著R是一個PID。然而，如果沒有“明顯的”歐幾里德函式，則確定R是否是PID，通常比確定它是否是歐幾里得域容易得多。
定義
一個歐幾里得整環是一整環 D 及函式
，使之滿足下述性質：
（1）若
而
，則存在
使得 a=bq+r，而且或者 r=0，或者 v(r)<v(b)。
（2）若a 整除 b，則
。
函式 v可構想成元素大小的量度，當
時可取 v(x):=|x|。
例子
歐幾理得整環的例子包括了：
整數環
。
高斯整數環
。
利用輾轉相除法（定義中的第一條性質），可以證明歐幾里得環必為主理想環，此時理想由其中 v-值最小的元素生成。由此得到一個推論：歐幾里得整環必為唯一分解環。
並非所有主理想環都是歐幾里得整環，Motzkin 證明了
的整數環在 d=-19,-43,-67,-163 時並非歐幾里得整環，卻仍是主理想環。
