ユークリッド環

数学の特に抽象代数学および環論におけるユークリッド整域（ユークリッドせいいき、英: 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⁻¹ を倍率として左から 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) を

${\displaystyle f(a)=\min _{x\in R\smallsetminus \{0\}}g(xa)}$

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

定義に関する注意

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

ユークリッド函数の定義として任意の整列集合に値を取ることを許して一般化する場合もある^[6]。このように条件を弱めても、ユークリッド性の最も重要な部分には何も影響しない。またユークリッド函数の定義域から零元 0_R を抜かず R 全体で定義されることを仮定する文献もある。この場合、例えば一変数多項式環 K[X] に対して通常の次数函数 deg は（ユークリッド函数の値域を N とするとそのままでは使えないが）零多項式 0 の次数 deg(0) = −∞ を最小値として付与した N ∪ {−∞} に値をとるユークリッド函数にはなる^[7]。

条件 (EF1) を次のような形に書きなおすこともできる：

R の任意の非零元 b が生成する主イデアル I = (b) に対して、剰余環 R⁄I の零でない同値類は必ず f(r) < f(b) を満たす代表元 r を含む。

f の取りうる値は整列順序付けられているから、I に属さない元 r のうち、それが属する同値類において f(r) の値が最小となるものだけについて、必ず f(r) < f(b) が成り立っていることを示せば、この条件が満たされることが言える。この条件の下で確定されるユークリッド函数に対して (EF1) における q と r が効果的に決定できる方法が存在することは必要とされていないことに注意。

例

以下にユークリッド環の例を挙げる。

• 任意の体 K, f(x) = 1 (∀x ≠ 0).
• 有理整数環 Z, f(n) = |n|（絶対値）^[8].
• ガウス整数環 Z[i], f(a + bi) = a² + b²（ガウス整数の標準ノルム）.
• アイゼンシュタイン整数環 Z[ω] (ω は 1 の虚立方根), f(a + bω) = a² − ab + b²（アイゼンシュタイン整数の標準ノルム）.
• 体 K 上の多項式環 K[X], 零多項式でない任意の多項式 P に対して f(P) = deg(P) （多項式の次数）^[9].
• 体 K 上の形式冪級数環 K[[X]], 非零冪級数 P に対し、f(P) = ord(P) (冪級数の位数: P に現れる（係数が 0 でない）項の最小次数)。特に二つの非零冪級数 P, Q に対して、f(P) ≤ f(Q) ⇔ P | Q.
• 任意の離散賦値環, f(x) は x を含む極大イデアルの最高冪。上述の K[[X]] はこの特別の場合である。
• 有限個の非零素イデアル P₁, …, P_n を持つデデキント整域, f(x) = ∑n
  i=1 v_i(x) (v_i はイデアル P_i に対応する離散賦値)^[10]

性質

整域 R とその上のユークリッド函数 f について：

• R は主イデアル整域を成す^[11]。実は、I が R の非零イデアルならば、I ∖ {0} の各元 a のうち f(a) が最小となるもので I は生成される^[12]。ここから R が一意分解環かつネーター環でもあることが帰結される。一般の主イデアル整域に比べ、分解の存在性（つまり R が分解整域（英語版）であること）は、ユークリッド環の場合には特に容易に示せる。ユークリッド函数 f を (EF2) を満たすように取り、x は f(x) 個よりも多くの非単元因子に分解できないものとして、x から繰り返し既約因子に分解していけば、必ず既約元への分解が得られる。
• f がそこで大域的な最小値を取るような R の点は必ず R の可逆元である。f が (EF2) を満たすように選ばれているならば、逆も成り立ち、しかも f は R の可逆元においてのみ最小値を取る。
• ユークリッド性はアルゴリズム的である。すなわち、与えられた a, b(≠ 0) から「a = bq + r かつ [r = 0 または f(r) < f(b)]」を満たす商 q と剰余 r を得る割り算アルゴリズムが存在するならば、この除法に関する意味での拡張ユークリッド互除法（英語版）が定義できる^[13]。

全ての PID がユークリッドというわけではない。例えば d = −19, −43, −67, −163 のときの二次体 Q(√d) の整数環は PID だがユークリッドでない。他方、d = −1, −2, −3, −7, −11 の場合にはユークリッドになる^[14]。

しかし、自明なイデアル類群を持つ Q の有限次拡大体の多くにおいて、その整数環はユークリッドになる（ただし、必ずしも体のノルムの絶対値に関してというわけではない。後述）。拡張リーマン予想 (ERH) を仮定すると、K が Q の有限次拡大で、かつ K の整数環が無限個の単元を持つ PID ならば、その整数環はユークリッドであることが従う^[15]。 特にこのことを自明な類群を持つ総実二次体の場合に応用できる。さらに（ERH の仮定なしに）体 K が Q のガロワ拡大で自明類群を持ち、かつ階数 (unit rank) が 3 より真に大きいならば、その整数環はユークリッドである^[16]。 ここから直ちに得られる系として、数体 K が Q 上ガロワで類群が自明かつ拡大次数が 8 より大きいならば、その整数環はユークリッドでなければならない。

ノルムユークリッド体

