更新时间：2022-08-25 14:44
一个欧几里得整环是一个整环R及，且存在函数 使之满足下述性质：
（1）若而，则存在q,r∈R，使得 a=qb+r，而且或者r=0，或者r≠0且φ(r)<φ(b)。
（2）若而，则φ(a)≤φ(ab)。
函数φ可设想成元素大小的量度。
利用辗转相除法（定义中的第一条性质），可以证明欧几里得环必为主理想环，此时理想由其中 φ-值最小的元生成。由此得到一个推论：欧几里得整环必为唯一因子分解整环。
并非所有主理想整环都是欧几里得整环，Motzkin 证明了 的整数环在 d=-19,-43,-67,-163 时并非欧几里得整环，却仍是主理想整环。
欧几理得整环的例子包括了：
当R为整数环时，可取φ(x):=|x| 。
当R为域时，可取φ(x):=1。
高斯整数环 。
离散赋值环， φ(x)定义为使 的最大非负整数n，其中表该离散赋值环的唯一极大理想。
在数学中，更具体地说在抽象代数和环论中，欧几里德域（也称为欧几里得环）是一个可以赋予欧几里德函数（下面解释的）的交换环，其允许整数的欧几里德分割的适当泛化。这种广义欧几里德算法可以与欧几里德原始算法在整数环中保持许多相同的用途：在任何欧几里德域中，可以应用欧几里德算法来计算任意两个元素的最大公约数。特别地，任何两个元素的最大公约数存在并且可以被写成它们的线性组合（Bézout的身份）。欧几里得整环中的每个理想也都是主体，这意味着算术的基本定理的适用泛化：每个欧几里德整环都是唯一因子分解整环。
将欧几里德整环的类别与较大类的主理想整环（PID）进行比较是很重要的。任意的PID具有与欧几里得整环（或甚至整数环）大致相同的“结构性质”，但是当已知欧几里德分割的显式算法时，可以使用欧氏距离算法和扩展欧几里德算法来计算最大的公约数和Bézout的身份。特别地，在计算机代数中存在用于欧几里德整数除法和一个变量中的多项式的有效算法在计算机代数中的基本重要性。
因此，给定一个整数域R，知道R具有欧几里德函数通常是非常有用的：特别是这意味着R是一个PID。然而，如果没有“明显的”欧几里德函数，则确定R是否是PID，通常比确定它是否是欧几里得整环容易得多。