体論とガロア理論

体論は体の算術とその拡大を研究し、ガロア理論は体の拡大と対称群の間に厳密な対応関係を確立することで、多項式方程式の解法に関する古典的な問題を解決します。

Definition

体とは、すべての非ゼロ元が乗法逆元を持つ可換環です。体論は体とその間の拡大を研究し、ガロア理論は正規かつ分離的な拡大をその自己同型群、すなわちガロア群を通じて分析します。

Scope

この分野は、体の拡大とその次数、代数的要素と超越的要素、分解体と代数閉包、分離性と正規性、中間体と部分群の間のガロア対応、冪根による可解性、有限体の構造を扱います。これは、大学院の最初の代数学の集大成となる分野です。

Sub-topics

• 体の拡大
• 有限体
• ガロア群
• 分解体

Core questions

• 与えられた体の拡大の次数と構造は何か、またそれは代数的か超越的か？
• 拡大のガロア群はどのようにその中間体を分類するか？
• 多項式方程式はいつ冪根によって解けるのか？
• 可能な有限体はどのようなもので、どのように構成されるのか？

Key theories

ガロア理論の基本定理

有限ガロア拡大に対して、中間体とガロア群の部分群の間には包含関係を逆転させる全単射が存在し、正規部分群は正規部分拡大に対応します。

冪根による可解性

多項式が冪根によって解けるのは、そのガロア群が可解群である場合に限られます。この基準は、5次以上の一般方程式に対する一般的な冪根公式が存在しないことを説明します。

有限体の分類

各素数冪に対して、同型を除いてただ一つのその位数の有限体が存在し、その乗法群は巡回群です。有限体は、その次数の可除性によって支配される塔を形成します。

Clinical relevance

ガロア理論は、多項式方程式の解法に関する数千年来の問題と、古典的な定規とコンパスによる作図問題を解決しました。有限体は符号理論、暗号理論、擬似乱数生成において不可欠であり、より広範な理論は代数的整数論の基礎となっています。

History

アーベルによる一般的な5次方程式が冪根では解けないことの証明に基づき、ガロアは1830年代に方程式の群と、現在彼の名が冠されている対応関係を導入しました。シュタイニッツは1910年に体の現代的な抽象理論を与え、アルティンは自己同型群と指標の線形独立性の観点からガロア理論を再構築しました。

Key figures

• Évariste Galois
• Niels Henrik Abel
• Ernst Steinitz
• Emil Artin
• Leopold Kronecker

Seminal works

• lang2002
• dummit2004
• artin2011

Frequently asked questions

なぜ一般的な5次方程式は冪根で解けないのですか？

ガロアの基準によれば、冪根による可解性はガロア群が可解であることと同値です。一般的な5次方程式のガロア群として現れる5文字の対称群は可解ではないため、一般的な冪根公式は存在しません。

ガロア対応は具体的に何を対応させているのですか？

それは、基礎体と最上位の体の間に位置する各体と、それを固定する自己同型群の部分群を対にし、包含関係を逆転させます。これにより、体に関する難しい問題が、有限群に関するより扱いやすい問題に変換されます。