■クンマーの理想数(その4)
Z(i),Z(√−2),Z(√2),Z(√3),Q(√6)
など,Z(√m)という形の環(mは平方因子をもたない整数)でユークリッド整域になるものは20個くらいしかないことが知られていることを補足しておきたい.
===================================
[おまけ]ミンコフスキーの数の幾何学
ミンコフスキーはアインシュタインの先生として有名で,相対論における基本概念はミンコフスキーにその起源をたどることができます.彼は数論家として出発しましたが,研究を進めるにしたがって次第に幾何学に興味を惹かれるようになり,幾何学的方法を用いて数論を研究する「数の幾何学」と呼ばれる新しい数学分野を打ち立てました.
格子点定理が数の幾何学の基礎となっているのですが,格子点定理は次のように述べることができます.
「平面(n次元空間)上の任意の単位格子において,1つの格子点を中心として1辺の長さが2の正方形(面積4の平行四辺形,面積2^nの中心対称な凸体)を任意の向きにおいてみると,内部あるいは境界上にもうひとつの格子点が必ず存在する.」
この定理は非常に単純であるにもかかわらず,他の方法では解決することのできなかった数論における多くの問題を解明したのですが,格子点定理を用いると,初等的な定理,たとえば,
「4k+1の形の素数はx^2^+y^2の形に書ける」
「6k+1の形の素数はx^2^+3y^2の形に書ける」
「8k+1の形の素数はx^2^+2y^2の形に書ける」
なども証明することができます.2次形式の理論が発展していく段階では,ミンコフスキーが非常に大きな貢献をしていて,格子点の幾何学はミンコフスキーの「数の幾何学」に端を発するのです.
===================================