もし，仮に加法の素因数分解を考えれば，たとえば，

　　１０＝３＋７＝５＋５＝２＋３＋５＝・・・

と幾通りもの素因数分解が考えられるところである．（ｐ（１０）＝４１通りの方法がある．）

　それに対して，乗法の素因数分解は順序の違いを除けば１通りしかないというのが「算術の基本定理」である．

　　１０＝２・５＝５・２

　物質の世界において，原子が分裂することは一大事であるが，数の世界において，素数が分裂することは一大事である．たとえば，

　　ａ＋ｉｂ√５　　（ａ，ｂは整数）

の形の数の世界を考えると，この世界では

　　２１＝３×７＝（４＋ｉ√５）（４−ｉ√５）

のように素因数分解の一意性が成り立たない．

　　Ｚ（ｉ），Ｚ（√−２），Ｚ（√２），Ｚ（√３），Ｚ（√６）

など，Ｚ（√ｍ）という形の環（ｍは平方因子をもたない整数）でユークリッド整域になるものは２０個くらいしかないことが知られていることを補足しておきたい．そこには大切な法則ながあるに違いない．

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

　Ｑ（ｉ）の整数環は一意分解整域である．つまり，どの整数ａ＋ｂｉも素数の積で，順序は無視して一通りに表される．さらにこの環は整除のアルゴりズムが定義されるユークリッド整域である．

　整数環Ｚもユークリッド整域であり，したがって一意分解整域である．Ｚはｎ＝１の円分体Ｑ（ξn）の整数環と考えられる．

　虚２次体の単数が±１でないものが２つある．

　　Ｑ（ｉ）→±１，±ｉ

　　Ｑ（ω）→（（−１＋ｉ√３)/2))^j，ｊ＝０〜５

　虚２次体Ｑ（√−ｄ）の類数が１であるｄは９個ある．

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

この体の整数は，素数の積で順序は無視して一通りに表される．ガウスはこの９個をしっていたが，他にはないということがわかったのは１９６６年になってからである．後半の４つ，ｄ＝１９，４２，６７，１６３に対し，Ｑ（√−ｄ）の整数環はユークリッド整域ではないので注意．

　虚２次体Ｑ（√−ｄ）の類数が２となるｄは９個ある．

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

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

　Ｑ（√−２）の整数環はユークリッド整域であり，したがって一意分解整域である．

　Ｑ（√−３）の整数環はユークリッド整域であり，したがって一意分解整域である．

　Ｑ（√−６）の類数は２．Ｑ（√６）の整数環はユークリッド整域であり，したがって一意分解整域である．

　Ｑ（√−７）の整数環はユークリッド整域であり，したがって一意分解整域である．

　Ｑ（√−１１）の整数環はユークリッド整域であり，したがって一意分解整域である．

　Ｑ（√−１３）の類数は２．

　Ｑ（√−１５）の類数は２．

　Ｑ（√−１９）の整数環は一意分解整域であるが，ユークリッド整域ではない．

　Ｑ（√−２２）の類数は２．

　Ｑ（√−３５）の類数は２．

　Ｑ（√−３７）の類数は２．

　Ｑ（√−４３）の整数環は一意分解整域であるが，ユークリッド整域ではない．

　Ｑ（√−５１）の類数は２．

　Ｑ（√−５８）の整数環はユークリッド解整域である．

　Ｑ（√−６７）の整数環は一意分解整域であるが，ユークリッド整域ではない．

　Ｑ（√−９１）の類数は２．

　Ｑ（√−１１５）の類数は２．

　Ｑ（√−１２３）の類数は２．

　Ｑ（√−１６３）の類数は１．ｄ＝１６３はＱ（√−ｄ）の類数が１である最大のｄ．

　Ｑ（√−１８７）の類数は２．

　Ｑ（√−２３５）の類数は２．Ｑ（√２３５）の類数は６．ｄ＝２３５はＱ（√ｄ）の類数が６である最小のｄ．

　Ｑ（√−２６７）の類数は２．

　Ｑ（√−４０３）の類数は２．

　Ｑ（√−４２７）の類数は２．ｄ＝４２７はＱ（√−ｄ）の類数が２である最大のｄ．

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