数学の特に抽象代数学および環論におけるユークリッド整域（ユークリッドせいいき、英: Euclidean domain）あるいはユークリッド環（ユークリッドかん、英: Euclidean ring）とは、「ユークリッド写像（次数写像）」とも呼ばれるある種の構造を備えた環で、そこではユークリッドの互除法を適当に一般化したものが行える。この一般化された互除法は整数に対するもともとの互除法アルゴリズムとほとんど同じ形で行うことができ、任意のユークリッド環において二元の最大公約数を求めるのに適用できる。特に、任意の二元に対してそれらの最大公約数は存在し、それら二元の線型結合として書き表される（ベズーの等式）。また、ユークリッド環の任意のイデアルは主イデアル（つまり、単項生成）であり、したがって算術の基本定理の適当な一般化が成立する。すなわち、任意のユークリッド環は一意分解環である。

ユークリッド環のクラスをより大きな主イデアル環 (PID) のクラスと比較することには大いに意味がある。勝手な PID はユークリッド環（あるいは実際には有理整数環を考えるので十分だが）と多くの「構造的性質」を共有しているが、しかしユークリッド環には明示的に与えられるユークリッド写像から得られる具体性があるのでアルゴリズム的な応用に有用である。特に、有理整数環や体上一変数の任意の多項式環が容易に計算可能なユークリッド写像を持つユークリッド環となることは、計算代数において基本的に重要な事実である。

そういったことから、整域 R が与えられたとき、R がユークリッド写像を持つことがわかるとしばしば非常に便利なのである。特に、そのとき R が PID であることが分かるが、しかし一般にはユークリッド写像の存在が「明らか」でないときに R が PID かどうかを決定する問題は、それがユークリッド環であるかどうかの決定よりも容易である。可換環 ⊃ 整域 ⊃ 整閉整域 ⊃ 一意分解環 ⊃ 単項イデアル整域 ⊃ ユークリッド環 ⊃ 体 ⊃ 有限体
動機付け

整数全体の成す集合 Z に自然な演算として加法 + と乗法 × を考える。よく知られた整数に対する長除法は、Z における次の事実に強く依拠したものである：
除法の原理
「整数 a と 0 でない整数 b が与えられたとき、a = q × b + r を満たす整数の対 q, r が存在して、さらにそのようなものの中に r = 0 または |r| < |b| を満たすものが取れる」

a および b が正である場合のみを考えることにすれば、r と b に関する制約条件は、単に「r = 0 または r < b」と表すことができる。

任意の環にも加法と乗法の概念があるから、長除法の概念が任意の環で展開できないかを考えるのはある意味で自然なことだが、しかし剰余や商に関する条件（つまり「r = 0 または r < b」）を単なる環の文脈で定義することは（もちろん、環上に何らの順序関係も定義されていないので）容易にはできない。こうして、各元に加法単位元 0 からの「距離」を導く（「次数」や「賦値」などとも呼ばれる）ある種のノルム[注釈 1]d を備えた環としてのユークリッド環の概念が導かれる。そうして、制約条件「r = 0 または r < b」は「r = 0 または d(r) < d(b)」で置き換わる。

ユークリッド環の裏にある本質的な考え方は、それが環であって「その任意の元 a と任意の非零元 b に対して、b の倍元の中に a に十分近い元が存在する」という性質を持つということである。もちろん、その環が可除環（あるいは体）であったならば、a × b−1 を倍率として左から b に掛ければ a が得られる。つまり、体や可除環については a に「ちょうど」一致するような b の倍元が存在する。もちろんこのことは一般の環では成立するとは限らない（例えば整数環 Z では成り立たない）から、制約条件は「b の倍元の中に a に十分近い元が存在する」というだけに緩めるのである。

自然な問いとして「次数はどのような集合に値を取るのか」という問題が考えられるが、多くの目的で（特にユークリッドの互除法が自由にできるという目的で）、自然数全体の成す集合 N に値をとるものと定めるのが普通である。自然数全体の成す集合 N の持つ、この文脈で重要になる性質は、それが整列集合を成すことである。
定義

R を整域とする。R 上のユークリッド函数 f: R ∖ {0} → N は除法の原理
(EF1)
a および b は R の元で、b は零でないとすると、R の元 q および r で、a = bq + r, かつ r = 0 または f(r) < f(b) のいずれかを満たすようなものが存在する

を満たす。少なくとも一つのユークリッド函数を備えた整域をユークリッド環と呼ぶ。ここで、ユークリッド環の構造が「特定」のユークリッド函数を持つことを要求していないことに注意すべきである。一般に一つのユークリッド環が複数のユークリッド函数を持ちうるが、そのようなものはどれでも一つあればよいのである。

多くの代数学の教科書では、ユークリッド函数がさらに次のような性質
(EF2)
ともに零元でない R の任意の二元 a および b に対して f(a) ≤ f(ab) が成立する。

をも満たすことを仮定している[1]。しかし、これは次のような意味で冗長である[2]：条件 (EF1) を満たす g を備えた任意の整域 R に対して、(EF1) および (EF2) をともに満たす f: R ∖ {0} → N が取れる。

実際 a ∈ R ∖ {0}に対して f(a) を f ( a ) = min x ∈ R ∖ { 0 } g ( x a ) {\displaystyle f(a)=\min _{x\in R\smallsetminus \{0\}}g(xa)}

のように定めればこの f は条件を満たす(Rogers 1971)。言葉で書けば、f(a) の値として、a が生成する主イデアルの非零元全体の成す集合上での g の最小値を与えるのである。
定義に関する注意

「ユークリッド函数」[3]と言うかわりに「次数」、「賦値」[4]、「ゲージ函数」、「ノルム」[5]などといったような用語を用いているものも多い[要出典]（特に名称を提示せず、単に条件を満たす写像/函数とだけ言っている場合も少なくないが）。

ユークリッド函数の定義として任意の整列集合に値を取ることを許して一般化する場合もある[6]。