ディリクレの単数定理

ディリクレの単数定理

ディリクレの単数定理は、1846年に数学者ペーター・グスタフ・ディリクレによって提唱された、代数的整数論における重要な成果です。この定理は、代数体 K の代数的整数が作る環 O_K の単数群 O_K^× の階数を決定します。具体的には、単数群が有限生成であり、階数 rは次のように表されます。

r = r1 + r2 - 1

ここで r1 は代数体 K の実埋め込みの数、r2 は虚埋め込みの共役ペアの数を指します。この r1 と r2 は、体 K の埋め込みが複素数体の次数と同じだけ存在するという特性に基づいて決まります。さらに、埋め込みの性質から、次の関係式が成り立ちます。

n = r1 + 2r2

ここで n は K の Q に対する次元を示します。特に、K が Q 上のガロア拡大である場合、r1 や r2 のいずれかは必ず正になりますが、両方が同時にゼロにはならない点に注意が必要です。これは、原始元の定理を用いることでさらに理解が深まります。

単数基準

単数群 O_K^× の生成元を u1, ..., ur とすると、これを用いて単数の密度を測る指標「単数基準」(regulator)を導入できます。この単数基準は、どれだけの単数が存在するかを示す正の実数です。具体的には、各生成元の埋め込みに応じて、以下のような形式の行列を考えます。

N_j log |u_i^j|

この行列の各要素の和は常にゼロになる性質があるため、部分行列の決定要素は元の選び方に依存しません。この数値 R が単数基準であり、これは単数の「密度」を表す重要な値です。小さな単数基準は多くの単数を示唆し、特にそれが幾何学的な意味を持つことがあります。

限界と例

具体的な例として、虚二次体や有理整数体の単数基準は 1 です。実二次体の単数基準はその基本単数の対数であり、例えば Q(√5) の場合、その単数基準は log((√5 + 1)/2) であることが示されています。この例からも、基本単数の価値がどのように反映されるかを考察することができます。

また、より高次の単数基準に関する研究も進められ、古典的な単数基準を n > 1 における代数的 K-群に拡張した理論も発展中です。これは、特にL-関数に関する重要な結果にも関連しています。

終わりに

ディリクレの単数定理は、代数体の構造を理解するための基本的なフレームワークを提供しています。この定理の広範な応用と、より深い数学的洞察が、現代の代数的整数論の理解に寄与しています。さらに、数学者たちによるこの理論の拡張や新しい視点も、研究分野で重要な役割を果たしています。

もう一度検索