ユークリッド環

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

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

そういったことから、整域 R}} が与えられたとき、R}} がユークリッド写像を持つことがわかるとしばしば非常に便利なのである。特に、そのとき R}} が PID であることが分かるが、しかし一般にはユークリッド写像の存在が「明らか」でないときに R}} が PID かどうかを決定する問題は、それがユークリッド環であるかどうかの決定よりも容易である。

1. 動機付け
-------

整数全体の成す集合 Z}} に自然な演算として加法 +}} と乗法 ×}} を考える。よく知られた整数に対する長除法は、Z}} における次の事実に強く依拠したものである：

除法の原理:「整数 a}} と 0}} でない整数 b}} が与えられたとき、//a// =}} //q// × //b// + //r//}} を満たす整数の対 //q//, //r//}} が存在して、さらにそのようなものの中に //r// =}} 0}} または abs を満たすものが取れる」a}} および b}} が正である場合のみを考えることにすれば、r}} と b}} に関する制約条件は、単に「mvar または //r// < //b//}}」と表すことができる。

任意の環にも加法と乗法の概念があるから、長除法の概念が任意の環で展開できないかを考えるのはある意味で自然なことだが、しかし剰余や商に関する条件を単なる環の文脈で定義することは容易にはできない。こうして、各元に加法単位元 0}} からの「距離」を導くある種のノルム必ずしも解析学でいうところのノルムの概念とは一致しない。}}d}} を備えた環としてのユークリッド環の概念が導かれる。そうして、制約条件「//r// =}} 0}} または //r// < //b//}}」は「//r// =}} 0}} または //d// < //d//}}」で置き換わる。

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

自然な問いとして「次数はどのような集合に値を取るのか」という問題が考えられるが、多くの目的で、自然数全体の成す集合 N}} に値をとるものと定めるのが普通である。自然数全体の成す集合 N}} の持つ、この文脈で重要になる性質は、それが整列集合を成すことである。

2. 定義
-----

R}} を整域とする。R}} 上のユークリッド函数 //f//: //R// setminus}} mset は除法の原理

: a}} および b}} は R}} の元で、b}} は零でないとすると、R}} の元 q}} および r}} で、//a// =}} //bq// + //r//}}, かつ //r// =}} 0}} または //f// < //f//}} のいずれかを満たすようなものが存在するを満たす。少なくとも一つのユークリッド函数を備えた整域をユークリッド環と呼ぶ。ここで、ユークリッド環の構造が「特定」のユークリッド函数を持つことを要求していないことに注意すべきである。一般に一つのユークリッド環が複数のユークリッド函数を持ちうるが、そのようなものはどれでも一つあればよいのである。

多くの代数学の教科書では、ユークリッド函数がさらに次のような性質

: ともに零元でない R}} の任意の二元 a}} および b}} に対して //f// ≤ //f//}} が成立する。をも満たすことを仮定している。しかし、これは次のような意味で冗長である：

条件  を満たす g}} を備えた任意の整域 R}} に対して、 および  をともに満たす //f//: //R// setminus}} mset が取れる。実際 //a// ∈ //R// setminus}} msetに対して //f//}} を

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

2.1. 定義に関する注意
-------------

「ユークリッド函数」と言うかわりに「次数」、「賦値」、「ゲージ函数」、「ノルム」などといったような用語を用いているものも多いdate=May 2009}}。

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

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

R}} の任意の非零元 b}} が生成する主イデアル //I// =}} }} に対して、剰余環 R⁄I}} の零でない同値類は必ず //f// < //f//}} を満たす代表元 r}} を含む。f}} の取りうる値は整列順序付けられているから、I}} に属さない元 r}} のうち、それが属する同値類において //f//}} の値が最小となるものだけについて、必ず //f// < //f//}} が成り立っていることを示せば、この条件が満たされることが言える。この条件の下で確定されるユークリッド函数に対して  における q}} と r}} が効果的に決定できる方法が存在することは必要とされていないことに注意。

3. 例
----

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

