>>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を超えると書き込みができなくなります。
ニュース
- 【地震速報】山梨県で震度6弱 津波の心配なし★4 [ぐれ★]
- 【地震速報】山梨県で震度6弱 津波の心配なし★5 [ぐれ★]
- 【サッカー】「韓国を脱落させようとしているのか」 日本代表のドローに韓国メディアが怒り爆発「突然無気力になった」★2 [jinjin★]
- 【万博】大阪メトロが使用断念した中国製EVバス100台以上、産廃処理場へ「出発」 [少考さん★]
- 大地震 [KingFisherは魚じゃないよ★]
- 【外食】「焼肉きんぐ」の物語コーポ、女性バイトの低用量ピル全額補助 生理による体調に左右されず生産性高めるよう [ぐれ★]
- 2026 MotoGP Lap40【オランダGP】
- ハム専5
- 〓たかせん〓★2
- 【地上波/DAZNほか】 FIFAワールドカップ2026 総合スレ★201【メキシコ/カナダ/アメリカ】
- 競輪実況★1789
- とらせん ★2
- 信玄 富士山に近づく 高市🌋 [399259198]
- 【実況】さくらみことりおーなの栄冠ナイン2031🌸🎤
- NHKが大赤字で値上げ検討、6000億円も受信料取っといてなんでや? [605029151]
- とうふじさんが怒るお🏡
- 【高市朗報】天国の安倍さん「おおげさだよ」 [616817505]
- 【実況】さくらみことりおーなの栄冠ナイン2030🌸🎤