22/12/14 06:13:32.10 k8VlPTAV.net
壱 おそらく雑談 ◆yH25M02vWFhP 氏は、巡回について
「１／ｎ回転をｎ回繰り返せば１回転 これのみが巡回」
と思い込み、その理解に安住し切っていると思われる
考えることを嫌い、見たままで分かろうとする
サル🐒の典型的な本能といえばよいだろうか？
782:現代数学之陥穽 怪談
22/12/14 06:17:48.13 k8VlPTAV.net
>>726
弐 一方、素数ｐの円分多項式Φｐの根が、ｐ－１回
783:の操作で循環するのは 目でみただけではわからない なぜなら、操作が１／（ｐ－１）回転ではないからである 根をある角度としたとき、操作は角度のｎ倍になる （ｎは２以上ｐ－１以下だが、どんなものでもよいわけではない）
784:現代数学之陥穽 怪談
22/12/14 06:26:08.90 k8VlPTAV.net
>>727
参 例えばΦ5について考える
ある根について角度を２倍にする操作をmod 5で見ると
１→２→４→３（＝８）→１（＝１６）→･･･
たかだかｐ－１回で戻るのは、そもそも根がｐ－１個しかないからである
しかしｐは素数だから、ｐ＞＝５ならばｐ－１は合成数であり、
ｐ－１の約数で巡回する場合がある、例えば４倍だと以下の通り
１→４→１（＝１６）→･･･
つまり円分方程式の根の巡回は、整数論的現象なのである
しかし整数論には全く興味がない、と臆面もなく語るサル🐒には、
上記のいわずもがなの事柄すら全く意識されていない
だから、●●の一つ覚えのようにクンマー！クンマー！！と叫ぶのである
私はクマ🐻ではない
785:現代数学之陥穽 怪談
22/12/14 06:29:37.16 k8VlPTAV.net
＝９＾３
786:現代数学の系譜 雑談
22/12/14 08:27:52.99 h2KJkl9Z.net
>>723
(引用開始)
円分方程式の根は巾根だけを用いて表せるというと、そんなの当たり前じゃんといわれる。
どうして当たり前だと思うのかと聞くと、だって、1のｎ乗根は 1＾｛1／ｎ｝でしょ
だから円周ｎ分方程式の根は、1＾｛1／n}のｎ通りの値のうちの適切なものを
選べばすべて書けてるじゃないの、というのだ。ギャフン。
(引用終り)
その話面白いな
1）まず、スタートを1＾｛1／ｎ｝ではなく
オイラーの式 e^2Πi＝1からスタートすべき
2）つまり、話は複素数根の問題で
円周ｎ分方程式の根は
e^2Πi/n＝cos(2Πi/n)+i sin(2Πi/n)
と書ける
これが、問題の式だ
3）よって、三角関数の式 cos(2Πi/n)、 sin(2Πi/n)
この三角関数の1/ｎ公式が、べき根だけで解ける（可解性）か？
が問題になるってこと
4）これを、解決したのが、
偉大なるガウス先生ってことです
(参考)
URLﾘﾝｸ(mathlog.info)
日曜数学会発表資料「1の19乗根を求めてみた話」子葉
ガロア理論 投稿日：06月19日 最終更新日：07月13日 （2022年かな？）
（追加参考）
file:///C:/Users/seta/Downloads/%E6%96%B9%E7%A8%8B%E5%BC%8F%E3%81%AE%E6%A0%B9%E3%81%AE%E5%88%86%E5%B8%83%E3%81%AE%E7%A0%94%E7%A9%B6%E3%81%8A%E3%82%88%E3%81%B3%E3%81%9D%E3%82%8C%E3%81%AB%E5%9F%BA%E3%81%A5%E3%81%8F%E6%95%99%E6%9D%90%E7%A0%94%E7%A9%B6.pdf
修士学位論文
方程式の根の分布の研究およびそれに基づく教材研究
宮城教育大学大学院 教育学研究科 (修士課程)
教科教育専攻 数学教育専修
17020 中野渡 峻也
学位授与年度 平成30年度
787:現代数学の系譜 雑談
22/12/14 10:18:56.62 XvLBbeMm.net
下記が面白い
「今回の研究によって、虚数角速度を持つ仮想世界を経由することで、クォークとグルーオンの閉じ込め現象について、信頼性の高い摂動計算のできる高温側から、未解決問題となっている低温側へと相転移なくアクセスできる可能性が示され、閉じ込め機構の解明に向けてまったく新しい研究の可能性が開拓されたとする」
これ、望月IUTも同様のアナロジーかな
楕円曲線の評価がほしい
↓
望月IUT（圏論による仮想の楕円曲線ワールド）
↓
不定性を持つ評価式
↓
元の楕円曲線の評価（不定性を含む）
だろうね
（参考）
URLﾘﾝｸ(news.mynavi.jp)
東大、虚数角速度を用いてクォーク閉じ込め相に到達できることを発表
2022/12/12 マイナビニュ
788:ース QCDは大きな相互作用エネルギーに対して結合定数が小さくなる性質(漸近的自由)を持っており、高温極限や高密度極限では質量が消失したり閉じ込めが失われたりする相転移があることがわかっている。このような相転移に関しては相対論的原子核衝突実験によって相図が調べられており、QCD相図の様相が少しずつ理解されてきたという。 最近では、原子核が衝突中心軸から互いにずれて衝突するときには、1秒間に1022(100垓)回転という大きな角速度を持つ高温物質が生成されることが、観測粒子のスピン偏極測定によって確認されており、QCD相図に対する回転の効果が大きな関心を集めているという。 つづく
789:現代数学の系譜 雑談
22/12/14 10:19:28.54 XvLBbeMm.net
>>731
つづき
ところが、角速度を取り入れると「符号問題」という深刻な困難によって摂動計算に頼らない理論解析が複雑になってしまい、角速度の効果について複数のグループから矛盾する計算結果が報告されるなど、理解が不十分な状況となっていたとする。
原子核衝突実験で生成されるような高速回転した物質の性質を数値計算によって解き明かすためには、符号問題を回避するために一旦、角速度を虚数にした仮想世界を経由する必要があるという。たとえば、通常の世界では時間と空間は区別されているが、時間を虚数に取った仮想世界では虚数時間はあたかも空間の一部のように見なすことが可能だ。そこで研究チームは今回、虚数角速度が虚数時間と同じように空間の性質と見なせることを指摘し、十分な高温状態に対して信頼できる理論計算を実行することにしたとする。
これまで、高温高密度のクォーク・グルーオン物質から閉じ込めの性質を調べるには、相転移を超えないと閉じ込め相にアクセスできないことから、従来の摂動計算には限界があった。しかし今回の研究によって、虚数角速度を持つ仮想世界を経由することで、クォークとグルーオンの閉じ込め現象について、信頼性の高い摂動計算のできる高温側から、未解決問題となっている低温側へと相転移なくアクセスできる可能性が示され、閉じ込め機構の解明に向けてまったく新しい研究の可能性が開拓されたとする。
(引用終り)
以上
790:現代数学の系譜 雑談
22/12/14 10:33:16.87 XvLBbeMm.net
>>732 追加
>ところが、角速度を取り入れると「符号問題」という深刻な困難によって摂動計算に頼らない理論解析が複雑になってしまい、角速度の効果について複数のグループから矛盾する計算結果が報告されるなど、理解が不十分な状況となっていたとする。
「符号問題」ね
下記が参考になるだろう
（参考）
URLﾘﾝｸ(www.saiensu.co.jp)
サイエンス社
数理科学 2023年1月号 Ｎｏ.715
理論物理に立ちはだかる「符号問題」
克服を可能にする様々なアプローチ（12月15日発売予定）
立ち読み URLﾘﾝｸ(www.saiensu.co.jp)
内容詳細
物理学における様々な多体系の数値的研究においてモンテカルロ法は大きな成果を収めてきましたが，そこで現れる符号問題は素粒子，原子核，物性といった理論物理諸分野における重要な問題として知られています．しかしながら，符号問題の解決は理論の大きな進展にもつながると期待され，今日盛んに研究が進められています．本特集では，モンテカルロ法や符号問題の基本的な解説から，物理諸分野の研究に現れる符号問題とその解決への様々なアプローチを，最近の進展とともに紹介していきます．
＜特集構成＞
理論物理を覆う最後のベールは取り払えるか？／モンテカルロ計算と符号問題 ― 入門的記事．モンテカルロ法，符号問題とは何か，など／符号問題とレフシェッツ・シンブル法 ― Generalized thimble法，Tempered Lefschetz thimble法／有限密度QCDと符号問題／複素ランジュバン法と符号問題 ― ランジュバン方程式／超弦理論と符号問題 ― 時空創発と数値計算／符号問題という幻想 ― 量子もつれ／テンソルネットワークがつなぐ素粒子物理学と物性物理学 ― ハバード模型，高温超伝導など／量子力学的時間発展と符号問題 ― 経路積分法
(引用終り)
以上
791:現代数学の系譜 雑談
22/12/14 11:57:40.99 XvLBbeMm.net
>>722 追加
(引用開始)
4）a∈K で
aのｎ乗根を添加したときどうなるか？→巡回群：クンマー拡大
逆に、巡回群→ｎの約数のべき根拡大：クンマー理論
みたいな感じでないの？
5）なので再度問う
「cos(2π/11)のべき根を使った表現で
5乗根なしだと、（元の方程式が）5次式にならないのではないの？」
6）つまり、「5次式→位数5の巡回群→5乗根による拡大」 となるのでは？（クンマー理論から）
(引用終り)
１）ガロア理論の”あらすじ”が、理解できていないのでは？
２）下記のベレ出版 ガロア理論の頂を踏む 石井俊全の目次を見て
”あらすじ”を、再度確認してみて
下記の”巡回拡大からベキ根拡大へ”が、クンマー拡大の逆＝クンマー理論では？
(参考)>>698より
URLﾘﾝｸ(www.beret.co.jp)
ベレ出版 ガロア理論の頂を踏む 石井俊全 2013
URLﾘﾝｸ(www.beret.co.jp)
目次
⑩ 同型写像ではみ出ない････････････････････････････････････････････ 377
・ガロア拡大体
定理 5.28 （最小分解体の次数）=（ガロア群の位数）････ 377
定義 5.8 ?ガロア拡大････････････････････････････････････････････････ 380
定理 5.29 Q(α) がガロア拡大体になる条件･･･････････････381
6? 1のベキ根の作る体････････････････････････････････････････････････････ 453
・円分体とガロア群
定理 6.3 ?円分体のガロア群･ ････････････････････････････････････ 457
7 x a 0 n- = の作る拡大体･･･････････････････････････････････････････････ 463
・クンマー拡大
定理 6.4 ?ベキ根拡大から巡回拡大を作る････････････････ 467
8? 巡回拡大はx a 0 n- = で作れる･･･････････････････････････････････ 472
・巡回拡大からベキ根拡大へ
定理 6.5 ?巡回拡大からベキ根拡大を作る･････････････････ 473
定理 6.6 ?デデキントの補題･ ･･･････････････････････････････････ 476
定理 6.7 ?ベキ根拡大を作るベキ根の存在･････････････････478
(引用終り)
以上
792:１３２人目の素数さん
22/12/14 13:02:24.23 l+E2sX0c.net
>>731-733
話を逸らすためだけのコピペがつまらん
793:現代数学の系譜 雑談
22/12/14 13:19:32.04 XvLBbeMm.net
>>735
話はそらしていない
追及している
”5）なので再度問う
「cos(2π/11)のべき根を使った表現で
5乗根なしだと、（元の方程式が）5次式にならないのではないの？」
6）つまり、「5次式→位数5の巡回群→5乗根による拡大」 となるのでは？（クンマー理論から）”
あらすじの理解が間違っているよってこと
だから、確認の上
問いに答えろってことだ
794:１３２人目の素数さん
22/12/14 13:37:43.38 RBBQbce9.net
自分が分かってなかった&間違ってたのに
なぜかひとがそうだという話になってるのが雑談マジックｗ
795:１３２人目の素数さん
22/12/14 13:42:21.50 RBBQbce9.net
クンマークンマー言ってるけど、Q上の5次巡回方程式を解くのに
一旦Q(ζ_5)を経由してクンマー拡大すると
一般的にそれはQ上非アーベル拡大になることは理解してますかね？
してないでしょうね。
非アーベルにならずに、アーベルのまま=円分体の中で解けるのが
>>695のレアケース。
796:１３２人目の素数さん
22/12/14 14:55:00.13 t5zOZSgr.net
>>738
なるほど 既約5次方程式で
可解かつガロア群がアーベル群となるＱ上の拡大は、
ガロア群が位数5の巡回群となる場合だけですね
797:現代数学の系譜 雑談
22/12/14 18:09:23.03 XvLBbeMm.net
>>738
論点ずらしｗ
>>736より
”5）なので再度問う
「cos(2π/11)のべき根を使った表現で
5乗根なしだと、（元の方程式が）5次式にならないのではないの？」
6）つまり、「5次式→位数5の巡回群→5乗根による拡大」 となるのでは？（クンマー理論から）”
話を逸らすのは
どっちｗｗ
798:１３２人目の素数さん
22/12/14 18:30:35.91 ErXuzl8J.net
>>740
頭悪いね
799:１３２人目の素数さん
22/12/14 18:35:05.60 ErXuzl8J.net
>cos(2π/11)のべき根を使った表現で
>5乗根なしだと、（元の方程式が）5次式にならないのではないの？
何言ってるのか意味不明。
元の方程式=「cos(2π/11)がQ上みたす既約方程式」は
一意に決まっている。
いいですか？ 解法があって元の方程式があるんじゃない
元の方程式があって、それに対して解法がある。
>つまり、「5次式→位数5の巡回群→5乗根による拡大」 となるのでは？（クンマー理論から）
この図式も意味不明。
5次式「ならば」位数5の巡回群 だと言うなら明確な誤り。
位数5の巡回群「ならば」5乗根による拡大 だというのも誤り。
5乗根による拡大体は、元の方程式をべき根で解く際にあらわれる
元の方程式の分解体よりも大きな体。
1=雑談 が理解してないだけ。
800:現代数学之陥穽 怪談
22/12/14 20:01:23.85 k8VlPTAV.net
>>723
＞その話面白いな
理解できないとき誤魔化す為に面白いと嘘をつく
＞まず、スタートを 1^{1/n} ではなくオイラーの式 e^2πi＝1からスタートすべき
＞つまり、話は複素数根の問題で、円周ｎ分方程式の根は
＞ e^2πi/n＝cos(2πi/n)+i sin(2πi/n)
＞と書ける これが、問題の式だ
＞よって、三角関数の式
＞ cos(2πi/n)、 sin(2πi/n)
＞この三角関数の1/n公式が、べき根だけで解ける（可解性）か？が問題になるってこと
＞これを、解決したのが、偉大なるガウス先生ってことです
壱 別にe^2πi要らない
弐 単に円周ｎ分方程式の根を実部と虚部に分けるだけ
参 実部と虚部それぞれがベキ根を用いた式で表せるが問題
肆 その問題、ラグランジュの分解式(リゾルベント)で解けるけど
そのとき、解の巡回関数が何になるか、雑談君、分かっとるかな？
(参考)
1 の n 乗根の巾根表示
URLﾘﾝｸ(www1.kcn.ne.jp)
上記pdfのp4～5
「Gal(K/Q)＝Z/5Zの生成元として
σ:ζ+(1/ζ)→ζ^2+(1/ζ^2)」
「α0=α=ζ＋(1/ζ)
α1=σ(α)=ζ^2+(1/ζ^2)
α2=σ^2(α)=ζ^4+(1/ζ^4)
α3=σ^3(α)=ζ^3+(1/ζ^3)
α4=σ^4(α)=ζ^5+(1/ζ^5)」
※正確には
α3=σ^3(α)=ζ^-3+(1/ζ^-3)=ζ^3+(1/ζ^3) (8=-3 (mod11))
α4=σ^4(α)=ζ^5+(1/ζ^5) (16=5 (mod11))
雑談君、上記の意味、全然分かっとらんだろ
801:現代数学之陥穽 怪談
22/12/14 20:08:30.88 k8VlPTAV.net
>>734
＞ガロア理論の”あらすじ”が、理解できていないのでは？
＞ベレ出版 ガロア理論の頂を踏む 石井俊全の目次を見て
＞”あらすじ”を、再度確認してみて
＞下記の”巡回拡大からベキ根拡大へ”が、
＞クンマー拡大の逆＝クンマー理論では？
全く的外れ
雑談君こそ
ベレ出版 ガロア理論の頂を踏む 石井俊全
の以下を読むべし
一度も読んどらんだろ
第6章 「根号で表す」
1 1のn乗根をベキ根で表す･･･････････････････････････････････････････････････････････412
実はp418に出てくる式がラグランジュの分解式
ただし巡回関数がp474と違っている
ここがわかっとらんから雑談君はクソ💩壺に落ちた
あと、>>743を読むべし
雑談君が分かっとらん巡回関数を
ピンポイントで指摘したぞ
読むべし！読むべし！！読むべし！！！
802:現代数学之陥穽 怪談
22/12/14 20:20:06.33 k8VlPTAV.net
>>742
＞意味不明
思うに、雑談君はラグランジュの分解式の要である巡回関数が分かってない
クンマー拡大！としか言わず、円分拡大について決して語らないのも
円分拡大の巡回操作が全く分かってないから
それじゃ「（有限）拡大は全て単拡大」とか
「５次以上の交代群は単純群であって可解でない」とか
わかってもぜんぜんつまらん
（別にアルティンやガロアやルフィニにケンカ売ってるわけではない）
円分拡大こそ面白さの核心 円分拡大万歳！！！
803:現代数学之陥穽 怪談
22/12/14 20:24:13.14 k8VlPTAV.net
雑談 ◆yH25M02vWFhP 君↓
∩＿＿＿∩
| ノ ヽ
/ ● ● | クンマ─！！
| ( _●_) ミ
彡､ |∪| ､｀＼
/ ＿＿ ヽノ /´> )
(＿＿＿） / (_／
| /
| ／＼ ＼
| / ) )
∪ （ ＼
＼＿)
804:現代数学之陥穽 怪談
22/12/14 20:26:01.00 k8VlPTAV.net
雑談 ◆yH25M02vWFhP 君↓
＼ ∩─ｰ､ ====
＼／ ● ､_ ｀ヽ ======
/ ＼( ● ● |つ
| X_入__ノ ミ そんな餌で俺様が釣られクンマ―
､ (＿／ ノ /⌒l
/＼＿＿＿ノﾞ＿/ / =====
〈 ＿_ノ ====
＼ ＼＿ ＼
＼＿__） ＼ ====== (´⌒
＼ ＿＿_ ＼＿＿ (´⌒;;(´⌒;;
＼＿＿＿）＿＿＿）(´;;⌒ (´⌒;; ズザザザ
805:現代数学之陥穽 怪談
22/12/14 20:40:24.63 k8VlPTAV.net
一方 今週の私
人__人__人__人__人__人__人__人__人__人__人
Σ て
Σ びっくりするほどラグランジュ！ て人__人_
Σ びっくりするほどラグランジュ！ て
⌒Ｙ⌒Ｙ⌒Ｙ) て
Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒
＿_＿＿＿＿＿
＿＿ ヽ(゜∀゜）ノ
＼＿〃´￣￣ ヽ..ヘ( )ミ
＼,.-～´￣￣ ω > （∀゜ ）ノ
＼∫＼ _,. - 、_,. - 、 ＼ ( ヘ)
＼ ＼＿＿＿＿＿＿ _＼<
＼ ￣￣￣￣￣￣￣
＼＿＿＿＿＿＿＿
806:現代数学の系譜 雑談
22/12/14 23:28:57.59 h2KJkl9Z.net
>>740 追加
> >>736より
>”5）なので再度問う
> 「cos(2π/11)のべき根を使った表現で
> 5乗根なしだと、（元の方程式が）5次式にならないのではないの？」
> 6）つまり、「5次式→位数5の巡回群→5乗根による拡大」 となるのでは？（クンマー理論から）”
これで
>>626より再録
(引用開始)
mathworld のページ
URLﾘﾝｸ(mathworld.wolfram.com) …
を見ていましたら，mathematica で
FunctionExpand[Sin[2π/11]]
�
807:ﾈどとやると，sin(2π/11) の具体的表式が出てくることがわかりました． おい，かんべんしてくれよ，というような式です． 複素数の 3/5 乗などあって気持ちの悪い表式ですが， 共役な項などあるのでもっと簡単にはなりそうです． N で近似値を出させると，ちゃんと虚部はゼロ(精度範囲で)になり， sin(2π/11)の値が出てきます． (引用終り) ここで 1）sin(2π/11) の具体的表式 mathematica FunctionExpand[Sin[2π/11]] 「複素数の 3/5 乗などあって」とあるから、5乗根を使っています 2）cos(2π/11) = √(1-{sin(2π/11)}^2) （高校数学レベル） と書ける sin(2π/11) の具体的表式が、複素数の 3/5 乗を含むならば √(1-{sin(2π/11)}^2) は、複素数の 3/5 乗を含む ∵sin(2π/11)を二乗して1との差の√（＝開平）をしただけだから 3）多分、mathematica で 直接 FunctionExpand[Cos[2π/11]]とやれば、良いのだろうが 残念ながら、私は mathematicaを持っていないので、だれかやってみて 違ったら、書いてください（当然、違わないだろうがｗ） 4）これで、cos(2π/11)が、べき根の表式で ”5乗根を使っている”という話は 決着でいいよね！ｗ (参考) https://mathworld.wolfram.com/TrigonometryAngles.html Trigonometry Angles https://mathworld.wolfram.com/TrigonometryAnglesπ11.html Trigonometry Angles--π/11 The trigonometric functions of π/11 can be given explicitly as the polynomial roots cos(π/11) = (32x^5-16x^4-32x^3+12x^2+6x-1)_5 (4) (引用終り) 以上
808:１３２人目の素数さん
22/12/15 03:35:48.03 j/qjOTBM.net
ギャフンといわずに、あたりまえだのクラッカーという学生に、
君の理解は間違って居るぞと、根拠をもって説得・洗脳するには
如何に論を説くべきや？ということだ。単に教科書の丸写しを
黒板に書いて教えているというだけならそれは理解したかのように
演じている役者でしかないのかもしれない。
オンラインでオンデマンド講義をするには、見た目の良い俳優を
遣う方が、学習効果が上がるというようなことになったら、大変だ
ろうが、案外それは正しいのかもしれないわけです。少なくとも
客が呼べるからね。
809:現代数学之陥穽 怪談
22/12/15 06:48:50.90 eN8xOiy4.net
>>749
(無意味に三角関数書いてるところを全部書き換え)
>（1の11乗根の実部の）具体的表式
>「･･･」とあるから、5乗根を使っています
「「･･･」とあるから」と
全く考えなしに他人の言葉を丸写しせずに
理解した上で自分の言葉で書くべし
>c_11を1の11乗根の実部、s_11を虚部として
>c_11^2 = 1-s_11^2 （高校数学レベル）
>と書ける
ほら、高校数学なら
他人の言葉の丸写しじゃなく
自分の言葉で書けるだろ
大学数学でも全く同様にやるべし
それが数学を理解する、ということ
>s_11 の具体的表式が、複素数の 3/5 乗を含むならば
>√(1-s_11^2) は、複素数の 3/5 乗を含む
>∵s_11を二乗して1との差の√（＝開平）をしただけだから
>これで、c_11が、
>べき根の表式で”5乗根を使っている”
>という話は決着でいいよね！ｗ
というか、そもそもs_11を経由する必要ない
c_11に対して、例えば”2倍角の公式”2c^2-1を5回適用したら元に戻る
2^5=32=3*11-1=-1(mod 11)
(c_11+s_11*i)^(-1)=c_11-s_11
で、実部に関しては等しいから
このことから、
ラグランジュの分解式を用いれば
5乗根を用いた式が直接導ける
やってみるべし！
しかしそのことは
「c11を根とする5次方程式の分解体が
1の5乗根や、分解式に現れる5乗根を
要素として含む」
ことを全く意味しない
（実際含まれない）
P.S.
>多分、mathematica で 直接 FunctionExpand[Cos[2π/11]]とやれば、良いのだろうが
>残念ながら、私は mathematicaを持っていないので、だれかやってみて
>違ったら、書いてください（当然、違わないだろうがｗ）
バカチョンで数式処理使っても利口にはなれんよ
810:現代数学之陥穽 怪談
22/12/15 06:55:48.86 eN8xOiy4.net
さて、
グロタンディクを２０世紀のガロアと考えたとき
２０世紀のガウスにあたるのは誰なんだろうか？
811:現代数学之陥穽 怪談
22/12/15 07:07:47.68 eN8xOiy4.net
リゾルベントという言葉は、数学の各分野で使われてるので注意が必要
方程式論のリゾルベント
論理学のリゾルベント
線型作用素のリゾルベント
は、それぞれ異なる
812:現代数学の系譜 雑談
22/12/15 08:04:42.47 hn13nMmQ.net
>>749 追加
URLﾘﾝｸ(mathworld.wolfram.com)
Trigonometry Angles--π/11
（抜粋）
Letting alpha=pi/11 and x=sin^2alpha then gives
sinπ=0=11-220x+1232x^2-2816x^3+2816x^4-1024x^5. (3)
But this quintic equation has a cyclic Galois group, and so x, and hence sin(π/11), can be expressed in terms of radicals (of complex numbers). The explicit expression is quite complicated, but can be generated in the Wolfram Language using Developer`TrigToRadicals[Sin[π/11]].
cos(π/11) = (32x^5-16x^4-32x^3+12x^2+6x-1)_5 (4)
(引用終り)
ここに、
”But this quintic equation has a cyclic Galois group, and so x, and hence sin(π/11), can be expressed in terms of radicals (of complex numbers).”
と明記されているね
ならば、関数cosも同じだ
（cos^2 Θ + sin^2 Θ ＝1 で
cos Θ ＝√(1-sin^2 Θ) なので）
あと、
cos(π/11) = (32x^5-16x^4-32x^3+12x^2+6x-1)_5 (4)
↓
cos(2π/11) = (32x^5-16x^4-32x^3+12x^2+6x-1)_5 (4)
だな
そうでないと、次数が合わない
あと、>>660 より
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
chiebukuro.yahoo
32x^5+16x^4-32x^3-12x^2+6x+1=0
の実数解を求めてください。
この問題も
Π[k=1,5]{x-cos(2kπ/11)}
を展開して32をかけた物であることから解は
cos(2kπ/11)
k=1,2,3,4,5
であると思います。
(引用終り)
これで、
cos(π/11) = (32x^5-16x^4-32x^3+12x^2+6x-1)_5 (4)
vs
32x^5+16x^4-32x^3-12x^2+6x+1=0
で微妙にプラスマイナスが異なる
どちらかが、間違っているかも
（手計算で確認できるかな）
813:現代数学の系譜 雑談
22/12/15 08:12:55.29 hn13nMmQ.net
>>750
>ギャフンといわずに、あたりまえだのクラッカーという学生に、
ありがとう
「昭和を代表するあの名フレーズ、今も健在 そんなの、あたりまえだ」
URLﾘﾝｸ(www.asahi.com)
昭和を代表するあの名フレーズ、今も健在 そんなの、あたりまえだ
渡義人2022年12月8日 15時00分
まだまだ勝手に関西遺産
百貨店の大阪銘菓コーナーで初めて見かけたとき、思わず二度見してしまった。
「あたり前田のクラッカー」
昭和を代表する名フレーズだと思っていたが、まさか実在したとは。赤いパッケージの真ん中に、そのままの商品名がしっかりと記されている。
「会社の名前より、はるかに認知されている言葉です」
製造している前田製菓（堺市）の前田堅一朗専務（41）は笑う。
当初は大阪近郊だけで売られていたが、一躍全国で知られるようになったのは、同社がスポンサーになったテレビ番組「てなもんや三度笠」の影響だ。
笠を手にした渡世人「あんかけの時次郎」（藤田まこと）と小坊主「珍念」（白木みのる）が、全国を旅する時代劇コメディー。朝日放送（大阪市）の制作で、62～68年の日曜夕方に全国放映された。
記事後半では、あの〝前田さん〟にもひとこと、うかがいました。
814:１３２人目の素数さん
22/12/15 09:23:00.10 rFv
815:liE9e.net
816:１３２人目の素数さん
22/12/15 09:52:40.23 eIChDb+1.net
>>754
>32x^5-16x^4-32x^3+12x^2+6x-1=0 (cos(π/11))
> vs
>32x^5+16x^4-32x^3-12x^2+6x+1=0 (cos(2π/11))
>で微妙にプラスマイナスが異なる
>どちらかが、間違っているかも
どっちも正しいよ
計算しなくても分かる
あんた、三角関数も分かってないねぇ
817:１３２人目の素数さん
22/12/15 10:05:35.54 eIChDb+1.net
訂正
>>754
>32x^5-16x^4-32x^3+12x^2+6x-1=0 (cos(π/11))
> vs
>32x^5+16x^4-32x^3-12x^2+6x+1=0 (cos(10π/11))
>で微妙にプラスマイナスが異なる
>どちらかが、間違っているかも
どっちも正しいよ
計算しなくても分かる
あんた、三角関数も分かってないねぇ
818:現代数学の系譜 雑談
22/12/15 10:47:20.82 YwputiFG.net
>>756-758
ありがとうございます
スレ主です
>要約するとcos(10π/11)=-cos(π/11)がわからない
なるほどね
cos(π/11)は、円周等分で、
cos(2π/22)で、22等分を考えることになるけど
虚数軸で折り返す（鏡映）対称になっているってことですね
（cos(2π/11)の11等分では、x=1に対応する点が、鏡映では存在しないが、22等分では存在していて全体としても鏡映対称だと）
>>で微妙にプラスマイナスが異なる
>>どちらかが、間違っているかも
> どっちも正しいよ
> 計算しなくても分かる
> あんた、三角関数も分かってないねぇ
同意
まだ、(正確には)ピンと来てないけどｗ
上記のcos(2π/22)で、22等分の円周等分を考えて
虚数軸で折り返す（鏡映）対称を使うと
"微妙にプラスマイナスが異なる"が、説明できるかも
なかなか鋭いツッコミですね
ありがとうございます
819:現代数学の系譜 雑談
22/12/15 11:06:56.94 YwputiFG.net
>>759 追加
自己レス
下記のCyclotomic polynomial
Φ22＝x^10 -x^9 +x^8 -x^7 +x^6 -x^5 +x^4 -x^3 +x^2 -x +1
が、既約ではなく可約で、
>>758の二つの式に因数分解できる？
確認してないけど
そうかも・・
（参考）
URLﾘﾝｸ(en.wikipedia.org)
Cyclotomic polynomial
Φ22＝x^10 -x^9 +x^8 -x^7 +x^6 -x^5 +x^4 -x^3 +x^2 -x +1
820:１３２人目の素数さん
22/12/15 11:27:05.10 rFvliE9e.net
既約であることも>>758との関係も分かってないってすごいね
821:１３２人目の素数さん
22/12/15 12:17:42.47 IFvk9atl.net
>>760
>Cyclotomic polynomial
>Φ22＝x^10 -x^9 +x^8 -x^7 +x^6 -x^5 +x^4 -x^3 +x^2 -x +1
>が、既約ではなく可約で、
> >>758の二つの式に因数分解できる？
>確認してないけど
ここ、笑うとこ？
どうせなら、素数pの場合のΦpとΦ2p、見比べてなんか気付けよw
822:１３２人目の素数さん
22/12/15 12:44:51.02 UwjoSSML.net
多項式の規約判定方法も知らんの？
ほんとにガロア理論スレ？
823:１３２人目の素数さん
22/12/15 13:01:16.62 IFvk9atl.net
>>763
1は何も知らんよ
824:１３２人目の素数さん
22/12/15 14:26:03.02 VHHzYaPG.net
>>752
アティヤとその子供たちが芽吹くったのもあるし
日本の佐藤スクールよりも広い意味で化石文系が
825:現代数学の系譜 雑談
22/12/15 16:29:54.16 YwputiFG.net
>>759-760 大訂正
大外しでした
もとい
１）22等分の円周等分を考えて、x^22-1＝0
ここで、自明な根が、二つx=1,i
２）従って、x^22-1＝(x-1)(x-i)g(x)
と因数分解できる
g(x)は20次の（相反の）多項式
３）そして、多分
g(x)=g1(x)・g2(x)
と因数分解できる？
g1(x),g2(x)とも10次の（相反の）多項式
４）(x-1)g1(x)の式で、g1(x)からcos(2π/11）が出る
t=x+1/x を使って、10次の（相反の）多項式を5次に落とせる
５）(x-i)g2(x)の式で、g2(x)からcos(π/11）が出る
上記同様に、t=x+1/x を使って、10次の（相反の）多項式を5次に落とせる
６）上記４）の場合が、cos(2π/11） 32x^5+16x^4-32x^3-12x^2+6x+1=0 >>754
上記５）の場合が、"cos(π/11) = (32x^5-16x^4-32x^3+12x^2+6x-1)_5 (4)" >>754
となるのかな？
（あらすじだけで、未検証ですが・・）
>>761-765
ありがとうございます。
みんな、鋭いツッコミですね
826:１３２人目の素数さん
22/12/15 16:45:09.20 rFvliE9e.net
iだけが解になる違和感
827:現代数学之陥穽 怪談
22/12/15 19:54:55.83 eN8xOiy4.net
>>766
>22等分の円周等分を考えて、x^22-1＝0
>ここで、自明な根が、二つx=1,i
壱 iは根ではない i^22=i^2=-1 -1-1=-2
>従って、
>x^22-1＝(x-1)(x-i)g(x)
>と因数分解できる
>g(x)は20次の（相反の）多項式
弐 正しくは-1が根である
したがって
x^22-1=(x-1)(x+1)g(x)
なお、x+1はΦ2
828: >そして、多分 >g(x)=g1(x)・g2(x) >と因数分解できる？ >g1(x),g2(x)とも10次の（相反の）多項式 参 多分ではなく確実に g(x)=Φ11(x)Φ22(x) Φ11(x)=Σ(i=0～10)x^i Φ22(x)=Σ(i=0～10)((-1)^(10-i))x^i >g1(x)からcos(2π/11) が出る >t=x+1/x を使って、10次の（相反の）多項式を5次に落とせる >g2(x)からcos( π/11) が出る >t=x+1/x を使って、10次の（相反の）多項式を5次に落とせる 肆 正確には 2t=x+1/x >上の場合が、cos(2π/11）= 32x^5+16x^4-32x^3-12x^2+6x+1=0 >下の場合が、cos( π/11) = 32x^5-16x^4-32x^3+12x^2+6x-1=0 >となるのかな？ 伍 なんだ貴様自分で計算してないのか？この🐎🦌モンが！ 数学板に書き込みたいなら、まず自分で計算せい！ なお、正確にいえば 上の式の根は cos(2π/11),cos(4π/11),cos(6π/11),cos(8π/11),cos(10π/11) 下の式の根は cos( π/11),cos(3π/11),cos(5π/11),cos(7π/11),cos( 9π/11) で cos( 2π/11) = -cos(9π/11) cos( 4π/11) = -cos(7π/11) cos( 6π/11) = -cos(5π/11) cos( 8π/11) = -cos(3π/11) cos(10π/11) = -cos( π/11)
829:現代数学の系譜 雑談
22/12/15 20:42:08.46 hn13nMmQ.net
>>767-768
スマン
ご指摘ありがとう
その指摘は正しい
よって、>>766を書き直し下記
１）22等分の円周等分を考えて、x^22-1＝0
ここで、自明な根が、二つx=1,-1
２）従って、x^22-1＝(x-1)(x+1)g(x)
と因数分解できる
g(x)は20次の（相反の）多項式
３）そして、多分
g(x)=g1(x)・g2(x)
と因数分解できる？
g1(x),g2(x)とも10次の（相反の）多項式
４）(x-1)g1(x)の式で、g1(x)からcos(2π/11）が出る
t=x+1/x を使って、10次の（相反の）多項式を5次に落とせる
５）(x+1)g2(x)の式で、g2(x)からcos(π/11）が出る
上記同様に、t=x+1/x を使って、10次の（相反の）多項式を5次に落とせる
６）上記４）の場合が、cos(2π/11） 32x^5+16x^4-32x^3-12x^2+6x+1=0 >>754
上記５）の場合が、"cos(π/11) = (32x^5-16x^4-32x^3+12x^2+6x-1)_5 (4)" >>754
となるのかな？
上記で大丈夫かな？
頭の中に画を描いたら、間違ってた
頭悪いな、おれってｗ
（iが出てきたときに、なんかヘンと思わないとね。バカだね）
830:現代数学の系譜 雑談
22/12/15 20:47:16.34 hn13nMmQ.net
>>768
>肆 正確には 2t=x+1/x
ありがとう
そこ
2t=x+1/xと
t=x+1/xと
両方ありだろう
どちらの式が、
あとの式の係数の計算が楽になるか
だけだろう
831:現代数学の系譜 雑談
22/12/15 21:15:03.86 hn13nMmQ.net
>>749
> >>736より
>”5）なので再度問う
> 「cos(2π/11)のべき根を使った表現で
> 5乗根なしだと、（元の方程式が）5次式にならないのではないの？」
> 6）つまり、「5次式→位数5の巡回群→5乗根による拡大」 となるのでは？（クンマー理論から）”
戻るよ
１）(参考)>>698より
URLﾘﾝｸ(www.beret.co.jp)
ベレ出版 ガロア理論の頂を踏む 石井俊全 2013
URLﾘﾝｸ(www.beret.co.jp)
目次
9 ピークの定理に立とう！････････････････････････････････････････････････････････････ 480
・ベキ根で解ける方程式の条件
ピークの定理 ････････････････････････････････････････････････････････････480
定理 6.8 可解群のとき解はベキ根で表される･･････････480
定理 6.9 累ベキ根拡大体のガロア閉包････････････････････ 481
定理 6.10 解がベキ根で表されるときは可解群････････486
２）ここで、定理 6.9 累ベキ根拡大体のガロア閉包（これ多分クンマー理論相当だろう）
「αがベキ根で表されているとき、
E/Qが累巡回拡大かつガロア拡大
となるαを含むQの拡大体Eが存在する」
この部分は、証明というより
説明と解説になっているが
分かり易いよ
要するに、5乗根がなければ、群の位数に5の因子が入らないと思うよ
３）そして、定理6.10のすぐまえに
拡大体Eについて、作り方のポイントは
１．予め十分な1のｎ乗根を仕込んでおく
２．途中、Ｋの元αに対して、α^1/n だけでなく
略
α^1/n,{σ2(α)}^1/n,・・・,{σn(α)}^1/n も一緒に加える
と説明している
４）なので、繰り返すが
石井本をちゃんと読めば
ガロア群が位数5の群（5は素数なので巡回群だ）であるとき
5乗根によるクンマー拡大を持つ
もちろん、”予め十分な1のｎ乗根を仕込んでおく”前提
以上まあ、石井本をちゃんと読んでねってことかね
（どのガロア本でも、似たことは書いてあるけどね）
832:現代数学之陥穽 怪談
22/12/15 21:17:27.96 eN8xOiy4.net
>>770
>そこ
>2t=x+1/xと
>t=x+1/xと
>両方ありだろう
「両方とも、方程式のガロア群が巡回群になる」という意味なら正しいが
「どっちでも、同じ方程式になる」という意味なら誤り
粗雑な言葉遣いは誤りを産む 即刻正せ
833:現代数学之陥穽 怪談
22/12/15 21:42:15.19 eN8xOiy4.net
>>771
＞(参考)
＞URLﾘﾝｸ(www.beret.co.jp)
＞ベレ出版 ガロア理論の頂を踏む 石井俊全 2013
＞URLﾘﾝｸ(www.beret.co.jp)
読むなら、>>744で指摘した通り、以下の箇所
第6章 「根号で表す」
1 1のn乗根をベキ根で表す･･･････････････････････････････････････････････････････････412
＞定理 6.9 累ベキ根拡大体のガロア閉包（これ多分クンマー理論相当だろう）
＞（中略）
＞要するに、5乗根がなければ、群の位数に5の因子が入らないと思うよ
「･･･と思うよ」が間違ってる
クンマーは一旦、完全に忘れろ
p420で、ベキ根が現れるが、これはラグランジュのリゾルベントによるもの
実は第6章の1では、リゾルベントだといってないが、
出てくる式がリゾルベントそのものである
＞そして、定理6.10のすぐまえに
＞拡大体Eについて、作り方のポイントは
＞１．予め十分な1のｎ乗根を仕込んでおく
＞２．途中、Ｋの元αに対して、α^1/n だけでなく
＞
834: α^1/n,{σ2(α)}^1/n,・・・,{σn(α)}^1/n も一緒に加える ＞と説明している 「クンマー拡大でないとベキ根が出てこない」というのは誤った思い込み 円分拡大でもベキ根が出てくるから ＞繰り返すが ＞石井本をちゃんと読めば ＞ガロア群が位数5の群（5は素数なので巡回群だ）であるとき ＞5乗根によるクンマー拡大を持つ ＞もちろん、”予め十分な1のｎ乗根を仕込んでおく”前提 「Qの拡大でガロア群が位数5の群の場合」 はクンマー拡大ではない ＞以上まあ、石井本をちゃんと読んでねってことかね おぬしはなぜ第6章の1を全く読まないのか？ 読んでいないだろう 読んで理解していたら そんな誤りは決してしないからな
835:現代数学之陥穽 怪談
22/12/15 21:57:29.62 eN8xOiy4.net
解を表す式の中に５乗根が現れるからといって
最小分解体の中に５乗根が含まれるわけではない
１のベキ根をζとしたとき Q(ζ+(1/ζ))の中にはζは含まれない
なぜならζ+(1/ζ)は実数だから
Q(ζ+(1/ζ))は、Q(ζ)の部分体ではあるが、Q(ζ)そのものではない
836:現代数学之陥穽 怪談
22/12/15 22:25:50.04 eN8xOiy4.net
>>773
＞クンマーは一旦、完全に忘れろ
とはいえ、ラグランジュのリゾルベントは１のベキ根を導入してるから
「Q上で考えてないじゃん、円分拡大してんじゃん」と言われても仕方ないし
「ベキ根とってんじゃん、実質クンマー拡大じゃん」と言われても仕方ないが
ただ、円分拡大体の巡回拡大を、Qの巡回拡大に「縮小」できる場合は、
最初っから円分拡大の枠内で考えたほうがいいんじゃね？というのはある
837:１３２人目の素数さん
22/12/16 00:48:57.23 xj8WWQAR.net
リー群で二重被覆表現（スピン）が出てくることがあるけれども、
代数函数のリーマン面のように、三重被覆とか四重被覆とか
五重被覆が出てこない理由をだれか簡単に説明してもらえないだろうか？
838:現代数学之陥穽 怪談
22/12/16 05:21:58.70 qsccuf5Z.net
いかん、全てわかってしまった・・・
ガロアはｎ次方程式f(x)=(x-θ_[0])･･･(x-θ_[n-1])を
c0θ_[0]+･･･+c1θ_[n-1]と、根θ[i]の置換で得られる
ｎ！個の数σ[ｊ]を根とする方程式
g(X)=(X-σ[0])･･･(X-σ[n!-1])
に蹴り上げた（g(X)が既約ならガロア群はn次対称群だろう）
一方、根θ[i]が巡回置換するなら、ラグランジュの分解式
θ_[0]+ζθ[1]+･･･+ζ^(n-1)θ_[n-1]とその巡回置換
ζ^i(θ_[0]+ζθ[1]+･･･+ζ^(n-1)θ_[n-1])を根とする方程式は
X^n-(θ_[0]+ζθ[1]+･･･+ζ^(n-1)θ_[n-1])^n=0となりベキ根で解ける、
そして、各θ[i]は、そのベキ根を使って表せる
だから対称群Snに対して、剰余群が巡回群となるような
正規部分群をとり続けることで、単位群まで縮小できれば
元の方程式が、ベキ根を解くことで根を求められる筈
実際３次も４次もそうやって解けた
しかし！５次以上では交代群Anが、自分と単位群以外の
正規部分群を持たないからその戦略が破綻する！！！
839:現代数学の系譜 雑談
22/12/16 08:26:46.60 5lN5KQGq.net
>>776
無理
多分5ｃｈでは無理
おしえてgooか、yahoo知恵袋へ投稿が良いんじゃね？
投稿したらおしえて下さい。
840:現代数学の系譜 雑談
22/12/16 08:32:37.02 5lN5KQGq.net
>>777
そうだろｗ
1）円分拡大とクンマー拡大とは矛盾しない
2）というか、クンマー拡大は円分拡大を包含している（a＝1がクンマー拡大中で円分拡大になる）
3）ガロア群の位数5と、クンマー拡大の次元5は関連している。これは既約方程式で5次であることとも関連している
4）円分拡大とクンマー拡大と全部合わせて、ガロア理論
このあらすじが、分かってないね
841:１３２人目の素数さん
22/12/16 09:57:00.48 2jW05cQt.net
>クンマー拡大は円分拡大を包含している（a＝1がクンマー拡大中で円分拡大になる）
だから、その理解が間違っている。クンマー拡大と円分拡大ではガロア群の作用の仕方が違う。
「円分拡大=クンマー拡大K=k(a^{1/n})のa=1のとき」ではない！
>ガロア群の位数5と、クンマー拡大の次元5は関連している。これは既約方程式で5次であることとも関連している
出た！
842:数学ワカランチンがよく言うワード「関連している」ｗ だからさ、数学は「連想ゲーム」じゃないんだよ。 「関連している」なら誰でも言えるが、数学ワカランチンが言う場合は 「何も分かってない」ときのフラグである場合が多い。 >このあらすじが、分かってないね 「あらすじ」で数学を理解しているつもりの結果が 「ガロア理論を10年勉強してモノにならなかった」という現実。
843:現代数学の系譜 雑談
22/12/16 12:16:15.91 Bc1n6x8o.net
>>780
>だから、その理解が間違っている。クンマー拡大と円分拡大ではガロア群の作用の仕方が違う。
話が上滑りだよ
１）群の作用を論じるならば、下記 佐々木隆二のように群Gと作用域Λ 最低限この2つを定義してね
２）さらに、ガロア群は、一般に二つの定義があるみたいだけど？ どっち？
３）さらに、基礎体の取り方で、違いがあるよね
（基礎体をＱとして、クンマー拡大を考えるとき、1のべき根ζが十分添加されたＱ(ζ)を考える。ここもはっきりさせてね）
４）また、普通には、下記のように体の拡大のガロア群を考えるよね
ガロア理論の基本定理から代数方程式の可解性へ繋がるのがこれだから
これらを明確に
（参考）
URLﾘﾝｸ(www2.math.cst.nihon-u.ac.jp)
佐々木隆二 日大
URLﾘﾝｸ(www2.math.cst.nihon-u.ac.jp)
Manuscript
プレプリント The automorphism group of the McLaughlin graph and the sporadic simple group
講義要項 ２０１１年代数学 C, D 講義要項
２０１０年代数学入門講義要項
＊代数の基礎[868 KB]
＊数学入門[425 KB]
＊houkoku[72 KB]
つづく
844:現代数学の系譜 雑談
22/12/16 12:18:01.92 Bc1n6x8o.net
つづき
URLﾘﾝｸ(www2.math.cst.nihon-u.ac.jp)代数学の基礎/2014/12/fa75a316529d0ac746d8f50958ba66ed.pdf
代数学の基礎
佐々木隆二
1.7 正規列 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
1.7.1 作用域をもつ群 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
P46
1.7 正規列
1.7.1 作用域をもつ群
Λ を集合とし, G を群とする. 写像
σ : Λ × G → G; (λ, a) → λa
が与えられ
λ ab = (λa)(λb) (∀a, b ∈ G)
を満たすとき, G を 作用域 Λ をもつ群, 或は Λ-群 という.
P47
例 1.7.1 G を群とし, Inn(G) を作用域とするとき, Inn(G)-部分群は正規部分群である. また,
Aut(G) を作用域とするとき, Aut(G)-部分群を 特性部分群 という.
つづく
845:現代数学の系譜 雑談
22/12/16 12:18:29.20 Bc1n6x8o.net
>>782
つづき
URLﾘﾝｸ(ja.wikipedia.org)
ガロア群
定義
体の拡大のガロア群
E を体 F の拡大体とし、その体の拡大を E/F と表わすこととする。また E/F の自己同型を、 F の各元を固定する E の自己同型と定義する。このとき、 E/F の自己同型全体は群を成す。これを Aut(E/F) と表わす。 E/F がガロア拡大であるなら、 Aut(E/F) を拡大 E/F のガロア群と呼び、 Gal(E/F) で表わす。 E/F がガロア拡大でない場合は、 E のガロア閉包 G に対する自己同型群 Aut(G/F) を、E/F のガロア群と定義することもある。
多項式のガロア群
体 E が多項式 f の F 上の分解体（ f の根をすべて含む最小の F の拡大体）であるとき、 Gal(E/F) を f の F 上のガロア群と呼ぶ。
性質
ガロア理論の基本定理
詳細は「ガロア理論の基本定理」を参照
体 L を体 K の有限次ガロア拡大とする。L と K の中間体 M と Gal(L/K) の部分群 H について次の式が成立つ。
略
代数方程式の可解性
詳細は「可解群」を参照
標数0の体上においては、代数方程式が四則演算及びべき根で解けることと、その方程式のガロア群が可解群となることは同値となる。またそのことより、5次以上の代数方程式にはべき根による一般的解法が存在しないことが示せる。
関連項目
ガロア理論
ガロア拡大
絶対ガロア群
(引用終り)
以上
846:１３２人目の素数さん
22/12/16 19:04:15.87 2jW05cQt.net
Q(ζ_p^2)/Q(ζ_p) は実はクンマー拡大である。
しかし、
Q(ζ_p)/Q はどう考えてもクンマー拡大にはならない。
>クンマー拡大は円分拡大を包含している（a＝1がクンマー拡大中で円分拡大になる）
というのがバカ発言なのであるｗ
847:１３２人目の素数さん
22/12/16 19:09:46.76 2jW05cQt.net
>>781-783
コピペは出来ても、自分の頭では理解できてないから
自分の頭で数学を出力することが出来ない。
肝心なことが何かも分かってないから、コピペの羅列になる。
848:１３２人目の素数さん
22/12/16 19:14:47.45 2jW05cQt.net
>>776
位相群が単連結でなくて、何重かに覆った時点で単連結になる
という制約もなければ、理屈の上では何重でもありうるのでは。
849:わかるすうがく
22/12/16 19:20:06.71 qsccuf5Z.net
はい すうがくのせんせいですよ
すうがくでおちこぼれたみなさん おげんきですか？
きょうも たのしくすうがくをまなびましょうね
>>779
＞＞（a＝1がクンマー拡大中で円分拡大になる）
>>780
＞ その理解が間違っている。
＞ 「円分拡大=クンマー拡大K=k(a^{1/n})のa=1のとき」
＞ ではない！
そうですね
雑談 ◆yH25M02vWFhP くんへ
x^n-1は、Q上で既約ではないですよ (x-1)で割り切れますから
高校の数学で習うことですけど、わかってますか？
850:１３２人目の素数さん
22/12/16 19:22:46.05 2jW05cQt.net
>>784
Q(ζ_p)/Q (ζ_{p-1})は（広義）クンマー拡大になる。
このように遡っていけば、いずれQには達する。
しかし、クンマー拡大を何度か続けて出来る体のことを
「クンマー拡大」とは言わない。
851:わかるすうがく
22/12/16 19:28:07.41 qsccuf5Z.net
はい すうがくのせんせいですよ
すうがくでおちこぼれたみなさん おげんきですか？
きょうも たのしくすうがくをまなびましょうね
>>780
＞＞クンマー拡大と円分拡大ではガロア群の作用の仕方が違う。
>>781
＞ 話が上滑りだよ
おやおや 雑談 ◆yH25M02vWFhP くん
きょうもがろありろんがわからなくてすべっちゃったのかな？
＞ 群の作用を論じるならば、
＞…群Gと作用域Λ 最低限この2つを定義してね
ああ、雑談 ◆yH25M02vWFhP くん
群Gの作用域Λが わからなかったのかな？
じゃ質問
Q1．方程式X^5-2=0の、Q(ζ5)上のクンマー拡大のガロア群Gとその作用域Λは？
またλ∈Λ g∈Gを具体的に記した上で、λgを具体的に書けるかな？
Q2．X^5-1は(X-1)(X^4+X^3+X^2+X+1)と因数分解されるね じゃ
方程式X^4+X^3+X^2+X+1=0の、Q上の円分拡大のガロア群Gとその作用域Λは？
そしてλ∈Λ g∈Gを具体的に記した上で、λgを具体的に書けるかな？
おちついてかんがえようね
ああ、それから、かんにんぐしてもいいけど
わけもわからず「こぴぺ」でごまかすのはやめようね
わからないのにわかってるとうそついてもみじめなだけだよ
じゃ、がんばって
852:１３２人目の素数さん
22/12/16 19:53:39.84 2jW05cQt.net
>>788
>Q(ζ_p)/Q (ζ_{p-1})は（広義）クンマー拡大になる。
いやならないわ。正しくは
Q(ζ_p,ζ_{p-1})/Q (ζ_{p-1})は（広義）クンマー拡大になる。
いずれにしれても1=雑談の「円分体もクンマー拡大の
特別な場合として捉えられるじゃん」という発想が
アホだってこと。
853:現代数学の系譜 雑談
22/12/16 20:56:57.93 5lN5KQGq.net
>>781より再録
>>780
>だから、その理解が間違っている。クンマー拡大と円分拡大ではガロア群の作用の仕方が違う。
話が上滑りだよ
１）群の作用を論じるならば、下記 佐々木隆二のように群Gと作用域Λ 最低限この2つを定義してね
２）さらに、ガロア群は、一般に二つの定義があるみたいだけど？ どっち？
３）さらに、基礎体の取り方で、違いがあるよね
（基礎体をＱとして、クンマー拡大を考えるとき、1のべき根ζが十分添加されたＱ(ζ)を考える。ここもはっきりさせてね）
４）また、普通には、下記のように体の拡大のガロア群を考えるよね
ガロア理論の基本定理から代数方程式の可解性へ繋がるのがこれだから
(引用終り)
早く答えて
自分の書いた文の定義を聞かれて
答えられないってのは
数学ではダメダメですよｗ
854:わかるすうがく
22/12/16 21:07:56.39 qsccuf5Z.net
はい すうがくのせんせいですよ
すうがくでおちこぼれたみなさん おげんきですか？
きょうも たのしくすうがくをまなびましょうね
>>791
あれあれ、雑談 ◆yH25M02vWFhP くん
いままで、群Gと作用域Λがまったくわからないで
数学書を読みとばしてたのかな それじゃ全然中身がわからなかったでしょ
じゃ質問
Q1．方程式X^5-2=0の、Q(ζ5)上のクンマー拡大のガロア群Gとその作用域Λは？
またλ∈Λ g∈Gを具体的に記した上で、λgを具体的に書けるかな？
Q2．X^5-1は(X-1)(X^4+X^3+X^2+X+1)と因数分解されるね じゃ
方程式X^4+X^3+X^2+X+1=0の、Q上の円分拡大のガロア群Gとその作用域Λは？
そしてλ∈Λ g∈Gを具体的に記した上で、λgを具体的に書けるかな？
おちついてかんがえようね
ああ、それから、かんにんぐしてもいいけど
わけもわからず「こぴぺ」でごまかすのはやめようね
わからないのにわかってるとうそついてもみじめなだけだよ
じゃ、がんばって
855:わかるすうがく
22/12/16 21:14:49.70 qsccuf5Z.net
>>792
雑談 ◆yH25M02vWFhP くんにはむずかしかったかな
じゃ、もっとやさしいしつもんね
Q1．X^5-2=(X-A)(X-B)(X-C)(X-D)(X-E) として
B=f(A)、C=f(B)、D=f(C)、E=f(D)、A=f(E) としたとき
関数 f は何かな？
Q2．X^4+X^3+X^2+X+1=(X-A)(X-B)(X-C)(X-D) として
B=g(A)、C=g(B)、D=g(C)、A=g(D) としたとき
関数 g は何かな？
ヒント f と g は異なる関数
856:現代数学の系譜 雑談
22/12/16 21:28:51
857:.44 ID:5lN5KQGq.net
858:現代数学の系譜 雑談
22/12/16 21:29:22.45 5lN5KQGq.net
>>794
つづき
一般に１の原始ｎ乗根(primitive ｎth root of unity)の１つをζnで記述することにします。そして帰納法の仮定として,問題としている素数ｐに対し,ｍ≦(ｐ－1)の１の原始ｍ乗根はすべてベキ根で解けると仮定します。
また,ζp は１の原始ｐ乗根の１つですからｐ－1次の円分方程式を満足し,この円分方程式はｐが素数なのでＱを有理数体としてＱで既約ですから,Ｑにζpを添加した拡大体Ｑ(ζp)については,次数は[Ｑ(ζp):Ｑ]＝ｐ－1です。そしてこの円分方程式のガロア群(Galois group)Gal(Ｑ(ζp)/Ｑ)は(Ｚ/ｐＺ)×に同型なので,アーベル群(Abel group)であり,それゆえ可解群(solvable group)です。
略
それゆえ,ガロアの偉大な定理によってＱ'(ζp)/Ｑ'もベキ根による拡大になります。したがってＱ'(ζp)の元ζpはＱ'の上でベキ根で解けるはずですが,Ｑ'＝Ｑ(ζp-1)におけるζp-1自身も帰納法の仮定によってＱの上でベキ根で表わせるのですから,結局のところζpはＱの上でベキ根で解けることが示されたことになります。
ガロア理論を理解するために１のベキ乗根をベキ根で表わせることを証明したいと思って,ガウスの証明を参照したかったのですが,肝心のところに関する参考文献が,当面のところ不明だったので,結局ガロア理論を用いてしまったわけで我ながらいささか本末転倒の感があります。
参考文献:原田耕一郎 著「群の発見」(岩波書店),足立恒雄 著「ガロア理論講義」(日本評論社)
(引用終り)
以上
859:１３２人目の素数さん
22/12/16 21:40:50.51 2jW05cQt.net
>>791
ガロア理論10年以上勉強して「ガロア群の作用」も分かってないのがダメだね
そんなひとにも分かる説明ってあるの？ｗ
ガロア群の作用が何通りもあると思ってるフシがあるし。
本質的には一通りですよ。でなきゃ、「絶対ガロア群」なんて定義できない。
860:１３２人目の素数さん
22/12/16 21:42:08.83 2jW05cQt.net
10年以上ガロア理論勉強して、本も多数揃えているという1=雑談のバカ発言
>クンマー拡大は円分拡大を包含している（a＝1がクンマー拡大中で円分拡大になる）
アホかｗｗ
aが5乗数じゃないとき
x^5-a=0 の根たち、a^{1/5},a^{1/5}ζ_5,...,a^{1/5}ζ_5^4
はすべて共役で、ガロア群が推移的に作用している。
一方で、a=1のときa^{1/5}=1にどんなガロア群を作用させても不変ですよｗｗ
861:１３２人目の素数さん
22/12/16 22:01:24.71 2jW05cQt.net
1はコピペする前に>>728読んで理解しろ。
これで理解できないなら、どんな本読んでも理解できないよ。
862:現代数学の系譜 雑談
22/12/16 23:47:10.67 5lN5KQGq.net
再度問う
>>781より再録
>>780
>だから、その理解が間違っている。クンマー拡大と円分拡大ではガロア群の作用の仕方が違う。
話が上滑りだよ
１）群の作用を論じるならば、下記 佐々木隆二のように群Gと作用域Λ 最低限この2つを定義してね
２）さらに、ガロア群は、一般に二つの定義があるみたいだけど？ どっち？
３）さらに、基礎体の取り方で、違いがあるよね
（基礎体をＱとして、クンマー拡大を考えるとき、1のべき根ζが十分添加されたＱ(ζ)を考える。ここもはっきりさせてね）
４）また、普通には、下記のように体の拡大のガロア群を考えるよね
ガロア理論の基本定理から代数方程式の可解性へ繋がるのがこれだから
(引用終り)
早く答えて
自分の書いた文の定義を聞かれて
答えられないってのは
数学ではダメダメですよｗ
863:現代数学の系譜 雑談
22/12/16 23:57:16.97 5lN5KQGq.net
>>796
ふっ
ID:2jW05cQtさん、必死でゴマカスの図かよｗ
>ガロア群の作用が何通りもあると思ってるフシがあるし。
>本質的には一通りですよ。でなきゃ、「絶対ガロア群」なんて定義できない。
>>780より
>だから、その理解が間違っている。クンマー拡大と円分拡大ではガロア群の作用の仕方が違う。
この>>780って、ID:2jW05cQtさん、
あなたの発言だよ
>ガロア理論10年以上勉強して「ガロア群の作用」も分かってないのがダメだね
>そんなひとにも分かる説明ってあるの？ｗ
説明しろとは言ってないよ
>>799の通りだ
まず、
「群の作用を論じるならば、佐々木隆二のように群Gと作用域Λ 最低限この2つを定義してね」
ってこと
おれが理解できなくても
アホなことを書いたら
周りからツッコミあるよね
それが怖くて書けないんだろ？ｗ
やれやれｗｗｗ
864:１３２人目の素数さん
22/12/17 00:43:29.80 Yvnw5Kb3.net
バカに説明する労力が惜しい。貴方のバカ発言
>クンマー拡大は円分拡大を包含している（a＝1がクンマー拡大中で円分拡大になる）
に対する明確な反例は>>797で挙げてありますよ。
まずはこの事実を理解しましょう。
「揚げ足取るために、たくさん書かせよう」
なんて根性腐ってますね。なお、これまでたくさん書いてきたが
残念ながらツッコミは無い。>>728さんはわたしではない。
865:１３２人目の素数さん
22/12/17 01:14:58.76 Yvnw5Kb3.net
まさかとは思ったが、「ζ_nへのガロア群の作用」という
ガロア理論中の超重要例であり、常識とも言える内容を
理解していない様子からしても、>>728の見立てが正しいと
言わざるを得なかった次第。
866:１３２人目の素数さん
22/12/17 04:41:56.18 Yvnw5Kb3.net
一箇所とんでもない勘違いしてた。
>>738の勘違い。
>一旦Q(ζ_5)を経由してクンマー拡大すると
>一般的にそれはQ上非アーベル拡大になることは理解してますかね？
リゾルベントを構成するのに円分体の数しか使ってないんで、非アーベルになるわけないですね。
謹んで訂正致します m(__)m
867:１３２人目の素数さん
22/12/17 05:00:57.80 Yvnw5Kb3.net
Q上の5次巡回方程式を解くときのラグランジュリゾルベント
も含めてすべての数はQ(ζ_{5p})に含まれている。
pは10n+1型の素数または5。
868:１３２人目の素数さん
22/12/17 05:33:04.59 Yvnw5Kb3.net
ラグランジュリゾルベントとは何か？というと
>>564に書いたように、根のべき根表示
(1) ξ=a_0+a_1α+ … +a_{n-1}α^{n-1}
において、「直交関係」を利用して
項別に値を取り出す計算式であり
(1)をフーリエ級数展開の類似物と見たとき
フーリエ積分に対応している。
これはオリジナルな論なので、反論があれば歓迎する。
869:わかるすうがく
22/12/17 07:06:37.56 vkjQzDmx.net
>>801
> 728さんはわたしではない。
ええ、わたしです。
トリップ違ってますが、昨日のIDで２つトリップつかってるので
「怪談」と私が同じ人物であることが証明されますね
>>802
>「ζ_nへのガロア群の作用」という
>ガロア理論中の超重要例であり、
>常識とも言える内容を
>理解していない様子からしても、
> 728の見立てが正しいと
>言わざるを得なかった次第。
まあ、雑談クンは、以前に
「(Z/pZ)×の位数がｐ」
�
870:ﾆかいってたのを覚えてるので そもそも(Z/pZ)×も、円分方程式の解への作用も 全然分かってないだろうと思ってますよ その証拠に>>792、>>793の質問に全く答えませんからね できない問題にはダンマリなんですよ できない生徒の反応って本当にわかりやすい でも、それ乗り越えていかないと できるようにならないよ 雑談クン！
871:わかるすうがく
22/12/17 07:16:26.98 vkjQzDmx.net
>>803
違うな、と思いましたが、
自分で気づかれるだろう、と思ったので、指摘しませんでした
長年の経験と勘で、できる人かできない人か、わかりますね
というより、私より全然わかってらっしゃるでしょ
雑談クンは、全然わかってませんね
ガロア理論の本も通り一遍しか読まないから、上滑りしてるんですね
基本的なことこそ、きっちり定義を理解して、自分で計算して確かめないと
決して理解できるようにはなりませんからね
まあ、Yvnw5Kb3さんには、釈迦に説法でしょう
雑談クンが、「縁なき衆生」でないことを祈るばかりです
数学板で書き込むなら、縁があったと思いたいですね
872:わかるすうがく
22/12/17 07:36:33.24 vkjQzDmx.net
>>794
＞ちょっと、・・・をチラ見してみて
チラ見 だから上滑る わかるね
ついでだが、そのことなら
美的数学のすすめ
円分体のガロア対応 2015-04-17
URLﾘﾝｸ(biteki-math.)はてなブログ.com/entry/2015/04/17/104038
がわかりやすい ガウスすげぇ！
＞ガロア理論で
＞「１のベキ乗根はベキ根で解けるか?（円分多項式の根）」
＞を解いているよ つまり、
＞ガロア理論＝体の拡大とガロア群の関係
＞→そこからべき根による可解性判定もできる
解くだけのことなら、ガロア理論とかいう前に
ラグランジュの分解式でできるよ
石井本の第６章の１
ｐ４１２~４２１ の１０ページ分
そこに７次の場合の実例つきで全部書いてあるから
理解できるまで何度でも読んでみて
あ、音読はしなくていいよ
声に出すことばかり意識すると
内容が全く分からなくなるから
728で指摘したことは、p417で書いてあるよ
なんで、３，２，６，４，５，１なのか
３＾２＝ ９＝ ２ (mod7)
３＾３＝ ２７＝２×３＝６ (mod7)
３＾４＝ ８１＝６×３＝４ (mod7)
３＾５＝２４３＝４×３＝５ (mod7)
３＾６＝７２９＝５×３＝１ (mod7)
だからだけど、そもそも
「なんでべきをとってるのか？」
を考えてね、ついでにいうと、
３じゃなくても５でもいいけど
２や４や６じゃダメだよ
なんでかって？考えてみようね
ああ、教育って大変
ガウスもボヤイ父が
「平行線公準が証明できた！」
とかいって証明持ってくるたびに
「またですか ブツブツ」
とかいいながら添削指導してあげたんだろうなあ・・・
873:わかるすうがく
22/12/17 07:49:06.58 vkjQzDmx.net
>>794
＞歴史の順番は、
＞ ラグランジュ・リゾルベント
＞→可解性(ガウス)
＞→アーベル理論
＞→ガロア理論（クンマー拡大･クンマー理論）
＞という流れだ
で、そもそも、雑談クンは
「なんで、ガロア群が巡回群だと、
ラグランジュの分解式（リゾルベント）
で解けるのか」
全然分かってないでしょ
なんで解けるのか、
なんでそれがクンマーと結びつくのか
>>777で述べたんだけど
ということで777読んでみて
書き忘れたけど、
ラグランジュの分解式のｎ乗は
解くべきθが現れない形で求められる
そうでなかったら、そもそも意味ないよなｗ
874:わかるすうがく
22/12/17 08:05:50.75 vkjQzDmx.net
それにしても、777で歴史的書き込みが出来たのは偶然なのか・・・
875:現代数学の系譜 雑談
22/12/17 09:05:39.76 EhW0UvWQ.net
>>801-805
くっさぁ～！ｗ
笑えるよ
>>800より
”説明しろとは言ってないよ
>>799の通りだ
まず、
「群の作用を論じるならば、佐々木隆二のように群Gと作用域Λ 最低限この2つを定義してね」
ってこと”
(引用終り)
自分の書いたこと＝「群の作用」
について
”群Gと作用域Λ 最低限この2つを定義してね”
と言われて
これが出来ない
（
876:多分、出来ないというよりも、自分の誤解か分かってないことに気付いたかなｗ） で、必死にゴマカスｗｗ 「バカに説明する労力が惜しい」>>801 と言いながら 言い訳を、グダグダと5連投する 5連投する暇があれば ”群Gと作用域Λ この2つの定義” さっと書けばいいだけのこと それが出来ないのは、出来ない事情があるんだね！ｗｗｗ
877:わかるすうがく
22/12/17 09:11:34.34 vkjQzDmx.net
>>811
>”群Gと作用域Λ この2つの定義”
>さっと書けばいいだけのこと
>それが出来ないのは、
>出来ない事情があるんだね！
それ、雑談君が答える問題
彼が答えないのは、君に答えを教えることになるから
それが事情
わかった？じゃ、さっさと、>>793答えてね 雑談クン
これ答えられないんじゃ、ガロア理論どころか
そもそも円分拡大がわからんってことになる
１０年間、ガロア理論の本を積読して、
掲示板でバカ書いてただけってことになる
まあ、それが実態ってことは、みんなわかってるけど
それでいいのかい？君の人生
878:わかるすうがく
22/12/17 09:21:50.37 vkjQzDmx.net
>>812
>じゃ、さっさと、>>793答えてね 雑談クン
ほぼ、>>808で答えを書いてるけどね
５乗根の場合、〇乗ならＯＫで●乗はＮＧ
さあ、〇と●に入る数はそれぞれ何でしょう
ああ、もう、ここまで出かかってるわ
879:現代数学の系譜 雑談
22/12/17 09:39:48.19 EhW0UvWQ.net
>>771
>以上まあ、石井本をちゃんと読んでねってことかね
>（どのガロア本でも、似たことは書いてあるけどね）
年末忙しいので、結論を急ぐよ
下記の大阿久先生のPDFに、ちゃんと書いてあるね
（下記引用より原文の方が、圧倒的に見やすいよ）
下記大阿久より
１）”Fi = K(n1√a1, . . . ,ni√ai)”および
”Gal(Fi/Fi?1) =Gal(L/Fi?1)/Gal(L/Fi) = Hi?1/Hi は位数 ni:= [Fi: Fi?1] の巡回群である．定理 7.2 に
より，ある ai ∈ Fi?1 が存在して Fi は x^ni ? ai の Fi?1 上の分解体となる”
にご注目
ここが、ガロア理論の眼目ですよ
２）ガロア群で、位数 ni:= [Fi: Fi?1] の巡回群→ある ai ∈ Fi?1 が存在して Fi は x^ni ? ai の Fi?1 上の分解体となる
３）だから、ガロア理論で、べき根ni√aiが導かれる
４）位数5の巡回群なら、5乗根が導かれる
ということです
（注：ni√aiは、aiのni乗根です。他も同様。5ｃｈでは、こういう数学記号が正確に書けないので、数学の議論には不便です）
（なお、下記で「K をすべての 1 のべき乗根を含むような C の部分体」とするのは、Kが大きく成りすぎる危険があるよね
だから、Kを有理数体Qの拡大体ですべての 1 のべき乗根を含む とする方が、すっきりしている気がする）
>>429より再録
URLﾘﾝｸ(www.lab.twcu.ac.jp)
Toshinori Oaku (大阿久 俊則)(おおあく としのり)
東京女子大学 現代教養学部 数理科学科 数学専攻
講義録（学部）
11.ガロア理論入門, 「ガロア理論入門」演習問題解答,
URLﾘﾝｸ(www.lab.twcu.ac.jp)
ガロア理論入門（体と群と方程式）
大阿久 俊則
P45
つづく
880:現代数学の系譜 雑談
22/12/17 09:40:22.99 EhW0UvWQ.net
>>814
つづき
12 方程式のべき根による可解性
定義 12.1 K を C の部分体とする．f(x) ∈ K[x] に対して方程式 f(x) = 0 が K 上でべ
き根によって解けるまたは K 上可解であるとは，f(x) = 0 のすべての根が K の元から
出発して，べき乗根（2 項方程式の根）と 1 のべき乗根および四則演算を組み合わせて表
示できることと定義する．
定理 12.1 K をすべての 1 のべき乗根を含むような C の部分体，f(x) ∈ K[x] を 2 次以
上の多項式とする．このとき，方程式 f(x) = 0 が K 上べき根によって解けるための必要
十分条件は f(x) の K 上の分解体 L のガロア群 Gal(L/K) が可解群となることである．
証明:
(1) 必要性：f(x) = 0 が K 上可解であると仮定する．n 乗根による表示は，ある a
に対して 2 項方程式 x^n ? a の根を表すから，Fm ⊃ L となるような拡大体の列
Fm ⊃ Fm?1 ⊃ ・ ・ ・ ⊃ F1 ⊃ F0 = K
であって，各々の i = 1, . . . , m に対してある ni ∈ N とある ai ∈ Fi?1 があり，Fi は
x^ni ? ai の Fi?1 上の分解体となっているとしてよい．
このとき Fi = K(n1√a1, . . . ,ni√ai)
であるから，Fi は K 上のガロア拡大である．ただし ni√ai は x^ni ? ai の根の１つを表す
ものとする．（仮定より 1 の ni 乗根は K に含まれるので，どれを選んでも以下の議論に
影響はない．) 体の拡大 Fm ⊃ K の中間体のガロア対応により，
Hi:= Φ(Fi) = Gal(Fm/Fi) (i = 1, 2, . . . , m)
とおく．このとき定理 7.2 より Gal(L/K) の部分群の列
{id} = Hm ⊂ Hm?1 ⊂ ・ ・ ・ ⊂ H1 ⊂ H0 = Gal(Fm/K)
ができ，Hi = Gal(Fm/Fi) ⊂ Gal(Fm/Fi?1) = Hi?1 とみなせる．Fi ⊃ Fi?1 はガロ
ア拡大であるから，Fi をガロア拡大 Fm ⊃ Fi?1 の中間体とみなせば，Fi に対応する
Gal(Fm/Fi?1) の部分群が Hi であり，定理 7.2 により Hi は Hi?1 の正規部分群であり，
Hi/Hi?1～= Gal(Fi/Fi?1) が成立する．さらに定理 9.1 により Hi/Hi?1 は巡回群である．
以上により Gal(Fm/K) は可解群であることがわかった．Fm ⊃ L ⊃ K と L が K のガ
ロア拡大であることと命題 11.1 により Gal(L/K) ～= Gal(Fm/K)/Gal(L/K) も可解群である．
つづく
881:現代数学の系譜 雑談
22/12/17 09:40:53.77 EhW0UvWQ.net
>>814
つづき
(2) 十分性： Gal(L/K) は可解群であると仮定する．部分群の列
{id} = Hm ⊂ Hm?1 ⊂ ・ ・ ・ ⊂ H1 ⊂ H0 = Gal(L/K)
であって，すべての i = 1, . . . , m について，Hi は Hi?1 の正規部分群であり Hi?1/Hi は
アーベル群であるようなものが存在する．アーベル群の基本定理によって，Hi?1/Hi はい
くつかの（有限）巡回群の直和になる．従って Hi?1 の部分群の列
Hi = Gl ⊂ Gl?1 ⊂ ・ ・ ・ ⊂ G1 ⊂ G0 = Hi?1
が存在して，すべての j = 1, . . . , l について Gj は Gj?1 の正規部分群であって Gj?1/Gj
は巡回群であるようにできる．従って，最初から各 Hi?1/Hi は巡回群であると仮定して
も一般性を失わない．
Fi:= L^Hi = {α ∈ L | σ(α) = α (∀σ ∈ Hi)}
とおけば，定理 7.1 と定理 7.2 により
L = Fm ⊃ Fm?1 ⊃ ・ ・ ・ ⊃ F2 ⊃ F1 ⊃ F0 = K
が成立する．前半の証明で示したように，Hi = Gal(L/Fi) ⊂ Gal(L/Fi?1) = Hi?1 とみな
せてHi は Hi?1 の正規部分群であるから，Fi ⊃ Fi?1 はガロア拡大である．
Gal(Fi/Fi?1) =Gal(L/Fi?1)/Gal(L/Fi) = Hi?1/Hi は位数 ni:= [Fi: Fi?1] の巡回群である．定理 7.2 に
より，ある ai ∈ Fi?1 が存在して Fi は x^ni ? ai の Fi?1 上の分解体となる．以上により，
f(x) = 0 はべき根によって解けることが示された．□
(引用終り)
以上
882:わかるすうがく
22/12/17 09:54:13.17 vkjQzDmx.net
>>814
雑談クンは本当に探しものがヘタだねぇ
答えが書いてあるのはそこじゃないよ
ｐ３０の例１に書いてあるじゃない
x^3－2 = (x －2^(1/3))(x －2^(1/3)ω)(x －2^(1/3)ω^2)
これを、1の原始5乗根ζを使って書き換えれば以下の通り
x^5－2 = (x －2^(1/5))(x －2^(1/5)ζ)(x －2^(1/5)ζ^2)(x －2^(1/5)ζ^3)(x －2^(1/5)ζ^4)
したがって>>793 Q1は
f(2^(1/5))=2^(1/5)ζ
f(2^(1/5)ζ)=2^(1/5)ζ^2
f(2^(1/5)ζ^2)=2^(1/5)ζ^3
f(2^(1/5)ζ^3)=2^(1/5)ζ^4
f(2^(1/5)ζ^4)=2^(1/5)ζ^5=2^(1/5)
つまりf(x)=x*ζ
5乗根ζを掛けるのが巡回関数
だからζを体に追加する必要がある
雑談クン、それ全然理解せずに、ただ何の根拠もなく
「クンマー拡大には、１のｎ乗根の追加が必要！」
っていってたでしょ それじゃ数学分かったことにならないよ
883:わかるすうがく
22/12/17 09:57:22.83 vkjQzDmx.net
>>817
じゃ、同様に、>>793のQ2、答えてみて
大阿久氏のpdfにはそのままコピペできる箇所はないな
ま、答えの情報は書いてあるかもしれんけど
君は探し物が苦手だから見つけられないね
ということで自分で考えてみて
頑張って！
884:現代数学の系譜 雑談
22/12/17 10:38:29.52 EhW0UvWQ.net
>>811 追加
>自分の書いたこと＝「群の作用」
>について
>”群Gと作用域Λ 最低限この2つを定義してね”
>と言われて
>これが出来ない
>（多分、出来ないというよりも、自分の誤解か分かってないことに気付いたかなｗ）
>で、必死にゴマカスｗｗ
この人（ID:Yvnw5Kb3氏）は
ガロア理論を根本的に誤解していたんだね
１）
そもそも、躓きは>>547 の
”Q2
「５乗根の添加」によってつくられた解を添加した、元の方程式の最小分解体の中に、
５乗根そのものは要素として含まれる？”
(引用終り)
から始まっているんだ
>>814 大阿久PDFにあるように
”方程式 f(x) = 0 が K 上でべ
き根によって解けるまたは K 上可解であるとは，f(x) = 0 のすべての根が K の元から
出発して，べき乗根（2 項方程式の根）と 1 のべき乗根および四則演算を組み合わせて表
示できることと定義する．”>>815
こういう体の拡大で考えておけばよかったべｗ
２）
これで、定理 12.1 の証明にあるように、位数5の巡回群なら方程式の根の表示に5乗根を使うってこと
あと、この人、ガロア理論を、>>391のように”方程式の最小分解体”ベースで考えていたのかな？
それで、きっと思考の迷路に入ってしまったんだね
３）
そこを突かれると、「群の作用」と言い出したんだ
（例えば、>>678"何かの5乗根にガロア群を作用させるとζ_5が出てくる。
ζ_5はQ(ζ_11)には含まれないから矛盾する"
とかｗ
ちゃんと、群Gと作用域Λ この2つを定義しないと議論が上滑りだよね。「ζ_5が出てくる」？ なにそれ？ｗ）
４）
さらに、”群Gと作用域Λ 最低限この2つを定義してね”(上記)と言われて、答えられず
そりゃあ、そうでしょうね。「群の作用」なんて、論点ずらしで持ち出しただけだものねｗ
以上
885:現代数学の系譜 雑談
22/12/17 10:53:23.21 EhW0UvWQ.net
>>800 追加
>ガロア理論10年以上勉強して「ガロア群の作用」も分かってないのがダメだね
別に、私がガロア理論を理解しているとかいうつもりはないけど
分かってない人から、言われてもねｗ
「ガロア群の作用」ね
だから、”群Gと作用域Λ 最低限この2つを定義してね”と
ガロア群Gは、基礎体の取り方で違うよね。基礎体をどうするの？
作用域Λは？ 方程式の根とするのか、拡大体（の自己同型）とするのか？
これが、答えられないんだねｗｗｗ
（参考）
URLﾘﾝｸ(hooktail.sub.jp)
hooktail
体の自己同型写像
自己同型写像の群
886:１３２人目の素数さん
22/12/17 11:23:17.95 Yvnw5Kb3.net
>>819
頭悪いね。
問は意味はなしているのだから、正しく答えればよかっただけ。
問が意味をなしていないなら、ナンセンスだけど、意味をなしているのだから。
それで、方程式を解く際にあらわれるべき根は
最小分解体に含まれないことは理解できましたか？
887:１３２人目の素数さん
22/12/17 11:34:47.11 Yvnw5Kb3.net
>>820
>ガロア群Gは、基礎体の取り方で違うよね。基礎体をどうするの？
>作用域Λは？ 方程式の根とするのか、拡大体（の自己同型）とするのか？
それが分からないのが、貴方がガロア理論を理解してないって証拠。
「ガロア群の作用」が何通りもあると思ってるんでしょ？
バカだねぇｗｗ
基礎体をどうしようが、「部分群になる」という制限が入るだけ。
>方程式の根とするのか、拡大体（の自己同型）
どちらも同じだよ。方程式の根とした場合、体のk自己同型を
根に制限したものになってるだけ。
それが分かってないのが1=雑談。
888:１３２人目の素数さん
22/12/17 11:42:28.57 Yvnw5Kb3.net
再掲>>797
10年以上ガロア理論勉強して、本も多数揃えているという1=雑談のバカ発言
>クンマー拡大は円分拡大を包含している（a＝1がクンマー拡大中で円分拡大になる）
アホかｗｗ
aが5乗数じゃないとき
x^5-a=0 の根たち、a^{1/5},a^{1/5}ζ_5,...,a^{1/5}ζ_5^4
はすべて共役で、ガロア群が推移的に作用している。
一方で、a=1のときa^{1/5}=1にどんなガロア群を作用させても不変ですよｗｗ
889:１３２人目の素数さん
22/12/17 12:00:30.64 Yvnw5Kb3.net
ガロアが定義したガロア群とデデキントが定義したガロア群の関係。
前者は後者の忠実な置換表現になっている。つまり同型。
本質的に同じ。特に考えている根に限ればまったく同じ。
890:１３２人目の素数さん
22/12/17 12:29:01.45 Yvnw5Kb3.net
このスレで最初にクンマー拡大の話を出したのはわたし。>>391
それに対して「論点ずらしだ～」と泣いてるのが>>489 =1=雑談
全然論点ずらしじゃない。ど真ん中の核心を突いている。
自分が理解できない話だと「論点ずらしだ～」と泣き喚くのが1=雑談。
891:現代数学の系譜 雑談
22/12/17 13:19:51.53 EhW0UvWQ.net
>>821-825
>>811より再録
くっさぁ～！ｗ
笑えるよ
>>800より
”説明しろとは言ってないよ
>>799の通りだ
まず、
「群の作用を論じるならば、佐々木隆二のように群Gと作用域Λ 最低限この2つを定義してね」
ってこと”
(引用終り)
自分の書いたこと＝「群の作用」
について
”群Gと作用域Λ 最低限この2つを定義してね”
と言われて
これが出来ない
（多分、出来ないというよりも、自分の誤解か分かってないことに気付いたかなｗ）
で、必死にゴマカスｗｗ
「バカに説明する労力が惜しい」>>801
と言いながら
言い訳を、グダグダと5連投する
5連投する暇があれば
”群Gと作用域Λ この2つの定義”
さっと書けばいいだけのこと
それが出来ないのは、出来ない事情があるんだね！ｗｗｗ
(引用終り)
今回も、
言い訳を、
グダグダと5連投ねｗ
>このスレで最初にクンマー拡大の話を出したのはわたし。>>391
そう確かに、このスレ限定ではねｗ
気付いているよ（多分言い訳に出したんだねｗ）
しかし、クンマー拡大は旧ガロアスレで、さんざん出てきた
代数方程式の代数解法のガロア理論は、クンマー拡大抜きでは成り立たないよ。当然ですが
892:１３２人目の素数さん
22/12/17 13:48:31.70 Yvnw5Kb3.net
1=雑談って、>>615で
>例えば、X^2=2 だとQ(√2)で2次だが、X^2=-2 だとQ(√2,i)と4次になる
と認知症レベルの間違いしてるじゃん。
垂れ流し老人じゃんｗ
893:１３２人目の素数さん
22/12/17 14:01:41.43 Yvnw5Kb3.net
クンマー拡大K=k(a^{1/5}), a,ζ_5∈k
に対して、G=Gal(K/k)
円分拡大 k=Q(ζ_5) , G'=Gal(k/Q)
作用域はそれぞれK, k.
はい書きましたよ。
894:１３２人目の素数さん
22/12/17 14:07:41.94 Yvnw5Kb3.net
では、「円分拡大=クンマー拡大のa=1のとき」の説明できますかね？
できるわけない。間違ってるからｗｗ
895:わかるすうがく
22/12/17 14:57:14.50 vkjQzDmx.net
はい すうがくのせんせいですよ
すうがくでおちこぼれたみなさん おげんきですか？
きょうも たのしくすうがくをまなびましょうね
>>818
おやおや、雑談クンは、まだ、>>793のQ2に答えてないんだね
うーん、それじゃ、円分拡大がわからないままだよ
さて、Q2について
X^4+X^3+X^2+X+1=(X-ζ)(X-ζ^2)(X-ζ^3)(X-ζ^4)
だね。
で、雑談クンもしかして
f(ζ)=ζ^2
f(ζ^2)=ζ^3
f(ζ^3)=ζ^4
で、いける、とおもってるでしょｗ
でも、これがダメなんだなあ
だって
f(ζ^4)＝ζ^5=１
で、ζにならない！
f(x)=ζになるxは1だけど 1は根じゃない！
はい、ここで、雑談クンの
「円分方程式の解のガロア群による作用は
x^5-2=0の解のガロア群による作用と全く同じ」
というナイーブな直感が、誤っていることが明確に示されました！
ということで、核心の問いに戻るよ
ζ、ζ^2、ζ^3、ζ^4 の４つを巡る関数g(x)ってなんですか？
もう、7次の場合は、石井本のp412-421に書いてあるって
>>808で云ってるじゃん
それを、5次に置き換えるだけだって
「簡単なんだよ、こんなの」
って涼宮ハルヒの何とかのEDみたいなこといっちゃった
URLﾘﾝｸ(www.youtube.com)
896:わかるすうがく
22/12/17 16:08:12.10 vkjQzDmx.net
さて、2^xを5進法で表すことを考えてみようか
１→２→４ までは10進法と同じ 問題はこの後
8は5進法で表すと・・・13だね そして
16は5進法で表すと・・・31
1の位に着目すると、
1→２→4→3→1
ついでにいうと、3^xを5進法で表しても
3^2=9=14(5進法)
3^3=27=102(5進法)
3^4=81=311(5進法)
１の位に着目すると
1→3→4→2→1
もういい加減に気づいてくんないかな 雑談クンｗ
897:現代数学の系譜 雑談
22/12/17 16:11:56.28 EhW0UvWQ.net
>>574 追加
(引用開始)
>つまり、既約で可解な5次方程式の最小分解体 Q(a1,a2,a3,a4,a5)には、方程式の係数から決まるある無理数a^(1/5)が含まれる
>>570
だから、それが間違ってるって最初から言ってるじゃん。
Q(a1,a2,a3,a4,a5)/Q がガロア拡大であり、かつa^(1/5)が含まれるなら
a^(1/5)の「共役」もすべて含まれなければならない。（ガロア拡大の定義から。）
これはQ(a1,a2,a3,a4,a5)が実の体であれば矛盾する。
したがって、a^(1/5)は「含まれない」
(引用終り)
戻る
１）元々は、>>417より
「種を明かすと>>372の方程式
x^5 + 6 x^4 - 12 x^3 - 32 x^2 + 16 x + 32=0
の左辺は
Π_{k=1}^{5}(x-1/cos(2kπ/11)).
方程式のガロア群は5次の巡回群であり、代数解法が可能。
その解法にはζ_5が必要だが
最小分解体にはζ_5は「含まれない」が正解。」
だった。よって、上記の5次方程式はすべて実根だ
２）全て実根だから、 上記の最小分解体⊂Q(a1,a2,a3,a4,a5)*)⊂R(実数)
*)注 形式的に5実根添加した拡大体
３）よって、最小分解体には 1の5乗根の原始根ζ5は含まれないが、
しかし、クンマー拡大で何かの5乗根a^(1/5)が含まれるべき
これを否定する人がいるんだｗ
４）a^(1/5)の存在を示すには、cos(2kπ/11)が何かの5乗根a^(1/5)を含む表式で表されれば分かる
（つまり、1/cos(2kπ/11)も、何かの5乗根a^(1/5)を含む表式で表される）
５）下記に、cos(2kπ/11)の表式が
898:あって、事実として5乗根が使われている （面倒なので、式は一部のみ転写した。原文ご参照） 以上 (参考) https://mathlog.info/articles/3161 Mathlog 子葉 1の冪根をたくさん求めてみた(解説付き) 目次 はじめに 解説 nが合成数のとき n=3,5,7のとき n=11のとき n=13のとき n=17のとき n=19のとき 原理的なところ おわりに 参考文献 はじめに n=p>=7 シリーズ cos(2π/11)=1/10(?1+(α+,+)^1/5 +(α-,+)^1/5+(α-,-)^1/5?+(α+,-)^1/5 解説 n=11のとき 略 (引用終り) 以上
899:わかるすうがく
22/12/17 16:16:35.60 vkjQzDmx.net
ええい、もうガマンできん
>>793のQ2の答え書くね
X^4+X^3+X^2+X+1=(X-ζ^2)(X-ζ^4)(X-ζ^3)(X-ζ) と並べなおして
g(ζ)=ζ^2
g(ζ^2)=ζ^4
g(ζ^4)=ζ^8=ζ^3
g(ζ^8)=ζ^16=ζ
つまりg(x)=x^2
ほら！ f(x)=x*ζ と全然違うだろ？
x^2は有理関数（そもそも多項式！）だから
Qに新たな元を追加する必要がない！
いかなる円分拡大も、ガロア群の作用はx^nで実現できる
(どんなnでもいいわけではないけど、要件を満たすｎは存在する）
ああ、円分体って・・・キモチイイ！
900:わかるすうがく
22/12/17 16:36:15.81 vkjQzDmx.net
さて、円分方程式Φ5を解くのに、
ラグランジュの分解式
L=ζ+iζ^2-ζ^4-iζ^3
を考えれば
(x-L)(x-iL)(x+L)(x-iL) は、
x^4-a という形にできて
a^(1/4)からLが得られ
同様の４つのラグランジュの分解式
a^(1/4),b^(1/4),c^(1/4),d^(1/4)の線型結合
でζが得られるって寸法なわけだが
Ｑ(ζ)⊂Ｑ(i,a^(1/4),･･･,d^(1/4)) であって、
Ｑ(ζ)＝Ｑ(i,a^(1/4),･･･,d^(1/4)) ではない
Q(ζ)はｉも a^(1/4) も・・・d^(1/4) も、要素としてもってないから！
901:わかるすうがく
22/12/17 16:48:28.50 vkjQzDmx.net
>>832
>(参考)
雑談クン、中身全く読んでないでしょ
それじゃ、いつまでたっても、数学は全く理解できないよ
まず、「頂を踏む」のp412~p421 合計10ページを読もう
ここ読めば、１のベキ根の解き方
（もっといえばラグランジュの分解式の使い方）
が分かる
雑談クン、1度も読んでないでしょ
まず、1度読んで！
902:わかるすうがく
22/12/17 18:07:51.40 vkjQzDmx.net
>>832
ζが1の11乗根でも834と同じ手が使える
1→2→4→8→5→10→9→7→3→6→1
ωを1の原始10乗根として
ラグランジュの分解式は以下の通り
ζ+ωζ^2+ω^2ζ^4+ω^3ζ^8+ω^4ζ^5-ζ^10-ωζ^9-ω^2ζ^7-ω^3ζ^3-ω^4ζ^6
これにωを掛けると名目上10通り、実質は5通り（ω^5＝-1だから）
そういう意味でいえば
1の5乗根のラグランジュの分解式は2通り で 追加するのは平方根
1の7乗根のラグランジュの分解式は3通り で 追加するのは３乗根
1の11乗根のラグランジュの分解式は5通り で 追加するのは５乗根
ってことか
903:現代数学の系譜 雑談
22/12/17 18:14:33.04 EhW0UvWQ.net
>>832 追加
もっと戻ると
１）
>>371-372より
(引用開始)
可解な既約5次方程式の代数解法には
必ず5乗根が必要なことを示せ。
注意：5乗根の中身が基礎体に含まれるとは限らない。
例:
x^5 + 6 x^4 - 12 x^3 - 32 x^2 + 16 x + 32=0
はQ上可解な既約5次方程式だが
5乗根の中身は、Q(ζ_5)の数になる。
（ζ_5は、1の原始5乗根。）
(引用終り)
だった
２）この問いそのものが、クンマー拡大＆クンマー理論でしょ？
３）なんで>>832
「既約で可解な5次方程式の最小分解体 Q(a1,a2,a3,a4,a5)には、方程式の係数から決まるある無理数a^(1/5)が含まれる」(私の発言)
vs
「それが間違ってるって最初から言ってるじゃん。
Q(a1,a2,a3,a4,a5)/Q がガロア拡大であり、かつa^(1/5)が含まれるなら
a^(1/5)の「共役」もすべて含まれなければならない。（ガロア拡大の定義から。）
これはQ(a1,a2,a3,a4,a5)が実の体であれば矛盾する。
したがって、a^(1/5)は「含まれない」」（あなた）
などと、おかしな発言するのかね？
４）あなたは、根本的にというか
結構初歩的なところで
ガロア理論を、なにか勘違いしているんじゃないの？