一意性整域の概念はわかりやすいが，ユークリッド整域のそれは理解しにくいものである．ノルムに関してユークリッド整域とは，どんな２つのα，βに対しても

　　α＝βγ＋δ，｜Ｎ（δ）｜＜｜Ｎ（β）｜

となるγ，δが存在することである．

　ユークリッド整域→一意性整域が成り立つ．そして，虚２次体Ｑ（√ｄ）の整数環がユークリッド整域となるのは，

　　−ｄ＝１，２，３，７，１１

の５つの場合に限る．実２次体Ｑ（√ｄ）に対しては

　　ｄ＝２，３，５，６，７，１１，１３，１７，１９，２１，２９，３３，３７，４１，５７，７３

に限ることが知られている．

　虚２次体で，一意分解性をもつがユークリッド整域ではないものは，

　　−ｄ＝１９，４３，６７，１６３

に対応するものである．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【１】類数と素因数分解の一意性

　正の整数では素因数分解の一意性が成り立ちます．また，Ｑ（√−１）＝Ｑ（ｉ）の世界では，

　　χ（５）＝（−１／５）＝１　　（第１補充法則）

より，素数５は２つの相異なる素イデアルの積となり

　　５＝（２＋ｉ）（２−ｉ）

とただ１通りのイデアル分解されます．

　ところが，扱う数の範囲を広げると，既約因子の積に２通りに表されるような状況を生じます．たとえば，扱う数の範囲を整数から，

　　Ｚ（√−５）＝｛ａ＋ｂ√−５｜ａ，ｂは整数｝

にまで拡げると，

　　６＝２・３＝（１＋√−５）（１−√−５）

　２，３は素数ですし，

　　１＋√−５，１−√−５

はいずれも

　　ａ＋ｂ√−５

のなかには±１と±それ自身以外の約数をもたないので「素数」です．

　このように，もうこれ以上分解できないはずの素因数分解の仕方が２通り存在してしまう現象が起こります．Ｑ（√ｄ）の整数環Ａ（ω）が必ずしも一意分解環でないことに最初に気づいたのは，ディリクレでした．

　この状況に対して，これはまだ分解が足りないためだと考えることもできます．すなわち，２，３，１±√−５は素数でなく偽物の素数である，さらに究極の数α，β，γ，δがあって，

　　２＝αβ，３＝γδ，１＋√−５＝αγ，１−√−５＝βδ

となっていて，

　　６＝αβγδ

が６の素因数分解となるという考え方をクンマーの理想数の理論といいます．

　もちろん，α，β，γ，δはＺ（√−５）の中には存在しません．素因数分解したときの素因数がすべて含まれている集合を考えるのです．

　　｛√２，（１＋√−５）／√２，（１−√−５）／√２｝

　これらが理想素元であって，

　　６＝２・３＝√２・√２・（１＋√−５）／√２・（１−√−５）／√２＝αβγδ

　　６＝（１＋√−５）（１−√−５）＝√２・（１＋√−５）／√２・√２・（１−√−５）／√２＝αδβγ

が成り立ち，いまや６の素因数分解は一意的です．

　　｛√２，（１＋√−５）／√２，（１−√−５）／√２｝

を選んだのは一見場当たり的に思えますが，のちにイデアルが導入されるとこの選択はごく自然なものだったことがわかります．イデアルの世界に至れば，ただ１通りの素因数分解が成立するようになるのです．

　以上は２次形式論に移すと，どのようなｄに対して判別式Ｄ＝ｄあるいはｄ／４の形式の同値類がただ１つになっているかということです．ガウスは証明なしにではありますが，負のｄに対してＡ（ω）が単項イデアル環になっているものをすべて決定しています．この事実に最終的な証明が与えられたのが，１９６６年のベイカー・スタークの定理

　『類数が１となる虚２次体Ｑ（√ｄ）は

　　−ｄ＝１，２，３，７，１１，１９，４３，６７，１６３

しかない』

というわけです．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【２】類体論

　２次体における素数の分解

　　Ｑ（ｉ），Ｑ（√−２），Ｑ（√２），Ｑ（√−３），Ｑ（√３）

はいずれも類数が１であって，これらの体の整数環は一意分解整域となります．したがって，素数は素イデアルの積としてただ１通りに表されます．

　それに対して，Ｑ（√−５）やＱ（√−６）は類数が２であり，Ｚ（√−５）やＺ（√−６）は一意分解とは限らないことを意味しています．

　　６＝２・３＝（１＋√−５）（１−√−５）

　類数１では，ｐ＝ｘ^2＋ｙ^2，ｐ＝ｘ^2＋２ｙ^2，・・・の形に書ける素数の場合，Ｑ（√−１）やＱ（√−２）においてｐが完全分解するための必要十分条件

　　Ｑ（√−１）　←→　１（ｍｏｄ４）

　　Ｑ（√−２）　←→　１，３（ｍｏｄ８）

がそのままだったのに対して，類数２では，ｐ＝ｘ^2＋５ｙ^2，ｐ＝ｘ^2＋６ｙ^2，・・・の形に書ける素数に次のような現象が起こります．

　ｐ≠２，５でない素数とするとき

　　「ｐが２０で割ると１または９余る素数ならば，ｐ＝ｘ^2＋５ｙ^2」

　ｐ≠２，３でない素数とするとき

　　「ｐが２４で割ると１または７余る素数ならば，ｐ＝ｘ^2＋６ｙ^2」

　すなわち，Ｑ（√−５）において，ｐが完全分解するための必要十分条件

　　１，３，７，９（ｍｏｄ２０）

Ｑ（√−６）において，ｐが完全分解するための必要十分条件

　　１，５，７，１１（ｍｏｄ２０）

に較べて少しずれが生じてしまうのです．

　ついでながら，ｈ＝２なる虚２次体Ｑ（√ｄ）は，

　　−ｄ＝５，６，１０，１３，１５，２２，３５，３７，５１，５８，９１，１１５，１２３，１８７，２３５，２６７，４０３，４２７

の１８個あります．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