フロベニウス、...TBD

ガロア理論の基本定理

体 L を体 K の有限次ガロア拡大とする。L と K の中間体 M と Gal(L/K) の部分群 H について次の式が成立つ。M = LGal(L/M), H = Gal(L/LH)

ただし、Gal(L/M) は拡大 L/K のガロア群であり、LH は L の元のうちで H の下で不変になっているもののなす L の部分拡大を指す。

したがって、Lの中間体 M とガロア群 Gal(L/K) の部分群 H の間の対応φ : M → H = Gal(L/M), ψ: M = LH ← H

は互いに逆で、これらは全単射になることがわかる。また、この対応はあきらかに包含関係を逆にしている。つまり、M1 ⊃ M2 ならば φ(M1) ⊂ φ(M2), G1 ⊃ G2 なら ψ(G1) ⊂ ψ(G2) となる。

歴史

ガロアは1832年の（死の原因となる）決闘の前日に、友人のオーギュスト・シュヴァリエに宛てて、ガロア理論と楕円関数論に関する数学的業績を要約した手紙を書いた。その後、1846年になって、リューヴィルがガロアの功績を知って自分の雑誌にガロアの論文集を掲載したことで、多くの数学者が刺激を受けることになった。早い時期に、ベッチ、クロネッカー、ケイリー、セレは群概念を厳密化していった。カミーユ・ジョルダンによって1870年に発表された『置換と代数方程式論』 (Traite des substitutions et des equations algebraique) はガロア理論に関する包括的な解説として最も古いものである。

ソフス・リーによって導入されたリー群はガロア理論の類似を微分方程式に対して確立しようという試みの中から生まれたとされている。その後、エミール・アルティンによってガロア理論の線型代数学的な定式化が追求された。アレクサンダー・グロタンディークによって圏論的な定式化と数論幾何・代数幾何への応用が押し進められた。 カテゴリ: 体論 | 数学に関する記事

更新日時:2008年9月16日(火)15:47
取得日時:2008/11/06 22:17