代数的整数論
代数的整数論は、有理数体の有限次拡大における代数的整数環の算術を、整数の算術へと拡張する分野である。この分野では、一意分解が成り立たない場合があるが、イデアルのレベルでは一意分解が回復される。
PaperMindでテーマを探す近日公開Find papers & topics
Tools & resources
Learn & explore
動画近日公開
Definition
代数的整数論は、数体（有理数体の有限次拡大）とその整数環を研究する分野であり、可換環論とガロア理論のツールを用いて、分解、単数、および体拡大を算術的に理解することを目的とする。
Scope
この領域は、数体とその整数環、イデアルの素イデアルへの分解、一意分解の破綻度合いを測るイデアル類群、ディリクレの単数定理、拡大における素数の分岐と挙動、数体のガロア理論、および算術的データに基づいてアーベル拡大を記述する類体論を扱う。
Sub-topics
Core questions
- 代数的整数環における一意分解は何に置き換えられ、素イデアルはどのようにしてそれを回復させるのか？
- イデアル類群によって測定される一意分解の破綻の度合いはどのくらいか、そしてそれは常に有限なのか？
- 整数環の単数はどのように振る舞い、その階数（rank）はいくらか？
- 有理素数は拡大においてどのように分解、分岐、または不変のままとなるのか、そしてガロア理論はこれをどのように支配するのか？
Key theories
- イデアルの一意分解
- 数体の整数環のようなデデキント整域では、すべての非零イデアルは素イデアルに一意的に分解され、算術の基本定理の構造的役割を回復する。
- 類数の有限性とディリクレの単数定理
- イデアル類群は有限であり、単数群は実埋め込みと複素埋め込みの数によって決定される階数を持つ有限生成群である。これらはミンコフスキー流の数の幾何学によって確立された二つの基礎である。
- 類体論
- 数体のアーベル拡大は、一般化されたイデアル類群の商によって分類され、二次相互法則をアルティン写像の相互法則へと一般化する。
Clinical relevance
整数環とイデアル算術は、格子ベースおよびイデアル格子スキームを含む現代暗号の代数的な基盤を提供し、これらはポスト量子セキュリティのために検討されており、また、既知の最速の汎用因数分解アルゴリズムである数体ふるい法の基礎となっている。
History
この分野は、フェルマーの最終定理に触発され、円分体における一意分解を修復するためにクンマーが1847年頃に理想数を導入したことから発展した。デデキントは1870年代にこれらをイデアルとして再構築し、ミンコフスキーは幾何学的手法を加え、ヒルベルト、高木、アルティンは20世紀初頭に類体論を構築した。
Key figures
- Ernst Kummer
- Richard Dedekind
- Leopold Kronecker
- Emil Artin
Related topics
Seminal works
- neukirch1999
Frequently asked questions
- なぜ代数的整数では一意分解が常に成り立つとは限らないのですか？
- 多くの整数環では、ある元が真に異なる方法で既約元に分解されることがあります。この問題の解決策は、元ではなくイデアルを分解することであり、その場合、一意性が常に回復されます。
- 類数とは何ですか？
- 類数とはイデアル類群の位数であり、整数環が一意分解を持つ状態からどれだけ離れているかを正確に測る有限の数です。一意分解が成り立つのは、類数が1の場合に限られます。