[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む78 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
16(3): 2019/10/19(土)12:10 ID:S/ONPb/G(1/2) AAS
前スレの話の続き。
ζを1の原始5乗根とする。
Q上（Q(ζ)上としてもほぼ同じ）の可解5次方程式f(x)=0 は2項5次方程式に帰着するか？
位数20の場合を考える。
方程式の分解体をLとするとGal(L/Q)=F_20.
このとき Gal(M/Q)=C_4 なる中間体Mがある。C_4 同型 F_20/C_5.
f(x)の分解体が2項5次方程式の分解体と一致⇔M=Q(ζ).
つまりM=Q(ζ)は一般的なことなのか？ が問題となる。
Gal(F/Q)=C_4 をみたすFには一般的にどんなものがあるか？
ここで、「Q上のアーベル拡大はすべて円分体の部分体である」
というクロネッカー・ウェーバーの定理より
Fは円分体の部分体であることが分かる。
pを4n+1型の素数とするときQ(e^{2πi/p})の部分体として、p=5以外にも
無数に多くのFが存在することが分かる。
それゆえp≠5のとき、Fが実際に中間体Mとして実現する可解5次方程式f(x)=0の存在を示せば反例となる。
17(4): 2019/10/19(土)12:58 ID:S/ONPb/G(2/2) AAS
2つの異なるF、F_1,F_2 があるときそれらの合成体の部分体としてさらに別の（F_1,F_2と異なる）Fが存在することも分かる。
実際の例は
外部ﾘﾝｸ[pdf]:repository.hyogo-u.ac.jp
PDF 可解な5次方程式について - 兵庫教育大学 大迎規宏 著
を参照のこと。5乗根の中に√5が含まれてる例が多いのが気になっていたが
だからと言って中間体がQ(ζ)（及びその部分体）とは限らないんだな。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.042s