22/12/19 23:31:09.57 KRlSoN+A.net
クレレ誌：
URLﾘﾝｸ(ja.wikipedia.org)
クレレ誌はアカデミーの紀要ではない最初の主要な数学学術誌の一つである（Neuenschwander 1994, p. 1533）。ニールス・アーベル、ゲオルク・カントール、ゴットホルト・アイゼンシュタインらの研究を含む著名な論文を掲載してきた。
(引用終り)
そこで
現代の純粋・応用数学・数学隣接分野（含むガロア理論）スレとして
新スレを立てる（＾＾；
＜前スレ＞
純粋・応用数学・数学隣接分野（含むガロア理論）11
ｽﾚﾘﾝｸ(math板)
＜関連姉妹スレ＞
ガロア第一論文及びその関連の資料スレ
ｽﾚﾘﾝｸ(math板:1番)
箱入り無数目を語る部屋
Inter-universal geometry と ABC予想 (応援スレ) 68
ｽﾚﾘﾝｸ(math板:1番)
IUTを読むための用語集資料スレ2
ｽﾚﾘﾝｸ(math板:1番)
現代数学の系譜 カントル 超限集合論他 3
ｽﾚﾘﾝｸ(math板:1番)
＜過去スレの関連（含むガロア理論）＞
・現代数学の系譜 工学物理雑談 古典ガロア理論も読む84
ｽﾚﾘﾝｸ(math板:1番)
・現代数学の系譜 工学物理雑談 古典ガロア理論も読む83
ｽﾚﾘﾝｸ(math板:1番)
つづく
646:１３２人目の素数さん
23/01/11 06:30:15.86 rXBeetzH.net
>>641
>>F20⊃D10⊃C5⊃{e} （正規列）
>>Q⊂M⊂L⊂K
>>つまり
>>Gal(K/Q)=F20ならば
>>Gal(K/L)=C5 Gal(L/Q)=C4=F20/C5
>>となるようにできる
>>だからラグランジュの分解式が使えて可解
>これ、ガロアの第一論文読んでたら
>絶対に口にしない馬鹿発言だよ
馬鹿は1だろｗ
>”F20⊃D10⊃C5⊃{e} （正規列）”は、後講釈だよ
>かつ、ガロアは奇素数ｐ次の方程式がべき根で解ける条件として線型群を導いたんだ
なんかわけもわからず、線型群ガーとかイキりまくってるけど
x^5-2=0の、Q上のガロア群はF20だから
Gal(Q(η、2^(1/5))/Q)＝F20
でもηを1の5乗根とした場合
Gal(Q(η、2^(1/5))/Q(η))=C5
Gal(Q(η)/Q)=C4
>>644
>これは言ってることはID:M0jZf/Btが完全に正しい。
>1=雑談はガロア論文も表面的にしか読めてない。
>ガロア論文では確か「ガウス氏の方法」と書いてあったかな？
>これは要するに
>組成列の各（剰余）群が巡回群であるようにできる=群が可解群
>であれば、ガウスのDisq.Arith.の方法が適用できるということで、
>それはラグランジュ分解式による解法。
>1は問題意識を持って読んでないからそこを素通りしている。
ま、1は軽率だから
「ベキ根による拡大＝クンマー拡大」
としか記憶せず、それだけで「分かった！」といっちゃってる
ラグランジュ分解式は複雑（ｗ）すぎて記憶に残らない
サルのオツムは実に粗雑 それじゃ人間様の数学はわからんわｗ
647:１３２人目の素数さん
23/01/11 06:38:59.53 rXBeetzH.net
>>646の追加
>問題は、β^5 ∈ Fとなるかどうか？
>（書かれているが、F = Q(η) で、ηは1の虚数 5 乗根です）
>それは、ガロア群が巡回群のときには、β^5 ∈ Fが成り立つんだ
粗雑な1は、ただ「ガロア群が」というけど
Gal(K/L)=C5 なら、β^5 ∈ L と正確に書くべき
必要な情報（この場合L）を落とすから、1は勝手に混乱して、
LのところがQになっちゃう凡ミスするｗ
（ま、実際はミスじゃなくて根本的誤解ですがね）
まあ、そもそもGal(L/Q)が巡回群となる場合、
つまり円分拡大にあたるところが
1には全然わかってないですね
それでクンマー拡大？意味ないわぁ
648:１３２人目の素数さん
23/01/11 06:48:56.55 rXBeetzH.net
素数p次の方程式 x^p-2=0 のQ上のガロア群は、
CpとC(p-1)の「半直積」（直積に非ず！非可換群！）
で、２つの巡回置換で生成される
それが素数p次の場合のQ上のガロア群で最大のものとなる
というのが、ガロアの第一論文の定理