ユークリッド環
数学の特に抽象代数学および環論におけるユークリッド整域（ユークリッドせいいき、）あるいはユークリッド環（ユークリッドかん、）とは、「ユークリッド写像（次数写像）」とも呼ばれるある種の構造を備えた環で、そこではユークリッドの互除法を適当に一般化したものが行える。この一般化された互除法は整数に対するもともとの互除法アルゴリズムとほとんど同じ形で行うことができ、任意のユークリッド環において二元の最大公約数を求めるのに適用できる。特に、任意の二元に対してそれらの最大公約数は存在し、それら二元の線型結合として書き表される（ベズーの等式）。また、ユークリッド環の任意のイデアルは主イデアル（つまり、単項生成）であり、したがって算術の基本定理の適当な一般化が成立する。すなわち、任意のユークリッド環は一意分解環である。
ユークリッド環のクラスをより大きな主イデアル環 (PID) のクラスと比較することには大いに意味がある。勝手な PID はユークリッド環（あるいは実際には有理整数環を考えるので十分だが）と多くの「構造的性質」を共有しているが、しかしユークリッド環には明示的に与えられるユークリッド写像から得られる具体性があるのでアルゴリズム的な応用に有用である。特に、有理整数環や体上一変数の任意の多項式環が容易に計算可能なユークリッド写像を持つユークリッド環となることは、計算代数において基本的に重要な事実である。
そういったことから、整域 が与えられたとき、 がユークリッド写像を持つことがわかるとしばしば非常に便利なのである。特に、そのとき が PID であることが分かるが、しかし一般にはユークリッド写像の存在が「明らか」でないときに が PID かどうかを決定する問題は、それがユークリッド環であるかどうかの決定よりも容易である。
整数全体の成す集合 に自然な演算として加法 と乗法 を考える。よく知られた整数に対する長除法は、 における次の事実に強く依拠したものである：
 および が正である場合のみを考えることにすれば、 と に関する制約条件は、単に「 または 」と表すことができる。
任意の環にも加法と乗法の概念があるから、長除法の概念が任意の環で展開できないかを考えるのはある意味で自然なことだが、しかし剰余や商に関する条件（つまり「 または 」）を単なる環の文脈で定義することは（もちろん、環上に何らの順序関係も定義されていないので）容易にはできない。こうして、各元に加法単位元 からの「距離」を導く（「次数」や「賦値」などとも呼ばれる）ある種のノルム を備えた環としてのユークリッド環の概念が導かれる。そうして、制約条件「 または 」は「 または 」で置き換わる。
ユークリッド環の裏にある本質的な考え方は、それが環であって「その任意の元 と任意の非零元 に対して、 の倍元の中に に十分近い元が存在する」という性質を持つということである。もちろん、その環が可除環（あるいは体）であったならば、 を倍率として左から に掛ければ が得られる。つまり、体や可除環については に「ちょうど」一致するような の倍元が存在する。もちろんこのことは一般の環では成立するとは限らない（例えば整数環 では成り立たない）から、制約条件は「 の倍元の中に に十分近い元が存在する」というだけに緩めるのである。
自然な問いとして「次数はどのような集合に値を取るのか」という問題が考えられるが、多くの目的で（特にユークリッドの互除法が自由にできるという目的で）、自然数全体の成す集合 に値をとるものと定めるのが普通である。自然数全体の成す集合 の持つ、この文脈で重要になる性質は、それが整列集合を成すことである。
を整域とする。 上のユークリッド函数 は除法の原理
を満たす。少なくとも一つのユークリッド函数を備えた整域をユークリッド環と呼ぶ。ここで、ユークリッド環の構造が「特定」のユークリッド函数を持つことを要求していないことに注意すべきである。一般に一つのユークリッド環が複数のユークリッド函数を持ちうるが、そのようなものはどれでも一つあればよいのである。
多くの代数学の教科書では、ユークリッド函数がさらに次のような性質
をも満たすことを仮定している。しかし、これは次のような意味で冗長である：
実際 に対して を
のように定めればこの は条件を満たす。言葉で書けば、 の値として、 が生成する主イデアルの非零元全体の成す集合上での の最小値を与えるのである。
「ユークリッド函数」と言うかわりに「次数」、「賦値」、「ゲージ函数」、「ノルム」などといったような用語を用いているものも多い（特に名称を提示せず、単に条件を満たす写像/函数とだけ言っている場合も少なくないが）。
ユークリッド函数の定義として任意の整列集合に値を取ることを許して一般化する場合もある。このように条件を弱めても、ユークリッド性の最も重要な部分には何も影響しない。またユークリッド函数の定義域から零元 を抜かず 全体で定義されることを仮定する文献もある。この場合、例えば一変数多項式環 に対して通常の次数函数 は（ユークリッド函数の値域を とするとそのままでは使えないが）零多項式 の次数 を最小値として付与した に値をとるユークリッド函数にはなる。
条件 (EF1) を次のような形に書きなおすこともできる：
以下にユークリッド環の例を挙げる。
整域 とその上のユークリッド函数 について：全ての PID がユークリッドというわけではない。例えば のときの二次体 の整数環は PID だがユークリッドでない。他方、 の場合にはユークリッドになる。
しかし、自明なイデアル類群を持つ の有限次拡大体の多くにおいて、その整数環はユークリッドになる（ただし、必ずしも体のノルムの絶対値に関してというわけではない。後述）。拡張リーマン予想 (ERH) を仮定すると、 が の有限次拡大で、かつ の整数環が無限個の単元を持つ PID ならば、その整数環はユークリッドであることが従う。
特にこのことを自明な類群を持つ総実二次体の場合に応用できる。さらに（ERH の仮定なしに）体 が のガロワ拡大で自明類群を持ち、かつ階数 (unit rank) が 3 より真に大きいならば、その整数環はユークリッドである。
ここから直ちに得られる系として、数体 が 上ガロワで類群が自明かつ拡大次数が 8 より大きいならば、その整数環はユークリッドでなければならない。
代数体 には体のノルム （各代数的な元 をその全ての積へ写す写像）の絶対値による標準ノルム写像が存在する。このノルムは数体 の整数環 を非負有理整数全体の成す集合のなかへ写すから、この環上のユークリッド函数の候補となり得る。このノルムがユークリッド函数の公理を満足するならば、数体 はノルムに関してユークリッド的あるいはノルムユークリッド的 (norm-Euclidean) であるという。厳密に言えば、（体は自明なユークリッド環であるし）整数環のほうがユークリッド的だということを言っているのだが、このような語法が標準的である。
「体がノルムユークリッドでない」というのは、整数環がユークリッド環にならないことを必ずしも意味しない。単に体のノルムがユークリッド函数の公理を満足しないというだけである。実際、その整数環がユークリッド環になるが自身はノルムユークリッドでないような数体は存在する。簡単な例として二次体 があるが、このような体を（特に二次体の場合に）全て決定する問題は重要な未解決問題である。
ノルムユークリッド二次体の分類は済んでおり、そのような二次体 を成す整数 の値は
であたえられる。