導入
数学では、ガロア拡張(ガロア拡張とも呼ばれます) は、分離可能な通常の有限体拡張です。
拡張の自己同型集合はガロア群と呼ばれる群構造を持ちます。このグループ構造は、これらのサブボディだけでなくエクステンションも特徴づけます。
ガロア拡張は、フェルマーの最終定理などの代数的整数論、またはアーベル ルフィニの定理などの純粋なガロア理論の定理の証明に広く使用されている構造です。
モチベーション
初期の問題
ガロア拡張の概念につながるアプローチは、多くの場合古く、数学のさまざまな分野に由来する推測を解決したいという欲求から来ています。代数方程式、特に多項方程式の研究を伴う代数、最初は定規を使った構築の問題を伴う幾何学です。コンパス、特に立方体の複製などの古代の 3 つの大きな問題、特にフェルマーの大定理などの算術の問題です。
アプローチの哲学
引用されたすべての最初の問題は単純に表現されており、その記述には初歩的な数学レベルのみが必要です。一方で、彼らの決意には何世紀にもわたる忍耐が必要でした。その理由は、素朴なアプローチでは、発言が暗示する微妙な点を理解することが困難であるという事実にあります。解決策を提供するには、これらの各質問の根底にある構造を理解する必要があります。直接分析には計算アプローチが必要ですが、複雑すぎて成功しません。
たとえそれが抽象化のレベルを上げることを意味するとしても、これらの古い問題を解決する強力な定理の恩恵を受けて、純粋な代数構造を定義することが必要であると思われます。
ガロア拡張の場合
ガロア拡張は、群の構造、体の構造、ベクトル空間の構造という 3 つの構造を使用する代数構築です。
グループ構造により、たとえば、多項式の根の順列の分析が可能になります。ただし、順列の分析は、多項方程式の代数解を見つける鍵となります。 5 次方程式または 5次方程式の場合、可能な順列は 120 通りあります。どの順列をどのような順序で使用するかを見つけることは、この問題を研究したジョセフ ルイ ラグランジュのような数学者にとっては複雑すぎる組み合わせ問題であるように見えました。
有限群の体系的な解析は、もはや組み合わせ軸ではなく、抽象的なアプローチを使用することで、抽象性の向上と引き換えに、たとえば 5 次方程式の場合の計算的に比較的単純な解決が可能になります。 Ludwig Sylow は、多項式方程式の解析をエレガントに結論づける 3 つの定理を実証しています。
基本定理
ガロア拡張は、この純粋な代数的アプローチの典型であり、この構造には、引用されたさまざまな問題のすべての現代の解決策の基礎となる強力な定理があります。これはガロア理論の基本定理です。この定理は物体とグループの間の関係を確立します。これにより、群理論と代数学、幾何学、または算術の学習問題との間に橋渡しをすることが可能になります。基本定理の記述において、物体、群、および両者の対応関係は抽象的です。この抽象化と引き換えに、ガロア拡張は多くの問題を研究するための非常に一般的なフレームワークを提供します。