>>969
定かではありませんが、
5 次拡大がガロア群が可解なら二項拡大
みたいな事書いてました。
でそれは少なくとも下の体がQ(exp(2πi/5))を含む場合でしょと突っ込み入れてました。
実際反礼があるのかと考えてみると中々ないのがわかります。
まずζ=exp(2πi/5), K=Q(ζ), f(x)をQ上の規約多項式で今はこれがK上でも規約まで仮定しておきます。
この上でLをK上の最小分解体, G=Gal(L/K)とし、これが可解とします。
最小性の仮定からGは唯一の極小正規部分群Nを持ち、それが5次巡回群までは自明なのでG/N=Qとおきます。
Qの位数は24の約数で可解なので、少し議論すると2群かまたは位数3の正規部分群を持ちます。
ここで後者とするとGが元々位数15の正規部分群を持ちますが、それはC3×C5しかあり得ず、そのシロー3群は特性部分群なので、Gが位数3の正規部分群を持つことになり、Lの最小性に反します。
以上によりG=N⋊Q、#Q=1,2,4,8まで来ます。
ここでQのNへの自然な作用が自明な元全体をKとすると#Kは4以下でKが非自明なら非自明なセンターを持ち、それはGのセンターになってしまうのでGの最小性に反します。
よってQはe,c2,c4,c2×c2です。
以上の議論を踏まえてQ上のある5次規約多項式がK上でも規約の場合、その最小分解体のガロア群は位数が80の約数で位数5の巡回群を唯一の正規部分群として持つ事が言えます。
さらに絞っていくと位数は5か20しかない事も言えます。
20の場合というのはあるa∈KでLがその最小分解体となるケースです。
この時x^5-N[L/K](a)はLで分解するのでこれがQで規約なら主張は成立です。
aはKの整数としてよく、それが整数環の非可逆元ならやはり容易です。
そうでない場合が残りケース。
実例を調べてみるとこの場合は必ずアーベル拡大になってしまいQ=eになるようです。
もっか調べ中。
誰かが本にそれっぽい事書いてたと言ってたので正しいのは正しいのでしょう。
現代数学の系譜 工学物理雑談 古典ガロア理論も読む77
レス数が950を超えています。1000を超えると書き込みができなくなります。
973132人目の素数さん
2019/10/18(金) 11:21:11.57ID:HOFZxgY0レス数が950を超えています。1000を超えると書き込みができなくなります。
ニュース
- 【サッカー】敗退危機・韓国が命拾い ウルグアイ敗戦で“3位集団”7番手キープ 「スペイン助けて」の願い届く… 上位8位争い大激戦 [冬月記者★]
- 【サッカー】森保監督、続投へ 三笘ら主力を欠く中、2大会連続の決勝T進出… 将来は海外挑戦視野も3大会連続12年の長期政権へ★2 [冬月記者★]
- 【サッカー】「韓国を脱落させようとしているのか」 日本代表のドローに韓国メディアが怒り爆発「突然無気力になった」★5 [jinjin★]
- 【EV】 BYDの「快進撃」はインチキだった… 隠れ負債7兆円超 サプライヤーへの代金支払いを先延ばし [お断り★]
- 『DOWNTOWN+』好調で松本人志の地上波復帰が先延ばしへ 出演したい芸人たちが行列 松本「死ぬほど金はある」 [ネギうどん★]
- 「とんかつ」値上げ [バイト歴50年★]
- 【地上波/DAZNほか】 FIFAワールドカップ2026 総合スレ★216【メキシコ/カナダ/アメリカ】
- 【地上波/DAZNほか】 FIFAワールドカップ2026 総合スレ★215【メキシコ/カナダ/アメリカ】
- 【地上波/DAZNほか】 FIFAワールドカップ2026 総合スレ★214【メキシコ/カナダ/アメリカ】
- 【MLB】パドレス vs ドジャース ★3
- 【3位通過争い専用】 FIFAワールドカップ2026 GL3位通過争い実況スレ
- 【3位通過争い専用】 FIFAワールドカップ2026 GL3位通過争い実況スレ★2
- 【実況】博衣こよりのえちえちファイアーエムブレム風花雪月🧪 Part4
- 高市総理、メイド・ベビーシッターの普及に税制支援 [237216734]
- 【実況】博衣こよりのえちえちファイアーエムブレム風花雪月🧪 Part3
- 高市早苗の経歴詐称決着!無罪!アメリカ人「日本人は恥ずかしいほど英語を理解してない、文書が高市の正しさを書いてるのに読めてない」 [117552482]
- イキり絵師にAIをふっかけると真っ赤になるから面白い
- カルロス←想像したもの