現代数学の系譜工学物理雑談古典ガロア理論も読む78

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む78 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

176: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/10/24(木) 17:13:36.82 ID:zndIMm6S

>>173
ID:V4UM6AG2さん、どうもスレ主です。

あなたは、かなり勉強されているみたいだから、もう少し教えてもらえますか？

少し、記号を整備しましょう。
下記、ガロア理論の基本定理にならいます。

基礎体F、拡大体E、中間体K、有理数体Q
体の有限次ガロア拡大 E/Fのガロア群 Gal(E/F)
基礎体F上、F係数の一般ｎ次方程式による体の拡大を考えて、拡大体Eが得られたとする
（簡単のために、FはQ上の代数拡大体とする）

Gal(E/F) ＝Sn （n次対称群）
体：Q ⊆ F ⊆ K ⊆ E
　　↓↑（ガロア対応）
群：S'⊇ Sn⊇ G ⊇{e}

ここに、GはSnの部分群で、S'はSnを含む群、 {e}は単位元からなる自明な群
（そして、ケーリー（Cayley）の定理（>>129）から、Snを十分大きく取れば、任意の群Gに対して、”Sn⊇ G”成立）

で、あなたは、
体：F ⊆ K ⊆ E
　　↓↑（ガロア対応）
群：Sn⊇ G ⊇{e}
なら、作れるといったわけですよね（>>80）
（体 F、K、E を自由に選んで良いなら、自由度が上がっている？ ）

でも、ガロア逆問題は
体：Q ⊆ K
　　↓↑（ガロア対応）
群：G ⊇{e}
となる体：Q ⊆ K （Q上の拡大体K）が存在するかどうか（あるいは見つける）ですよね（あなたの言葉を借りれば）

そういう理解で良いですかね？
なるほど
しかし、Qに限らないのでは？ 自由度の問題では？

https://ja.wikipedia.org/wiki/%E3%82%AC%E3%83%AD%E3%82%A2%E7%90%86%E8%AB%96%E3%81%AE%E5%9F%BA%E6%9C%AC%E5%AE%9A%E7%90%86
ガロア理論の基本定理
(抜粋)
定理の最も基本的な主張は「体の有限次ガロア拡大 E/F が与えられると、その中間体とガロア群 Gal(E/F) の部分群の間に一対一対応が存在する」ことである。
（中間体とは、F ⊆ K ⊆ E を満たす体のことを言う、それらを E/F の部分拡大と言う。）

つづく

http://rio2016.5ch.net/test/read.cgi/math/1571400076/176

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.030s