ガロアの基本定理とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > ガロアの基本定理の意味・解説 

ガロア理論の基本定理

(ガロアの基本定理 から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2017/09/14 03:50 UTC 版)

数学では、ガロア理論の基本定理 (fundamental theorem of Galois theory) は、ある種の体の拡大の構造を記述した結果である。

定理の最も基本的な形は、有限次ガロア拡大である体の拡大 E/F が与えられると、一対一対応中間体ガロア群部分群の間に存在する。(中間体とは、F ⊆ K ⊆ E を満たす体のことを言う、それらを E/F の部分拡大と言う。)

証明

基本定理の証明は、自明なことではない。通常の扱いで最も重要な点は、エミール・アルティン(Emil Artin)のむしろ微妙でデリケートな結果であり、与えられた自己同型群により固定された中間体の次元を制御することができる。ガロア拡大 K/F の自己同型群は、体 K 上の函数として線型独立である。この事実は、より一般的な事実である指標の線型独立性から従う。原始元定理を使うかなり簡単な証明もあるが、有限体の場合に独立した(しかしより簡単な)証明をする必要があるため、この証明は現代的な取扱いではほとんど用いられない。[1]

抽象的な言葉では「ガロア対応英語版(Galois connection)が存在する」と述べられる。その性質は少々形式的であるが、いくつかの事実を述べるには具体的に順序集合の同型写像を記述する必要がある。

対応の明確な記述

有限拡大に対し、対応は次のように明確に述べることができる。

  • Gal(E/F) の任意の部分群 H に対し、対応する体は普通 EH と書き、全ての H の自己同型により固定される E の元の集合である。
  • E/F の任意の中間体 K に対し、対応する部分群は、まさに Aut(E/K) に一致し、全ての K の元を固定する Gal(E/F) の中の自己同型の集合である。

例えば、頂点にある体 E は Gal(E/F) の自明な部分群に対応し、基礎体 F は Gal(E/F) の全体に対応する。

対応の性質

対応はつぎのような有益な性質を持っている。

  • 包含関係を逆にする(inclusion-reversing)。部分群の包含関係 H1 ⊆ H2 が成り立つことと体の包含関係 EH1 ⊇ EH2 が成り立つこととは同値。
  • 拡大次数は包含関係を逆にするという性質と矛盾しない形で群の位数と関係する。具体的には H が Gal(E/F) の部分群であれば |H| = [E:EH] であり |Gal(E/F)/H| = [EH:F] である。
  • 体 EH は F の正規拡大(分離拡大の部分拡大は分離的だから、これはガロア拡大というのと同じ)であることと、H が Gal(E/F) の正規部分群であることとは同値である。この場合は、Gal(E/F) の元の EH への制限は、Gal(EH/F) と商群 Gal(E/F)/H の間の群同型を引き起こす。

部分体と部分群束英語版(Lattice of subgroups)

体 K = Q(√2, √3) = Q(√2)(√3) を考える。最初 K は √2 を添加することにより決定され、次に √3 を添加することで決定されるので、K の各々の元は次のように表すことができる。

部分体と部分群束

次の例はガロア群がアーベル群でない最も簡単な例である。

Q 上の多項式 x3−2 の分解体 K を考える。すなわち、K = Q (θ, ω) で、ここに θ は 2 の立方根であり、ω は 1 の立方根である(が 1 ではない)。例えば、K を複素数の中の体と考えると、θ を 2 の実立法根で、ω を

とする。ガロア群 G = Gal(K/Q) は 6 つの元をもち、3つの対象の置換群と同型である。G は 2つの自己同型、いわば、f と g により生成され、それらは θ と ω の効果により次のように決定される。

と、従って、

G の部分群と対応する部分体は次のようになる。

  • 普通に行うように、G 全体は基礎体 Q に対応し、自明な群 {1} は K 全体に対応する。
  • 位数 3 の群、{1, f, f 2} が唯一、存在する。対応する部分体は Q(ω) であり、これは Q 上、次数 2 であり(ω 最小多項式は x2 + x + 1 )、G の指数 2 の G の部分群であるという事実に対応している。また、この部分群は正規部分群で、Q 上で正規な体であるという事実に対応している。
  • 位数 2 の部分群が 3個存在し、{1, g}、{1, gf}、{1, gf2} で、これらがそれぞれ 3つの部分体 Q(θ), Q(ωθ), Q2θ) に対応している。3つの部分体は Q 上、次数 3 の部分体であり、指数 3 をもつ G の部分群に対応している。注意すべきは、部分群が G で正規部分群ではなく、この事実は部分体は Q 上、ガロア的になっていないという事実に対応している。例えば、Q(θ) は多項式 x3−2 の根を一つしか持っていないので、Q 上、正規ではありえない。

応用

この定理は拡大体 E/F の中間体の分類という難しく聞こえる問題を、ある有限群の部分群を列挙せよというより扱い易い問題へ変換している。

例えば、一般の五次方程式冪根によって解けないアーベル-ルフィニの定理を参照)ことを証明するため、まず最初に、冪根拡大英語版(α を F のある元の n 乗根としたときに F(α) となるような拡大)により問題を言い換え、この基本定理を使い、冪根拡大の問題を直接対応できる群の問題へ変換する。

クンマー理論類体論のような理論は、この基本定理から予想することができる。

無限次拡大の場合

この基本定理には、正規拡大であり分離拡大である無限次代数拡大へ適用できるバージョンも存在する。このバージョンは、ガロア群にクルル位相というある位相構造を定義することを含み、そこでの閉集合である部分群が上記の対応と整合している。

参考文献

  1. ^ See Marcus, Daniel (1977). Number Fields. Appendix 2. New York: Springer-Verlag. ISBN 0-387-90279-1. 



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

カテゴリ一覧

すべての辞書の索引



Weblioのサービス

「ガロアの基本定理」の関連用語


2
4% |||||

ガロアの基本定理のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



ガロアの基本定理のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのガロア理論の基本定理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS