代数的整数論/二次体の整数論のソースを表示

いきなりイデアルのような抽象的な話を始めても読者に優しくないので、具体的な内容から始める。

== 虚数 ==
さて、因数分解の有名な公式に次のようなものがある。
:<math>x^2 - y^2 = (x+y)(x-y)</math>
平方の差は和と差の積で表すことができるのである。ここで重要なのは、平方の'''差'''になっていることである。もし、
:<math>x^2 + y^2</math>
という形だと、<math>(x+y)^2 = x^2 + 2xy + y^2</math> となってしまい、因数分解とならない。ここで、平方の差の因数分解の公式を無理やり使おうとすると、「2乗すると負になる数」が必要になる。仮にそれを <math>\sqrt{-1}</math> と書くことにしよう。すると、先ほどの式は
:<math>x^2 + y^2 = (x-y\sqrt{-1})(x+y\sqrt{-1})</math>
という形に因数分解できるはずである。しかし、整数、有理数、実数の範囲内に置いて、2乗すると負になる数など存在しないのである。そこで、想像上の数、という意味で「Imaginary number」という名前が付いている。日本ではこれを「虚数」という。
:<math>i = \sqrt{-1}</math> という虚数単位を一般的には用いる。しかしここでは用いない。その理由はすぐ分かるだろう。
虚数はこのような因数分解に登場するだけでなく、二次方程式の解や三次方程式の解の公式にも登場する。

== ガウスの整数 ==
このような因数分解から、整数の代わりに、
:<math>a+b\sqrt{-1} (a, b\in \mathbb{Z})</math>
の形の数を考えることができる。このような形の数の和、差、積がやはり同じ形で表されること、商は必ずしもこのような形とはならないが
:<math>u+v\sqrt{-1} (u, v\in \mathbb{Q})</math>
の形となることは明らかである。

ここで、[[初等整数論/不定方程式#ピタゴラス数|初等整数論/不定方程式]]でも論じたピタゴラスの方程式
:<math>x^2 + y^2 = z^2</math>
を改めて考える。もし ''x'', ''y'' が公約数をもつならば、それで割ることで ''x'', ''y'' は互いに素となる。 4 を法として考えると ''x'', ''y'' のうち一方は偶数、他方は奇数となる。
これに、先の因数分解を適用すると
:<math> (x-y\sqrt{-1})(x+y\sqrt{-1}) = z^2</math>
となる。

さて、''x'', ''y'' のうち一方は偶数、他方は奇数であるが、このとき
<math>a+b\sqrt{-1} (a, b\in \mathbb{Z})</math> の形の数で <math>x-y\sqrt{-1}, x+y\sqrt{-1}</math> を同時に割り切るようなものは <math>\pm 1, \pm \sqrt{-1}</math> 以外に存在しないことが確かめられる。ここで[[初等整数論/算術の基本定理#定理 1.15'|整数のとき]]と同じように
:<math> x-y\sqrt{-1}=(m-n\sqrt{-1})^2, x+y\sqrt{-1} = (m+n\sqrt{-1})^2 (m, n\in \mathbb{Z}) \cdots (1)</math>
とおくことができれば
:<math> x+y\sqrt{-1} = (m+n\sqrt{-1})^2 = m^2-n^2+2mn\sqrt{-1}</math>
より
:<math> x = m^2-n^2, y = 2mn</math>
が導かれる。

しかし ''y'' が偶数とは仮定していなかった。実際、上記のピタゴラスの方程式の解には ''y'' が奇数となるものも存在する。
そこで (1) はそのままでは正しくないとわかる。では、どのようにすれば正しくなるのか、そもそも整数のときと同じような結果がそのまま成り立つのか考えなければならない。結論から言うと (1) を
:<math> x+y\sqrt{-1} = (\sqrt{-1})^l (m+n\sqrt{-1})^2 (l, m, n\in \mathbb{Z})</math>
に置き換えれば（つまり (1) の右辺に <math>\pm 1, \pm\sqrt{-1}</math> のいずれかを掛ければ）正しいことが分かるのだが、このことは明らかではない。よってそれを証明しなければならないのである。

== フェルマーの方程式 ==
といっても、有名なフェルマーの最終定理ではない。フェルマーは平方数より1だけ大きく立方数より1だけ少ない数は 26 以外には存在しないと主張していた。すなわち
:<math> x^2+2 = y^3</math>
の整数解は (±5, 3) 以外にはないというのである。
今度は <math>\sqrt{-2}</math> を導入して左辺を因数分解すると
:<math> (x+\sqrt{-2})(x-\sqrt{-2}) = y^3</math>
となる。 ''x'' が偶数ならば ''x'' <sup>2</sup>+2 は 2 の奇数倍となるので立方数ではありえない。よって ''x'' は奇数でなければならない。この場合、やはり
:<math>a+b\sqrt{-2} (a, b\in \mathbb{Z})</math>
の形の数で <math>x-\sqrt{-2}, x+\sqrt{-2}</math> を同時に割り切るようなものは <math>\pm 1</math> 以外に存在しないことが確かめられる。ここで先程と同じように
:<math>x+\sqrt{-2} = \pm (m+n\sqrt{-2})^3 (m, n\in \mathbb{Z}) \cdots (2)</math>
とすることができれば
:<math>x+\sqrt{-2} = \pm (m+n\sqrt{-2})^3 = \pm (m^3-6mn^2+(3m^2 n-2n^3)\sqrt{-2})</math>
より
:<math>\pm 1=3m^2 n-2n^3=n(3m^2-2n^2)</math>
となり <math>m=\pm 1, n=\pm 1</math> でなければならず、ここから解は ''x'' =±5, ''y'' = 3 以外にはないことが導かれる。
しかし、やはり (2) が正しいかどうか明らかではない。結論して (2) は正しいのだが、それを証明しなければならないのである。

== 二次体 <math>K(\sqrt{-1})</math> の整数 ==
これからは、<math>a + b\sqrt{-1} \ (a, b \in \mathbb{Z})</math> という形の数を「整数」と呼ぶことにしよう。またこのような数の集合を <math>\mathbb{Z} [\sqrt{-1}]</math> と書くことにする。

[[カテゴリ:数論]]