代数的整数論とは

代数的整数論は、整数の概念を拡張し、代数体における「整数」の性質を研究する数学の分野です。通常の整数 を超えて、より広い世界で数の構造を探求します。

出発点としての整数

私たちが普段使う整数 には、素因数分解の一意性という重要な性質があります。任意の整数は素数の積として一意に表せるというものです。

この性質は当たり前のように思えますが、整数を拡張した世界では必ずしも成り立ちません。代数的整数論は、この「当たり前」が崩れる場面を出発点として発展しました。

代数的整数とは

有理数体 を拡大した体を代数体と呼びます。例えば などが代数体です。

代数体 の中で「整数」の役割を果たす元を代数的整数と呼びます。形式的には、モニックな整数係数多項式の根となる元です。例えば の根なので代数的整数であり、(黄金比)も の根なので代数的整数となります。

なぜ重要か

代数的整数論が発展した大きな動機の一つは、フェルマーの最終定理への挑戦でした。 を解こうとしたとき、数学者たちは円分体という特殊な代数体を考え、そこでの素因数分解を利用しようとしました。

しかし、代数体では素因数分解の一意性が一般には成り立ちません。この困難を克服するためにクンマーはイデアルという概念を導入し、デデキントがそれを整備しました。

通常の整数

素因数分解は常に一意に存在する

代数的整数

素因数分解の一意性は一般に成り立たない

理論の主要テーマ

代数的整数論では以下のようなテーマを扱います。

整数環の構造

代数体 に対し、その整数環 の構造を調べます。基底の取り方、判別式などが重要です。

イデアル論

素因数分解の代わりに、イデアルの素イデアル分解を考えます。これは常に一意に存在します。

類数

イデアル類群の位数を類数と呼びます。類数が 1 のとき、かつそのときに限り素因数分解の一意性が成り立ちます。

単数群

整数環の可逆元(単数)全体の群を調べます。ディリクレの単数定理がその構造を明らかにします。

これらの概念を通じて、整数の世界を大きく拡張した視点から数の構造を理解できるようになります。