任意の体 K}}, //f// =}} 1 }}.
有理整数環 Z}}, //f// =}} absFraleigh.
ガウス整数環 Zbracket, //f// =}} //a//exp.
アイゼンシュタイン整数環 Zbracket , //f// =}} //a//exp.
体 K}} 上の多項式環 //K//bracket, 零多項式でない任意の多項式 P}} に対して //f// =}} deg}} Fraleigh.
体 K}} 上の形式冪級数環 //K//brackets, 非零冪級数 P}} に対し、//f// =}} ord}} 。特に二つの非零冪級数 //P//, //Q//}} に対して、//f// ≤ //f// ⇔ //P// !}} //Q//}}.
任意の離散賦値環, //f//}} は x}} を含む極大イデアルの最高冪。上述の //K//brackets はこの特別の場合である。
有限個の非零素イデアル //P//1, …, //P////n//}} を持つデデキント整域, //f// =}} sum 

4. 性質
-----

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

R}} は主イデアル整域を成す。実は、I}} が R}} の非零イデアルならば、//I// setminus}} mset の各元 a}} のうち //f//}} が最小となるもので I}} は生成されるFraleigh。ここから R}} が一意分解環かつネーター環でもあることが帰結される。一般の主イデアル整域に比べ、分解の存在性は、ユークリッド環の場合には特に容易に示せる。ユークリッド函数 f}} を  を満たすように取り、x}} は //f//}} 個よりも多くの非単元因子に分解できないものとして、x}} から繰り返し既約因子に分解していけば、必ず既約元への分解が得られる。
f}} がそこで大域的な最小値を取るような R}} の点は必ず R}} の可逆元である。f}} が  を満たすように選ばれているならば、逆も成り立ち、しかも f}} は R}} の可逆元においてのみ最小値を取る。
ユークリッド性はアルゴリズム的である。すなわち、与えられた a}}, //b//}} から「//a// =}} //bq// + //r//}} かつ [//r// =}} 0}} または //f// < //f//}}]」を満たす商 q}} と剰余 r}} を得る割り算アルゴリズムが存在するならば、この除法に関する意味での拡張ユークリッド互除法が定義できるFraleigh。全ての PID がユークリッドというわけではない。例えば //d// =}} −19, −43, −67, −163}} のときの二次体 Q(sqrt の整数環は PID だがユークリッドでない。他方、//d// =}} −1, −2, −3, −7, −11}} の場合にはユークリッドになる。

しかし、自明なイデアル類群を持つ Q}} の有限次拡大体の多くにおいて、その整数環はユークリッドになる。拡張リーマン予想  を仮定すると、K}} が Q}} の有限次拡大で、かつ K}} の整数環が無限個の単元を持つ PID ならば、その整数環はユークリッドであることが従う。 特にこのことを自明な類群を持つ総実二次体の場合に応用できる。さらに体 K}} が Q}} のガロワ拡大で自明類群を持ち、かつ階数  が 3 より真に大きいならば、その整数環はユークリッドである。 ここから直ちに得られる系として、数体 K}} が Q}} 上ガロワで類群が自明かつ拡大次数が 8 より大きいならば、その整数環はユークリッドでなければならない。

5. ノルムユークリッド体
-------------

代数体 K}} には体のノルム N}}の絶対値による標準ノルム写像が存在する。このノルムは数体 K}} の整数環 Osub を非負有理整数全体の成す集合のなかへ写すから、この環上のユークリッド函数の候補となり得る。このノルムがユークリッド函数の公理を満足するならば、数体 K}} はノルムに関してユークリッド的あるいはノルムユークリッド的  であるという。厳密に言えば、整数環のほうがユークリッド的だということを言っているのだが、このような語法が標準的である。

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

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

−11, −7, −3, −2, −1, 2, 3, 5, 6, 7, 11, 13, 17, 19, 21, 29, 33, 37, 41, 57, 73}} .であたえられる。

6. 注
----

6.1. 注釈
-------

6.2. 出典
-------

7. 参考文献
-------

8. 外部リンク
--------