代数体 K には体のノルム N（各代数的な元 α をその共軛元（英語版）全ての積へ写す写像）の絶対値による標準ノルム写像が存在する。このノルムは数体 K の整数環 O_K を非負有理整数全体の成す集合のなかへ写すから、この環上のユークリッド函数の候補となり得る。このノルムがユークリッド函数の公理を満足するならば、数体 K はノルムに関してユークリッド的あるいはノルムユークリッド的 (norm-Euclidean) であるという。厳密に言えば、（体は自明なユークリッド環であるし）整数環のほうがユークリッド的だということを言っているのだが、このような語法が標準的である。

「体がノルムユークリッドでない」というのは、整数環がユークリッド環にならないことを必ずしも意味しない。単に体のノルムがユークリッド函数の公理を満足しないというだけである。実際、その整数環がユークリッド環になるが自身はノルムユークリッドでないような数体は存在する。簡単な例として二次体 Q(√69) があるが、このような体を（特に二次体の場合に）全て決定する問題は重要な未解決問題である。

ノルムユークリッド二次体の分類は済んでおり、そのような二次体 Q(√d) を成す整数 d の値は

−11, −7, −3, −2, −1, 2, 3, 5, 6, 7, 11, 13, 17, 19, 21, 29, 33, 37, 41, 57, 73 (OEIS: A048981).

であたえられる。

注

注釈

1. 必ずしも解析学でいうところのノルムの概念とは一致しない（特に解析学的なノルムのように一次の斉次函数になるとは限らない）。

出典

1. 例えば、山崎 1976, p. 176, 注意「さらに δ(ab) ≥ δ(a) を要請するのが普通であるが」
2. 山下倫範. “ユークリッド環についての注意” (PDF). 2012年5月9日閲覧。
3. 例えば(加古 2009), (坂井 2012, 定義4.9)
4. 例えば (草刈 2005), また Euclidean domain - PlanetMath.（英語） では "Euclidean valuation" (ユークリッド賦値) と言っている
5. 例えば (都築 2008, 第8節冒頭. ただし定義は第7節 定義7.3), (草刈 2005, 定義10.3), また MathWorld では "integer norm" (整数値ノルム) と言っている
6. 例えば 森田 1987, p. 87
7. 山崎 1976, p. 176, 注意「なお，δ の値として −∞ を許すのは，整式の次数に利用する際の便宜のためである．また，δ の定義域から 0 を除かない方が記述が簡明であろう」
8. Fraleigh & Katz 1967, p. 377, Example 1.
9. Fraleigh & Katz 1967, p. 377, Example 2.
10. Samuel 1971.
11. Euclidean domain in nLab, 4. properties.
12. Fraleigh & Katz 1967, p. 377, Theorem 7.4.
13. Fraleigh & Katz 1967, p. 380, Theorem 7.7.
14. Motzkin, Theodore (1949), “The Euclidean algorithm”, Bulletin of the American Mathematical Society 55 (12): 1142–1146, doi:10.1090/S0002-9904-1949-09344-8, http://projecteuclid.org/handle/euclid.bams/1183514381 
15. Weinberger, Peter J. (1973), “On Euclidean rings of algebraic integers”, Proceedings of Symposia in Pure Mathematics (AMS) 24: 321–332 
16. Harper, Malcolm; Murty, M. Ram (2004), “Euclidean rings of algebraic integers”, Canadian Journal of Mathematics 56 (1): 71–76, doi:10.4153/CJM-2004-004-5, http://www.mast.queensu.ca/~murty/harper-murty.pdf 

参考文献

• 山﨑圭次郎『環と加群 I』岩波書店〈岩波講座 基礎数学 代数学ii〉、1976年。 
• 森田康夫『代数概論』裳華房〈数学選書9〉、1987年。 
• Rogers, Kenneth (1971), “The Axioms for Euclidean Domains”, American Mathematical Monthly (The American Mathematical Monthly, Vol. 78, No. 10) 78 (10): 1127–1128, doi:10.2307/2316324, JSTOR 2316324, https://jstor.org/stable/2316324 
• Fraleigh, John B.; Katz, Victor J. (1967), A first course in abstract algebra (5 ed. ed.), Addison-Wesley Publishing Company, ISBN 0-201-53467-3 
• Samuel, Pierre (1971). “About Euclidean rings”. Journal of Algebra 19 (2): 282-301. doi:10.1016/0021-8693(71)90110-4. http://math.uga.edu/~pete/Samuel-Euclidean.pdf. 
• 加古, 富志雄 (2009年). “ユークリッド整域”. 計算機代数 講義資料. 奈良女子大学理学部情報科学科. 2012年5月閲覧。
• 坂井, 公 (2012年). “計算機数学I 講義ノート” (PDF). 筑波大学 数理物質系 数学域. 2012年5月閲覧。
• 草刈, 圭一朗 (2005年). “離散数学 講義資料(10)” (PDF). 2012年5月閲覧。
• 都築, 正男 (2008年). “ユークリッド整域上の単因子論” (PDF). 代数学Ie 授業プリント. 上智大学 理工学部数学科. 2012年5月閲覧。

外部リンク

• Weisstein, Eric W. "Euclidean Ring". mathworld.wolfram.com (英語).
• Euclidean domain in nLab
• Euclidean domain - PlanetMath.（英語）
• Definition:Euclidean Domain at ProofWiki
• Ivanova, O.A. (2001), “Euclidean ring”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Euclidean_ring