ガロア拡大

From Wikipedia, the free encyclopedia

数学において、ガロア拡大(ガロアかくだい、: 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の対応がある。

脚注

参考文献

Related Articles

Wikiwand AI