数体の分岐とガロア理論

ある数体の素イデアルがより大きな体で調べられるとき、それはいくつかの素イデアルに分解したり、素イデアルのままであったり、分岐したりすることがあります。ガロア理論は、分解群とフロベニウス元を通じて、これらすべての振る舞いを整理します。

Definition

分岐とは、基礎体の素イデアルが拡大体でどのように因数分解され、重複する素因数が出現するかを記述するものです。数体のガロア理論は、その上にある各素イデアルに付随するガロア群の部分群を通じてこれを符号化します。

Scope

このトピックでは、有理素数が拡大体において素イデアルにどのように分解するか、その分岐指数と剰余次数、それらを次数に関連付ける基本等式、分岐する素数と分岐しない素数、ガロア拡大における分解群と惰性群、フロベニウス自己同型、差積と判別式および分岐の関係、そして相互法則を予期させるアルティン記号について扱います。

Core questions

• 有理素数は拡大体の整数環でどのように因数分解され、分岐指数と剰余次数とは何ですか？
• これらの不変量が次数に合計される基本等式を満たすのはなぜですか、またガロア拡大ではどのように簡略化されますか？
• 分解群と惰性群とは何ですか、またフロベニウス元は剰余体上でどのように作用しますか？
• どの素イデアルが分岐し、差積と判別式はそれらをどのように検出しますか？

Key theories

基本等式と分解の種類

素イデアルは、分岐指数と剰余次数を持つ拡大体で因数分解され、それらの重み付き和は体の次数に等しくなります。ガロア拡大では、すべての因子が同じ指数と次数を共有し、分解、不変、分岐の挙動を分類します。

分解群、惰性群、およびフロベニウス

ガロア拡大において、与えられた素イデアルの上にある素イデアルに対して、分解群はその安定化群であり、惰性群はその分岐部分であり、商群は剰余体上で冪乗写像として作用するフロベニウス元によって生成されます。

差積、判別式、および分岐

差積イデアルと判別式は分岐する素イデアルを特定し、導手-判別式公式は、その指標の導手を通じてアーベル拡大の判別式を表現します。

Clinical relevance

フロベニウス元を介した素イデアルの分解挙動は、相互法則を支配し、数体ふるい内のステップを含む、数体上の多項式やイデアルを因数分解するアルゴリズムの計算上の核心となります。

History

デデキントは、素イデアルの因数分解を、その素イデアルを法とする最小多項式の因数分解に関連付けました。ヒルベルトは1897年の『数論報告』において分岐理論を体系化し、分解群、惰性群、および現代の主題を整理する高次分岐フィルターを導入しました。

Key figures

• Richard Dedekind
• David Hilbert
• Ferdinand Georg Frobenius

Seminal works

• marcus2018

Frequently asked questions

素イデアルが分岐するとはどういう意味ですか？

素イデアルが拡大体で分岐するとは、その素イデアルへの因数分解に重複する因子が含まれることを意味します。有限個の素イデアルのみが分岐し、それらは判別式を割り切るものと正確に一致します。

フロベニウス元とは何ですか？

ガロア拡大における不分岐素イデアルの場合、それは剰余体上でp乗写像を誘導する正準自己同型です。その共役類は素イデアルがどのように分解するかを記録し、相互法則の鍵となります。