イデアル類群と単数群

イデアル類群は、整数環における一意分解の失敗度合いを測るものであり、単数群はその可逆元を記述する。これらはいずれも数の幾何学によって制御される。

Definition

数体のイデアル類群は、主イデアルを法とする分数イデアルの群であり、その位数が類数である。単数群は整数環の可逆元から構成され、有限生成アーベル群を形成する。

Scope

このトピックでは、分数イデアルとイデアル類群、類数の有限性、類群の計算に用いられるミンコフスキーの凸体定理とミンコフスキー限界、単数群の構造、その階数を決定するディリクレの単数定理、基本単数とレギュレーター、そしてこれらの不変量をデデキントゼータ関数と結びつける解析的類数公式について扱う。

Core questions

• イデアル類群はどのように定義され、因数分解が一意である場合にのみ自明となるのはなぜか？
• ミンコフスキーの数の幾何学は、類数が有限であり、代表元が有界であることをどのように証明するのか？
• 単数群の階数は何か、そして実埋め込みと複素埋め込みはそれをどのように決定するのか？
• 解析的類数公式は、類数、レギュレーター、単数群をゼータ関数とどのように結びつけるのか？

Key theories

類数の有限性

すべてのイデアル類は有界なノルム（ミンコフスキー限界）を持つイデアルを含み、そのようなイデアルは有限個であるため、類群は有限である。これは計算と理論の基礎となる結果である。

ディリクレの単数定理

単数群は、1の冪根の有限群と、実埋め込みの数と複素埋め込み対の数の合計から1を引いた階数を持つ自由アーベル群の積であり、基本単数によって実現される。

解析的類数公式

デデキントゼータ関数の1における留数は、類数、レギュレーター、1の冪根の数、および判別式によって表現され、代数と解析を結びつける。

Clinical relevance

類群と単数群の計算は、アルゴリズム的数論の中心であり、イデアル格子ベースおよび類群ベースの暗号システムのセキュリティ解析においても重要である。これらの暗号システムでは、類群計算の困難性が提案されたスキームの基盤となっている。

History

ガウスは、二元二次形式とその合成に関する同等の理論、実質的には二次体の類群を研究した。ディリクレは1846年に単数定理を証明し、1896年頃のミンコフスキーの数の幾何学は、有限性と単数群の階数に関する明確な凸体証明をもたらした。

Key figures

• Peter Gustav Lejeune Dirichlet
• Hermann Minkowski
• Carl Friedrich Gauss

Seminal works

• neukirch1999

Frequently asked questions

類数が1であるとはどういう意味か？

それはイデアル類群が自明であることを意味し、したがってすべてのイデアルが主イデアルであり、整数環は通常の整数環と同様に要素の一意分解を持つことを意味する。

基本単数とは何か？

それは単数群の無限部分の生成元である。実二次体の場合、それは1より大きい最小の単数であり、その冪（符号付き）は1の冪根を除いてすべての単数を与える。