- 67 名前：
・Gal(Q(√2)/Q) は、恒等写像および、√2と-√2を入れ替える写像からなる。
・K = Q(2^1/3)とするとき、Aut(K/Q)は自明な群となる。これはKが正規拡大でない（x^3 ? 2の根を全て含んでいない）ためである。これはKが分解体ではないからと言いかえることもできる。
・ω を1の3乗根とするとき、拡大体L = Q(2^1/3, ω)は、多項式x^3 - 2のQ上の分解体となり、自己同型群は、3次の置換群 S3と同型となる。
https://ja.wikipedia.org/wiki/%E3%82%AC%E3%83%AD%E3%82%A2%E6%8B%A1%E5%A4%A7
ガロア拡大（ガロアかくだい、英: Galois extension）は、体の代数拡大 E/F であって、正規拡大かつ分離拡大であるもののことである。あるいは同じことだが、E/F が代数拡大であって、自己同型群 Aut(E/F) による固定体（英語版）がちょうど基礎体 F であるもののことである。ガロア拡大は、ガロア群を持ち、ガロア理論の基本定理に従うという点で、重要である[1]。
エミール・アルティンの結果によって、ガロア拡大を次のように構成できる。E が与えられた体で、G が E の自己同型からなるある有限群で固定体が F のとき、E/F はガロア拡大である。
つづく [] - [ここ壊れてます]
|
 |
