ガロア拡大とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > ガロア拡大の意味・解説 

ガロア拡大

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/04/17 05:40 UTC 版)

ナビゲーションに移動 検索に移動

数学において、ガロア拡大(ガロアかくだい、: Galois extension)は、体の代数拡大 E/F であって、正規拡大かつ分離拡大であるもののことである。あるいは同じことだが、E/F が代数拡大であって、自己同型群 Aut(E/F) による固定体英語版がちょうど基礎体 F であるもののことである。ガロア拡大は、ガロア群を持ち、ガロア理論の基本定理に従うという点で、重要である[1]

エミール・アルティンの結果によって、ガロア拡大を次のように構成できる。E が与えられた体で、GE の自己同型からなるある有限群で固定体が F のとき、E/F はガロア拡大である。

ガロア拡大の特徴づけ

エミール・アルティンの重要な定理により、有限拡大 E/F に対し、以下の各ステートメントは E/F がガロア拡大であるというステートメントと同値である:

他の同値なステートメントとして以下がある:

  • F[x] の既約多項式で E に少なくとも 1 つの根をもつものはすべて E 上分解しかつ分離的である。
  • |Aut(E/F)| ≥ [E:F], つまり、自己同型の個数は拡大次数以上である。
  • F は Aut(E) の部分群の固定体である。
  • F は Aut(E/F) の固定体である。
  • E/F の部分体と Aut(E/F) の部分群の間には1対1の対応がある。

ガロア拡大の例を構成する2つの基本的な方法がある。

  • 任意の体 E と Aut(E) の任意の部分群を取り、F を固定体とする。
  • 任意の体 FF[x] の任意の分離多項式を取り、E をその分解体とする。

有理数体に、2の平方根添加する英語版とガロア拡大を与えるが、2の立方根を添加すると非ガロア拡大を与える。標数 0 だからこれらの拡大はいずれも分離的である。前者は x2 − 2 の分解体である。後者は1の虚立方根を含む正規閉包を持ち、したがって分解体ではない。実は、恒等写像の他に自己同型を持たない。なぜならば、それは実数体に含まれているが、x3 − 2 は実根を1つしか持たないからである。より詳細な例は、ガロア理論の基本定理のページを参照のこと。

K に対し、K代数閉包 KK 上ガロア拡大であることと K完全体であることは同値である。

脚注

  1. ^ これらの用語の定義や例はガロア群の記事を参照。

参考文献




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

辞書ショートカット

すべての辞書の索引

「ガロア拡大」の関連用語

ガロア拡大のお隣キーワード
検索ランキング

   

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



ガロア拡大のページの著作権
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