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乗根を仕込んでおく
>2.途中、Kの元αに対して、α^1/n だけでなく
>
834: α^1/n,{σ2(α)}^1/n,・・・,{σn(α)}^1/n も一緒に加える >と説明している 「クンマー拡大でないとベキ根が出てこない」というのは誤った思い込み 円分拡大でもベキ根が出てくるから >繰り返すが >石井本をちゃんと読めば >ガロア群が位数5の群(5は素数なので巡回群だ)であるとき >5乗根によるクンマー拡大を持つ >もちろん、”予め十分な1のn乗根を仕込んでおく”前提 「Qの拡大でガロア群が位数5の群の場合」 はクンマー拡大ではない >以上まあ、石井本をちゃんと読んでねってことかね おぬしはなぜ第6章の1を全く読まないのか? 読んでいないだろう 読んで理解していたら そんな誤りは決してしないからな
835:現代数学之陥穽 怪談
22/12/15 21:57:29.62 eN8xOiy4.net
解を表す式の中に5乗根が現れるからといって
最小分解体の中に5乗根が含まれるわけではない
1のベキ根をζとしたとき Q(ζ+(1/ζ))の中にはζは含まれない
なぜならζ+(1/ζ)は実数だから
Q(ζ+(1/ζ))は、Q(ζ)の部分体ではあるが、Q(ζ)そのものではない
836:現代数学之陥穽 怪談
22/12/15 22:25:50.04 eN8xOiy4.net
>>773
>クンマーは一旦、完全に忘れろ
とはいえ、ラグランジュのリゾルベントは1のベキ根を導入してるから
「Q上で考えてないじゃん、円分拡大してんじゃん」と言われても仕方ないし
「ベキ根とってんじゃん、実質クンマー拡大じゃん」と言われても仕方ないが
ただ、円分拡大体の巡回拡大を、Qの巡回拡大に「縮小」できる場合は、
最初っから円分拡大の枠内で考えたほうがいいんじゃね?というのはある
837:132人目の素数さん
22/12/16 00:48:57.23 xj8WWQAR.net
リー群で二重被覆表現(スピン)が出てくることがあるけれども、
代数函数のリーマン面のように、三重被覆とか四重被覆とか
五重被覆が出てこない理由をだれか簡単に説明してもらえないだろうか?
838:現代数学之陥穽 怪談
22/12/16 05:21:58.70 qsccuf5Z.net
いかん、全てわかってしまった・・・
ガロアはn次方程式f(x)=(x-θ_[0])・・・(x-θ_[n-1])を
c0θ_[0]+・・・+c1θ_[n-1]と、根θ[i]の置換で得られる
n!個の数σ[j]を根とする方程式
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に対して、剰余群が巡回群となるような
正規部分群をとり続けることで、単位群まで縮小できれば
元の方程式が、ベキ根を解くことで根を求められる筈
実際3次も4次もそうやって解けた
しかし!5次以上では交代群Anが、自分と単位群以外の
正規部分群を持たないからその戦略が破綻する!!!
839:現代数学の系譜 雑談
22/12/16 08:26:46.60 5lN5KQGq.net
>>776
無理
多分5chでは無理
おしえてgooか、yahoo知恵袋へ投稿が良いんじゃね?
投稿したらおしえて下さい。
840:現代数学の系譜 雑談
22/12/16 08:32:37.02 5lN5KQGq.net
>>777
そうだろw
1)円分拡大とクンマー拡大とは矛盾しない
2)というか、クンマー拡大は円分拡大を包含している(a=1がクンマー拡大中で円分拡大になる)
3)ガロア群の位数5と、クンマー拡大の次元5は関連している。これは既約方程式で5次であることとも関連している
4)円分拡大とクンマー拡大と全部合わせて、ガロア理論
このあらすじが、分かってないね
841:132人目の素数さん
22/12/16 09:57:00.48 2jW05cQt.net
>クンマー拡大は円分拡大を包含している(a=1がクンマー拡大中で円分拡大になる)
だから、その理解が間違っている。クンマー拡大と円分拡大ではガロア群の作用の仕方が違う。
「円分拡大=クンマー拡大K=k(a^{1/n})のa=1のとき」ではない!
>ガロア群の位数5と、クンマー拡大の次元5は関連している。これは既約方程式で5次であることとも関連している
出た!
842:数学ワカランチンがよく言うワード「関連している」w だからさ、数学は「連想ゲーム」じゃないんだよ。 「関連している」なら誰でも言えるが、数学ワカランチンが言う場合は 「何も分かってない」ときのフラグである場合が多い。 >このあらすじが、分かってないね 「あらすじ」で数学を理解しているつもりの結果が 「ガロア理論を10年勉強してモノにならなかった」という現実。
843:現代数学の系譜 雑談
22/12/16 12:16:15.91 Bc1n6x8o.net
>>780
>だから、その理解が間違っている。クンマー拡大と円分拡大ではガロア群の作用の仕方が違う。
話が上滑りだよ
1)群の作用を論じるならば、下記 佐々木隆二のように群Gと作用域Λ 最低限この2つを定義してね
2)さらに、ガロア群は、一般に二つの定義があるみたいだけど? どっち?
3)さらに、基礎体の取り方で、違いがあるよね
(基礎体をQとして、クンマー拡大を考えるとき、1のべき根ζが十分添加されたQ(ζ)を考える。ここもはっきりさせてね)
4)また、普通には、下記のように体の拡大のガロア群を考えるよね
ガロア理論の基本定理から代数方程式の可解性へ繋がるのがこれだから
これらを明確に
(参考)
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
講義要項 2011年代数学 C, D 講義要項
2010年代数学入門講義要項
*代数の基礎[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:132人目の素数さん
22/12/16 19:04:15.87 2jW05cQt.net
Q(ζ_p^2)/Q(ζ_p) は実はクンマー拡大である。
しかし、
Q(ζ_p)/Q はどう考えてもクンマー拡大にはならない。
>クンマー拡大は円分拡大を包含している(a=1がクンマー拡大中で円分拡大になる)
というのがバカ発言なのであるw
847:132人目の素数さん
22/12/16 19:09:46.76 2jW05cQt.net
>>781-783
コピペは出来ても、自分の頭では理解できてないから
自分の頭で数学を出力することが出来ない。
肝心なことが何かも分かってないから、コピペの羅列になる。
848:132人目の素数さん
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:132人目の素数さん
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:132人目の素数さん
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
>だから、その理解が間違っている。クンマー拡大と円分拡大ではガロア群の作用の仕方が違う。
話が上滑りだよ
1)群の作用を論じるならば、下記 佐々木隆二のように群Gと作用域Λ 最低限この2つを定義してね
2)さらに、ガロア群は、一般に二つの定義があるみたいだけど? どっち?
3)さらに、基礎体の取り方で、違いがあるよね
(基礎体をQとして、クンマー拡大を考えるとき、1のべき根ζが十分添加されたQ(ζ)を考える。ここもはっきりさせてね)
4)また、普通には、下記のように体の拡大のガロア群を考えるよね
ガロア理論の基本定理から代数方程式の可解性へ繋がるのがこれだから
(引用終り)
早く答えて
自分の書いた文の定義を聞かれて
答えられないってのは
数学ではダメダメですよw
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
つづき
一般に1の原始n乗根(primitive nth root of unity)の1つをζnで記述することにします。そして帰納法の仮定として,問題としている素数pに対し,m≦(p-1)の1の原始m乗根はすべてベキ根で解けると仮定します。
また,ζp は1の原始p乗根の1つですからp-1次の円分方程式を満足し,この円分方程式はpが素数なのでQを有理数体としてQで既約ですから,Qにζpを添加した拡大体Q(ζp)については,次数は[Q(ζp):Q]=p-1です。そしてこの円分方程式のガロア群(Galois group)Gal(Q(ζp)/Q)は(Z/pZ)×に同型なので,アーベル群(Abel group)であり,それゆえ可解群(solvable group)です。
略
それゆえ,ガロアの偉大な定理によってQ'(ζp)/Q'もベキ根による拡大になります。したがってQ'(ζp)の元ζpはQ'の上でベキ根で解けるはずですが,Q'=Q(ζp-1)におけるζp-1自身も帰納法の仮定によってQの上でベキ根で表わせるのですから,結局のところζpはQの上でベキ根で解けることが示されたことになります。
ガロア理論を理解するために1のベキ乗根をベキ根で表わせることを証明したいと思って,ガウスの証明を参照したかったのですが,肝心のところに関する参考文献が,当面のところ不明だったので,結局ガロア理論を用いてしまったわけで我ながらいささか本末転倒の感があります。
参考文献:原田耕一郎 著「群の発見」(岩波書店),足立恒雄 著「ガロア理論講義」(日本評論社)
(引用終り)
以上
859:132人目の素数さん
22/12/16 21:40:50.51 2jW05cQt.net
>>791
ガロア理論10年以上勉強して「ガロア群の作用」も分かってないのがダメだね
そんなひとにも分かる説明ってあるの?w
ガロア群の作用が何通りもあると思ってるフシがあるし。
本質的には一通りですよ。でなきゃ、「絶対ガロア群」なんて定義できない。
860:132人目の素数さん
22/12/16 21:42:08.83 2jW05cQt.net
10年以上ガロア理論勉強して、本も多数揃えているという1=雑談のバカ発言
>クンマー拡大は円分拡大を包含している(a=1がクンマー拡大中で円分拡大になる)
アホかww
aが5乗数じゃないとき
x^5-a=0 の根たち、a^{1/5},a^{1/5}ζ_5,...,a^{1/5}ζ_5^4
はすべて共役で、ガロア群が推移的に作用している。
一方で、a=1のときa^{1/5}=1にどんなガロア群を作用させても不変ですよww
861:132人目の素数さん
22/12/16 22:01:24.71 2jW05cQt.net
1はコピペする前に>>728読んで理解しろ。
これで理解できないなら、どんな本読んでも理解できないよ。
862:現代数学の系譜 雑談
22/12/16 23:47:10.67 5lN5KQGq.net
再度問う
>>781より再録
>>780
>だから、その理解が間違っている。クンマー拡大と円分拡大ではガロア群の作用の仕方が違う。
話が上滑りだよ
1)群の作用を論じるならば、下記 佐々木隆二のように群Gと作用域Λ 最低限この2つを定義してね
2)さらに、ガロア群は、一般に二つの定義があるみたいだけど? どっち?
3)さらに、基礎体の取り方で、違いがあるよね
(基礎体をQとして、クンマー拡大を考えるとき、1のべき根ζが十分添加されたQ(ζ)を考える。ここもはっきりさせてね)
4)また、普通には、下記のように体の拡大のガロア群を考えるよね
ガロア理論の基本定理から代数方程式の可解性へ繋がるのがこれだから
(引用終り)
早く答えて
自分の書いた文の定義を聞かれて
答えられないってのは
数学ではダメダメですよw
863:現代数学の系譜 雑談
22/12/16 23:57:16.97 5lN5KQGq.net
>>796
ふっ
ID:2jW05cQtさん、必死でゴマカスの図かよw
>ガロア群の作用が何通りもあると思ってるフシがあるし。
>本質的には一通りですよ。でなきゃ、「絶対ガロア群」なんて定義できない。
>>780より
>だから、その理解が間違っている。クンマー拡大と円分拡大ではガロア群の作用の仕方が違う。
この>>780って、ID:2jW05cQtさん、
あなたの発言だよ
>ガロア理論10年以上勉強して「ガロア群の作用」も分かってないのがダメだね
>そんなひとにも分かる説明ってあるの?w
説明しろとは言ってないよ
>>799の通りだ
まず、
「群の作用を論じるならば、佐々木隆二のように群Gと作用域Λ 最低限この2つを定義してね」
ってこと
おれが理解できなくても
アホなことを書いたら
周りからツッコミあるよね
それが怖くて書けないんだろ?w
やれやれwww
864:132人目の素数さん
22/12/17 00:43:29.80 Yvnw5Kb3.net
バカに説明する労力が惜しい。貴方のバカ発言
>クンマー拡大は円分拡大を包含している(a=1がクンマー拡大中で円分拡大になる)
に対する明確な反例は>>797で挙げてありますよ。
まずはこの事実を理解しましょう。
「揚げ足取るために、たくさん書かせよう」
なんて根性腐ってますね。なお、これまでたくさん書いてきたが
残念ながらツッコミは無い。>>728さんはわたしではない。
865:132人目の素数さん
22/12/17 01:14:58.76 Yvnw5Kb3.net
まさかとは思ったが、「ζ_nへのガロア群の作用」という
ガロア理論中の超重要例であり、常識とも言える内容を
理解していない様子からしても、>>728の見立てが正しいと
言わざるを得なかった次第。
866:132人目の素数さん
22/12/17 04:41:56.18 Yvnw5Kb3.net
一箇所とんでもない勘違いしてた。
>>738の勘違い。
>一旦Q(ζ_5)を経由してクンマー拡大すると
>一般的にそれはQ上非アーベル拡大になることは理解してますかね?
リゾルベントを構成するのに円分体の数しか使ってないんで、非アーベルになるわけないですね。
謹んで訂正致します m(__)m
867:132人目の素数さん
22/12/17 05:00:57.80 Yvnw5Kb3.net
Q上の5次巡回方程式を解くときのラグランジュリゾルベント
も含めてすべての数はQ(ζ_{5p})に含まれている。
pは10n+1型の素数または5。
868:132人目の素数さん
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で2つトリップつかってるので
「怪談」と私が同じ人物であることが証明されますね
>>802
>「ζ_nへのガロア群の作用」という
>ガロア理論中の超重要例であり、
>常識とも言える内容を
>理解していない様子からしても、
> 728の見立てが正しいと
>言わざるを得なかった次第。
まあ、雑談クンは、以前に
「(Z/pZ)×の位数がp」
�
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
がわかりやすい ガウスすげぇ!
>ガロア理論で
>「1のベキ乗根はベキ根で解けるか?(円分多項式の根)」
>を解いているよ つまり、
>ガロア理論=体の拡大とガロア群の関係
>→そこからべき根による可解性判定もできる
解くだけのことなら、ガロア理論とかいう前に
ラグランジュの分解式でできるよ
石井本の第6章の1
p412~421 の10ページ分
そこに7次の場合の実例つきで全部書いてあるから
理解できるまで何度でも読んでみて
あ、音読はしなくていいよ
声に出すことばかり意識すると
内容が全く分からなくなるから
728で指摘したことは、p417で書いてあるよ
なんで、3,2,6,4,5,1なのか
3^2= 9= 2 (mod7)
3^3= 27=2×3=6 (mod7)
3^4= 81=6×3=4 (mod7)
3^5=243=4×3=5 (mod7)
3^6=729=5×3=1 (mod7)
だからだけど、そもそも
「なんでべきをとってるのか?」
を考えてね、ついでにいうと、
3じゃなくても5でもいいけど
2や4や6じゃダメだよ
なんでかって?考えてみようね
ああ、教育って大変
ガウスもボヤイ父が
「平行線公準が証明できた!」
とかいって証明持ってくるたびに
「またですか ブツブツ」
とかいいながら添削指導してあげたんだろうなあ・・・
873:わかるすうがく
22/12/17 07:49:06.58 vkjQzDmx.net
>>794
>歴史の順番は、
> ラグランジュ・リゾルベント
>→可解性(ガウス)
>→アーベル理論
>→ガロア理論(クンマー拡大・クンマー理論)
>という流れだ
で、そもそも、雑談クンは
「なんで、ガロア群が巡回群だと、
ラグランジュの分解式(リゾルベント)
で解けるのか」
全然分かってないでしょ
なんで解けるのか、
なんでそれがクンマーと結びつくのか
>>777で述べたんだけど
ということで777読んでみて
書き忘れたけど、
ラグランジュの分解式のn乗は
解くべきθが現れない形で求められる
そうでなかったら、そもそも意味ないよなw
874:わかるすうがく
22/12/17 08:05:50.75 vkjQzDmx.net
それにしても、777で歴史的書き込みが出来たのは偶然なのか・・・
875:現代数学の系譜 雑談
22/12/17 09:05:39.76 EhW0UvWQ.net
>>801-805
くっさぁ~!w
笑えるよ
>>800より
”説明しろとは言ってないよ
>>799の通りだ
まず、
「群の作用を論じるならば、佐々木隆二のように群Gと作用域Λ 最低限この2つを定義してね」
ってこと”
(引用終り)
自分の書いたこと=「群の作用」
について
”群Gと作用域Λ 最低限この2つを定義してね”
と言われて
これが出来ない
(
876:多分、出来ないというよりも、自分の誤解か分かってないことに気付いたかなw) で、必死にゴマカスww 「バカに説明する労力が惜しい」>>801 と言いながら 言い訳を、グダグダと5連投する 5連投する暇があれば ”群Gと作用域Λ この2つの定義” さっと書けばいいだけのこと それが出来ないのは、出来ない事情があるんだね!www
877:わかるすうがく
22/12/17 09:11:34.34 vkjQzDmx.net
>>811
>”群Gと作用域Λ この2つの定義”
>さっと書けばいいだけのこと
>それが出来ないのは、
>出来ない事情があるんだね!
それ、雑談君が答える問題
彼が答えないのは、君に答えを教えることになるから
それが事情
わかった?じゃ、さっさと、>>793答えてね 雑談クン
これ答えられないんじゃ、ガロア理論どころか
そもそも円分拡大がわからんってことになる
10年間、ガロア理論の本を積読して、
掲示板でバカ書いてただけってことになる
まあ、それが実態ってことは、みんなわかってるけど
それでいいのかい?君の人生
878:わかるすうがく
22/12/17 09:21:50.37 vkjQzDmx.net
>>812
>じゃ、さっさと、>>793答えてね 雑談クン
ほぼ、>>808で答えを書いてるけどね
5乗根の場合、〇乗ならOKで●乗はNG
さあ、〇と●に入る数はそれぞれ何でしょう
ああ、もう、ここまで出かかってるわ
879:現代数学の系譜 雑談
22/12/17 09:39:48.19 EhW0UvWQ.net
>>771
>以上まあ、石井本をちゃんと読んでねってことかね
>(どのガロア本でも、似たことは書いてあるけどね)
年末忙しいので、結論を急ぐよ
下記の大阿久先生のPDFに、ちゃんと書いてあるね
(下記引用より原文の方が、圧倒的に見やすいよ)
下記大阿久より
1)”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 上の分解体となる”
にご注目
ここが、ガロア理論の眼目ですよ
2)ガロア群で、位数 ni:= [Fi: Fi?1] の巡回群→ある ai ∈ Fi?1 が存在して Fi は x^ni ? ai の Fi?1 上の分解体となる
3)だから、ガロア理論で、べき根ni√aiが導かれる
4)位数5の巡回群なら、5乗根が導かれる
ということです
(注:ni√aiは、aiのni乗根です。他も同様。5chでは、こういう数学記号が正確に書けないので、数学の議論には不便です)
(なお、下記で「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つを表す
ものとする.(仮定より 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
雑談クンは本当に探しものがヘタだねぇ
答えが書いてあるのはそこじゃないよ
p30の例1に書いてあるじゃない
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乗根ζを掛けるのが巡回関数
だからζを体に追加する必要がある
雑談クン、それ全然理解せずに、ただ何の根拠もなく
「クンマー拡大には、1のn乗根の追加が必要!」
っていってたでしょ それじゃ数学分かったことにならないよ
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つを定義してね”
>と言われて
>これが出来ない
>(多分、出来ないというよりも、自分の誤解か分かってないことに気付いたかなw)
>で、必死にゴマカスww
この人(ID:Yvnw5Kb3氏)は
ガロア理論を根本的に誤解していたんだね
1)
そもそも、躓きは>>547 の
”Q2
「5乗根の添加」によってつくられた解を添加した、元の方程式の最小分解体の中に、
5乗根そのものは要素として含まれる?”
(引用終り)
から始まっているんだ
>>814 大阿久PDFにあるように
”方程式 f(x) = 0 が K 上でべ
き根によって解けるまたは K 上可解であるとは,f(x) = 0 のすべての根が K の元から
出発して,べき乗根(2 項方程式の根)と 1 のべき乗根および四則演算を組み合わせて表
示できることと定義する.”>>815
こういう体の拡大で考えておけばよかったべw
2)
これで、定理 12.1 の証明にあるように、位数5の巡回群なら方程式の根の表示に5乗根を使うってこと
あと、この人、ガロア理論を、>>391のように”方程式の最小分解体”ベースで考えていたのかな?
それで、きっと思考の迷路に入ってしまったんだね
3)
そこを突かれると、「群の作用」と言い出したんだ
(例えば、>>678"何かの5乗根にガロア群を作用させるとζ_5が出てくる。
ζ_5はQ(ζ_11)には含まれないから矛盾する"
とかw
ちゃんと、群Gと作用域Λ この2つを定義しないと議論が上滑りだよね。「ζ_5が出てくる」? なにそれ?w)
4)
さらに、”群Gと作用域Λ 最低限この2つを定義してね”(上記)と言われて、答えられず
そりゃあ、そうでしょうね。「群の作用」なんて、論点ずらしで持ち出しただけだものねw
以上
885:現代数学の系譜 雑談
22/12/17 10:53:23.21 EhW0UvWQ.net
>>800 追加
>ガロア理論10年以上勉強して「ガロア群の作用」も分かってないのがダメだね
別に、私がガロア理論を理解しているとかいうつもりはないけど
分かってない人から、言われてもねw
「ガロア群の作用」ね
だから、”群Gと作用域Λ 最低限この2つを定義してね”と
ガロア群Gは、基礎体の取り方で違うよね。基礎体をどうするの?
作用域Λは? 方程式の根とするのか、拡大体(の自己同型)とするのか?
これが、答えられないんだねwww
(参考)
URLリンク(hooktail.sub.jp)
hooktail
体の自己同型写像
自己同型写像の群
886:132人目の素数さん
22/12/17 11:23:17.95 Yvnw5Kb3.net
>>819
頭悪いね。
問は意味はなしているのだから、正しく答えればよかっただけ。
問が意味をなしていないなら、ナンセンスだけど、意味をなしているのだから。
それで、方程式を解く際にあらわれるべき根は
最小分解体に含まれないことは理解できましたか?
887:132人目の素数さん
22/12/17 11:34:47.11 Yvnw5Kb3.net
>>820
>ガロア群Gは、基礎体の取り方で違うよね。基礎体をどうするの?
>作用域Λは? 方程式の根とするのか、拡大体(の自己同型)とするのか?
それが分からないのが、貴方がガロア理論を理解してないって証拠。
「ガロア群の作用」が何通りもあると思ってるんでしょ?
バカだねぇww
基礎体をどうしようが、「部分群になる」という制限が入るだけ。
>方程式の根とするのか、拡大体(の自己同型)
どちらも同じだよ。方程式の根とした場合、体のk自己同型を
根に制限したものになってるだけ。
それが分かってないのが1=雑談。
888:132人目の素数さん
22/12/17 11:42:28.57 Yvnw5Kb3.net
再掲>>797
10年以上ガロア理論勉強して、本も多数揃えているという1=雑談のバカ発言
>クンマー拡大は円分拡大を包含している(a=1がクンマー拡大中で円分拡大になる)
アホかww
aが5乗数じゃないとき
x^5-a=0 の根たち、a^{1/5},a^{1/5}ζ_5,...,a^{1/5}ζ_5^4
はすべて共役で、ガロア群が推移的に作用している。
一方で、a=1のときa^{1/5}=1にどんなガロア群を作用させても不変ですよww
889:132人目の素数さん
22/12/17 12:00:30.64 Yvnw5Kb3.net
ガロアが定義したガロア群とデデキントが定義したガロア群の関係。
前者は後者の忠実な置換表現になっている。つまり同型。
本質的に同じ。特に考えている根に限ればまったく同じ。
890:132人目の素数さん
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より再録
くっさぁ~!w
笑えるよ
>>800より
”説明しろとは言ってないよ
>>799の通りだ
まず、
「群の作用を論じるならば、佐々木隆二のように群Gと作用域Λ 最低限この2つを定義してね」
ってこと”
(引用終り)
自分の書いたこと=「群の作用」
について
”群Gと作用域Λ 最低限この2つを定義してね”
と言われて
これが出来ない
(多分、出来ないというよりも、自分の誤解か分かってないことに気付いたかなw)
で、必死にゴマカスww
「バカに説明する労力が惜しい」>>801
と言いながら
言い訳を、グダグダと5連投する
5連投する暇があれば
”群Gと作用域Λ この2つの定義”
さっと書けばいいだけのこと
それが出来ないのは、出来ない事情があるんだね!www
(引用終り)
今回も、
言い訳を、
グダグダと5連投ねw
>このスレで最初にクンマー拡大の話を出したのはわたし。>>391
そう確かに、このスレ限定ではねw
気付いているよ(多分言い訳に出したんだねw)
しかし、クンマー拡大は旧ガロアスレで、さんざん出てきた
代数方程式の代数解法のガロア理論は、クンマー拡大抜きでは成り立たないよ。当然ですが
892:132人目の素数さん
22/12/17 13:48:31.70 Yvnw5Kb3.net
1=雑談って、>>615で
>例えば、X^2=2 だとQ(√2)で2次だが、X^2=-2 だとQ(√2,i)と4次になる
と認知症レベルの間違いしてるじゃん。
垂れ流し老人じゃんw
893:132人目の素数さん
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:132人目の素数さん
22/12/17 14:07:41.94 Yvnw5Kb3.net
では、「円分拡大=クンマー拡大のa=1のとき」の説明できますかね?
できるわけない。間違ってるからww
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
で、いける、とおもってるでしょw
でも、これがダメなんだなあ
だって
f(ζ^4)=ζ^5=1
で、ζにならない!
f(x)=ζになるxは1だけど 1は根じゃない!
はい、ここで、雑談クンの
「円分方程式の解のガロア群による作用は
x^5-2=0の解のガロア群による作用と全く同じ」
というナイーブな直感が、誤っていることが明確に示されました!
ということで、核心の問いに戻るよ
ζ、ζ^2、ζ^3、ζ^4 の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進法で表すことを考えてみようか
1→2→4 までは10進法と同じ 問題はこの後
8は5進法で表すと・・・13だね そして
16は5進法で表すと・・・31
1の位に着目すると、
1→2→4→3→1
ついでにいうと、3^xを5進法で表しても
3^2=9=14(5進法)
3^3=27=102(5進法)
3^4=81=311(5進法)
1の位に着目すると
1→3→4→2→1
もういい加減に気づいてくんないかな 雑談クンw
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)は「含まれない」
(引用終り)
戻る
1)元々は、>>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次方程式はすべて実根だ
2)全て実根だから、 上記の最小分解体⊂Q(a1,a2,a3,a4,a5)*)⊂R(実数)
*)注 形式的に5実根添加した拡大体
3)よって、最小分解体には 1の5乗根の原始根ζ5は含まれないが、
しかし、クンマー拡大で何かの5乗根a^(1/5)が含まれるべき
これを否定する人がいるんだw
4)a^(1/5)の存在を示すには、cos(2kπ/11)が何かの5乗根a^(1/5)を含む表式で表されれば分かる
(つまり、1/cos(2kπ/11)も、何かの5乗根a^(1/5)を含む表式で表される)
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でもいいわけではないけど、要件を満たす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が得られ
同様の4つのラグランジュの分解式
a^(1/4),b^(1/4),c^(1/4),d^(1/4)の線型結合
でζが得られるって寸法なわけだが
Q(ζ)⊂Q(i,a^(1/4),・・・,d^(1/4)) であって、
Q(ζ)=Q(i,a^(1/4),・・・,d^(1/4)) ではない
Q(ζ)はiも a^(1/4) も・・・d^(1/4) も、要素としてもってないから!
901:わかるすうがく
22/12/17 16:48:28.50 vkjQzDmx.net
>>832
>(参考)
雑談クン、中身全く読んでないでしょ
それじゃ、いつまでたっても、数学は全く理解できないよ
まず、「頂を踏む」のp412~p421 合計10ページを読もう
ここ読めば、1のベキ根の解き方
(もっといえばラグランジュの分解式の使い方)
が分かる
雑談クン、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通り で 追加するのは3乗根
1の11乗根のラグランジュの分解式は5通り で 追加するのは5乗根
ってことか
903:現代数学の系譜 雑談
22/12/17 18:14:33.04 EhW0UvWQ.net
>>832 追加
もっと戻ると
1)
>>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乗根。)
(引用終り)
だった
2)この問いそのものが、クンマー拡大&クンマー理論でしょ?
3)なんで>>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)は「含まれない」」(あなた)
などと、おかしな発言するのかね?
4)あなたは、根本的にというか
結構初歩的なところで
ガロア理論を、なにか勘違いしているんじゃないの?
904:132人目の素数さん
22/12/17 18:21:10.50 vkjQzDmx.net
>>836
>これにωを掛けると名目上10通り、実質は5通り(ω^5=-1だから)
>そういう意味でいえば
>1の5乗根のラグランジュの分解式は2通り
>1の7乗根のラグランジュの分解式は3通り
>1の11乗根のラグランジュの分解式は5通り
いや、そういう�
905:搴�ではないな
906:わかるすうがく
22/12/17 18:28:38.53 vkjQzDmx.net
>>837
>「既約で可解な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)は「含まれない」」(名無し2号の出木杉クンの発言)
正しいのは出木杉クン
根の式には「1の5乗根」や「ある数aの5乗根」は現れます
し・か・し、
「だ・か・ら
既約で可解な5次方程式の最小分解体 Q(a1,a2,a3,a4,a5)に
1の5乗根も方程式の係数から決まるある無理数a^(1/5)も含まれる」
とはいえません
だって根が全部実数の、既約で可解な5次方程式が実際存在しますから
残念!!!
907:現代数学の系譜 雑談
22/12/17 18:40:50.16 EhW0UvWQ.net
>>779 補足
> 2)というか、クンマー拡大は円分拡大を包含している(a=1がクンマー拡大中で円分拡大になる)
まあ、例えて言えば
特殊相対性理論:円分拡大
一般相対性理論:クンマー拡大
という感じかな
いま、aが複雑な計算式で、a=1と気づかずに、クンマー拡大・クンマー理論で考えて結果を出した
その後、a=1と気づいた
そのとき、最初のクンマー拡大・クンマー理論で考えて出した結果は、全く無駄か?
そうではないよね
途中の計算に間違いがなければ、得られた結果はそれなりに正しいはず
勿論、a=1と気づいていたら
もっと簡単だったろうが
そして、両者を統合するのが、ガロア理論だろう
ガロア理論自身は、べき根拡大に限らない
楕円モジュラー関数とか超幾何級数とか
べき根以外の関数も使えるよ
どこでどう迷い道に入ったか知らないが
”a^(1/5)は「含まれない」”ね >>837
早く、自分の間違いに気づくのが いいだろうよ
(参考)
URLリンク(ja.wikipedia.org)
代数方程式
五次方程式
楕円モジュラー関数により 五次方程式の公式が得られる。
超幾何級数を用いた解の公式は、クラインにより示された。
908:132人目の素数さん
22/12/17 19:06:32.00 Yvnw5Kb3.net
>>837
>あなたは、根本的にというか
>結構初歩的なところで
>ガロア理論を、なにか勘違いしているんじゃないの?
それって、ガロア拡大が何かも分かってない貴方 1=雑談じゃん。
・まず、Q(a1,a2,a3,a4,a5)/Q(既約方程式の全ての根を添加した体)
はガロア拡大である。
・Q(a1,a2,a3,a4,a5)=Kとおくと、Kの数がQ上みたす既約方程式の根は
すべてKに含まれる。(ガロア拡大の性質。)
・もしa^{1/5}∈Kならば、a^{1/5}がQ上みたす方程式
x^5-a=0の根はすべてKに含まれなければならない。
・Kが実の体であれば矛盾、したがって、a^{1/5}\not∈K
という簡単なロジックですよ。
909:132人目の素数さん
22/12/17 19:12:52.09 Yvnw5Kb3.net
数学において、ガロア拡大(ガロアかくだい、英: Galois extension)
は、体の代数拡大 E/F であって、正規拡大かつ分離拡大であるもののことである。
正規拡大
URLリンク(ja.wikipedia.org)
同値な性質、および例
・L に根をもつような K[X] のすべての既約多項式は
L に根をすべてもつ。すなわち、L[X] において一次式に分解する。
(多項式は L で 分解する (split) と言う。)
はい、1=雑談はガロア拡大の性質さえ分かってませんでした。
まったく驚かないけど。
910:132人目の素数さん
22/12/17 19:29:41.69 Yvnw5Kb3.net
正直1=雑談にガロア理論は無理w
一番体感できる方法は
3次方程式のカルダノの解法で得られる3つの根から
加減乗除で3乗根の部分を取り出せないことを
泥臭い計算で確かめること。
それが工学部卒、数学実質高卒の
1=雑談が納得する方法。
911:現代数学の系譜 雑談
22/12/17 20:17:19.69 EhW0UvWQ.net
>>839
> 既約で可解な5次方程式の最小分解体 Q(a1,a2,a3,a4,a5)に
> 1の5乗根も方程式の係数から決まるある無理数a^(1/5)も含まれる」
> とはいえません
> だって根が全部実数の、既約で可解な5次方程式が実際存在しますから
1)数学の議論になってないね
根が全部実数になることと、無理数a^(1/5)が含まれることは両立するよ
その実例が、そもそもの方程式に使われた、1/cos(2kπ/11)やcos(2kπ/11)です>>832
2)なぜ5乗根が必要かも説明できるし、すでに解答済み
それが>>381で
「1)ガロア第一論文の
912:最後にあるように、 既約5次方程式で可解な場合には、方程式の群は位数20の線形群になる (アルティン第3章3節、Coxガロア理論下、彌永 ガロア本 第二部などご参照) 2)既約5次方程式で、重根を持たないとする(これ重要) 根 a1,a2,a3,a4,a5 の5つは、相異なるので、 巡回置換 (a1,a2,a3,a4,a5)が存在し、従って位数5の巡回群が方程式の群に含まれる 3)ガロア第一論文の最後にあるように、方程式の群の可解列で、最後{e}(下記では{1}) の一つ前が、位数5の巡回群になる。これに対応するのが、5乗根の添加で 例えば x^5=aで ここから、1の5乗根が出る これで、上記への回答はほぼ終わりだ 4)さて、追加で下記三次方程式における還元不能問題がある (還元不能問題とは、下記のあるように全部実根でも、途中で虚数を必要とすることをいう) 5)5次方程式を含む一般の方程式の還元不能問題については Coxガロア理論下 第III部 第8章 8.6節に詳しい 6)例えば、 命題8.6.4: M⊂Lはガロア拡大で、L⊂Rをみたし、 ある奇素数pに対して[L:M]=pをみたすと仮定する。 このときLはMの実べき根拡大の中に入り得ない 証明(略)(Coxを見よ) この命題は、不還元の場合の解析において鍵となる道具であると書かれている 7)上記の「必ず5乗根が必要」については、これで分かる なお、詳しく書き出せば切りが無い(実はめんどくさい)ので、この程度で終わる」 です つづく
913:現代数学の系譜 雑談
22/12/17 20:20:08.41 EhW0UvWQ.net
>>844
つづき
3)補足すると、既約で可解な5次方程式のガロア群は、
”方程式の群は位数20の線形群になる”の部分で
細かく書くと、位数20のフロベニウス群F20⊃位数10の二面体群D5⊃位数5の巡回群C5
(念のため書き直すが F20⊃D5⊃C5)
この順に正規部分群の列を成す(可解列でもある)
4)対応する拡大体は、基礎体をQ(ζ)(=1のべき根が必要なだけ添加されているQの拡大体)
で、Q(ζ)(√a)⊂Q(ζ)(√a)(√b)⊂Q(ζ)(√a)(√b)(c^1/5)となる
(注:Q(ζ)(√a)(√b)(c^1/5)は、Q(ζ)に順に(√a)と(√b)と(c^1/5)とを添加した拡大体。a,b,cは適当な定数)
5)上記の3)と4)の群vs体の対応が、ガロアの基本定理であり
ガロアの第一論文にもある通りです
6)なので、5乗根c^1/5が必要なことは、ガロア理論の必然の帰結で、
ガロアの第一論文にもある通りです
以上
914:わかるすうがく
22/12/17 20:47:23.19 vkjQzDmx.net
>>840
>まあ、例えて言えば
>特殊相対性理論:円分拡大
>一般相対性理論:クンマー拡大
>という感じかな
その発言、中二病って感じかな
>クンマー拡大・クンマー理論で考えて
>結果を出した
>クンマー拡大・クンマー理論で考えて
>出した結果は、全く無駄か?
>そうではないよね
クマクマいってるけど
実際、使ってんのは
ラグランジュの分解式(リゾルベント)
だけど そこ、分かってる?
>a=1と気づいていたら
a=1以前のところが分かってないね
>そして、両者を統合するのが、ガロア理論だろう
>ガロア理論自身は、べき根拡大に限らない
>楕円モジュラー関数とか超幾何級数とか
>べき根以外の関数も使えるよ
モジュラ関数jがーとか
楕円関数の特殊値がーとか
なんとかいう前に
三角関数から理解しなよ
1のベキ根っていうけど
円の等分点だから
>どこでどう迷い道に入ったか知らないが
>”a^(1/5)は「含まれない」”ね
含まれないよ
含まれると思ってるなら間違ってるから
>早く、自分の間違いに気づくのが いいだろうよ
その言葉は鏡の前でいったほうがいいよ 雑談クン
915:132人目の素数さん
22/12/17 20:49:39.42 Yvnw5Kb3.net
「方程式のべき根解法」に焦点を当てた記述の場合
「基礎体には適宜必要な1のべき根を添加しておく」
としてあることがある。
この場合、確かに解法にあらわれるべき根は分解体に含まれる。
しかしそれはガロア拡大の必要条件ではない。
たとえばQ(ζ_7)/Q はガロア拡大。
そして、QにもQ(ζ_7)にもω=ζ_3は含まれないのだから
ζ_7をべき根表示したときの3乗根はQ(ζ_7)には含まれない。
それだけの話なのだが、斜め読み・コピペバカの1=雑談
にはそのことが分からない。
916:わかるすうがく
22/12/17 20:52:33.45
917:vkjQzDmx.net
918:132人目の素数さん
22/12/17 21:03:50.45 Yvnw5Kb3.net
無理数a^(1/5)が実数だとしても、「共役」
としてa^(1/5)ζ_5が生じるのだから、それらの割り算で
ζ_5が生じる。したがって、「Q上のガロア拡大である」
かつ「ζ_5を含まない」いかなる代数体Kにも
a^(1/5)は「含まれない。」
(>>842の正規拡大の性質参照のこと)
919:現代数学の系譜 雑談
22/12/17 23:34:02.06 EhW0UvWQ.net
>>840 追加
>いま、aが複雑な計算式で、a=1と気づかずに、クンマー拡大・クンマー理論で考えて結果を出した
>その後、a=1と気づいた
>そのとき、最初のクンマー拡大・クンマー理論で考えて出した結果は、全く無駄か?
>そうではないよね
>途中の計算に間違いがなければ、得られた結果はそれなりに正しいはず
例を追加しよう
下記の三次方程式なり、四次方程式の解の公式で、
当然クンマー拡大を使っているのだが
例えば、下記の3乗根3√ξ2を使った解の公式で
ξ2=1のとき、解の公式が不成立になるのではなく、
そのまま解の公式が使えるってこと
つまり、クンマー拡大におけるa=1は、特別な値ではあるが、
特異点のように特別扱いする必要がないってことだ
(解析関数の特異点は、特別扱いが必要なのだが)
(参考)
URLリンク(ja.wikipedia.org)
三次方程式
カルダノの公式
Q(3√ξ1, 3√ξ2, ω) の中で解くことができる
URLリンク(ja.wikipedia.org)
四次方程式
解の公式(全文)
解の公式は以下の通りである:
(引用終り)
以上
920:132人目の素数さん
22/12/17 23:51:05.01 dYzV3NkX.net
元の体Qに対して定義上矛盾したxで拡張した拡大体(x)は定義できますか?
方程式の実数に虚数で拡張したら複素数の解を新たに定義する
i=sqr(-1)
と定義したものを拡大体(i)は{sqr(x)|x>=0に矛盾}定義できますか?
仮に定義できれば拡大体(i)の計算法則の定義の{sqr(x)|x>=0}はどう扱えばいいですか?
高校数学レベルの初学者で申し訳ない...
921:わかるすうがく
22/12/18 00:26:09.74 HDZ6pZhB.net
>>845
>既約で可解な5次方程式のガロア群は、
>位数20のフロベニウス群F20⊃位数10の二面体群D5⊃位数5の巡回群C5
>(念のため書き直すが F20⊃D5⊃C5)
>この順に正規部分群の列を成す(可解列でもある)
で、以下の記述だけど
>対応する拡大体は、
>基礎体をQ(ζ)(=1のべき根が必要なだけ添加されているQの拡大体)
>で、Q(ζ)(√a)⊂Q(ζ)(√a)(√b)⊂Q(ζ)(√a)(√b)(c^1/5)となる
>(注:Q(ζ)(√a)(√b)(c^1/5)は、Q(ζ)に順に(√a)と(√b)と(c^1/5)とを添加した拡大体。a,b,cは適当な定数)
基礎体をQとしたら、どうなる? 例えば
Q(√a)⊂Q(√a)(√b)⊂Q(√a)(√b)(c^1/5)
とできる?
自分で考えてみ
(ヒント 1の5乗根をζとしたとき、Q(ζ)をQ(√a)(√b)で表せる? そのときのa,bは?)
922:わかるすうがく
22/12/18 00:53:57.42 HDZ6pZhB.net
>>843
>一番体感できる方法は
>3次方程式のカルダノの解法で得られる3つの根から
>加減乗除で3乗根の部分を取り出せないことを
>泥臭い計算で確かめること。
>それが工学部卒、数学実質高卒の1=雑談が納得する方法。
さすが、出木杉クン いい提案ですね
いい例がありますよ 雑談クンが>>832でドヤ顔で示したものですが
URLリンク(mathlog.info)
2Cos(2π/7)は、
3次方程式 x^3+x^2-2x-1=0の根の一つで
以下の式で表されます
1/3(-1+((7+21√3i)/2)^(1/3)+((7-21√3i)/2)^(1/3))
で、当然ながらこれは実数です
他の2根は上記の根からCosの2倍角、4倍角の式(当然整数多項式)で求められます
で、これら3つの実数を有理数体Qに追加した体の演算で、
どうやって、複素数である
((7+21√3i)/2)^(1/3) と ((7-21√3i)/2)^(1/3))
をひねくりだすのか?
まあ、無理ですね
Qに実根3つを添加した体は、実数体の部分体ですから
(また、「これが還元不能の例だ!」と叫びそうですけど・・・
どう言い訳しても、間違ったのは雑談クンであって
出木杉クンではないですね 先生が保証します)
工学部卒でもわかることですが、
雑談クンは実は工学部行ってないんじゃないかな?
工業高校を1年の夏で中退したって聞いてますよ
923:わかるすうがく
22/12/18 00:58:32.30 HDZ6pZhB.net
>>851
ちょっと質問の意味がわからないですが、
例えばQ上では、x^2+1=0の根も、x^2-2=0の根も存在しませんが
根をQ上に添加した体は考えられますよ
924:わかるすうがく
22/12/18 01:15:42.39 HDZ6pZhB.net
>>850
>カルダノの公式
>Q(ξ1^(1/3), ξ2^(1/3), ω) の中で解くことができる
853の x^3+x^2-2x-1=0 で考えてみましょう
上記の方程式は、確かに
ξ1=(7+21√3i)/2
ξ2=(7-21√3i)/2
とすれば、Q(ξ1^(1/3), ξ2^(1/3), ω) の中で解けますね
一方、
Q(1/3(-1+((7+21√3i)/2)^(1/3)+((7-21√3i)/2)^(1/3)))は
Q(ξ1^(1/3), ξ2^(1/3), ω)とは一致しません(上が下の部分体です)
「解く」という観点では、ωを添加した体で、3乗根を求めて
その線型結合として解を表してますね
ただし、線型結合からどう頑張っても元の3乗根は取り出せないんですよ
>三次方程式の解の公式で、
>当然クンマー拡大を使っているのだが
>例えば、3乗根3√ξ2を使った解の公式で ξ2=1のとき、
>解の公式が不成立になるのではなく、
>そのまま解の公式が使えるってこと
ξ1、ξ2が、1どころか実数じゃなくてもいいんですよ
でも1/3(-1+ξ1^(1/3)+ξ2^(1/3))だけから、体の計算だけで
どう頑張っても ξ1^(1/3)、ξ2^(1/3) は取り出せない
そういうことです
わかりましたか? 雑談クン
925:132人目の素数さん
22/12/18 05:17:02.66 PXeqpDqi.net
>>855
線形結合から元の3乗根を取り出すには、その数のラグランジュリゾルベントを取ればいい
ラグランジュリゾルベントを作るにはζ_3が必要。
だから、体にζ_3が含まれてるか否かがクリティカルなんですね。
で、なんで線形結合のラグランジュリゾルベントを取ると
べき根が成分ごとに出て来るかというと、それが「直交関係」なわけです。
926:わかるすうがく
22/12/18 06:11:02.84 HDZ6pZhB.net
>>856
出木杉クンは、さすがにいつも的確ですな
>なんで線形結合のラグランジュリゾルベントを取ると
>べき根が成分ごとに出て来るかというと、それが「直交関係」なわけです。
いま、ふと思ったんですが、
例えば以下って特殊なヴァンデルモンド行列ですよね?
1 1 1
1 ω ω^2
1 ω^2 ω
URLリンク(ja.wikipedia.org)
ああっ、またエクスタシーがっ!
927:132人目の素数さん
22/12/18 06:48:34.99 PXeqpDqi.net
>>857
さすがに鋭いですね。
確かにそういう話もあったように思います。
でもなぜそうなのかちょっと思い出せない...
928:わかるすうがく
22/12/18 06:58:31.70 HDZ6pZhB.net
>>858
ま、1,ω、ω^2が異なる数なら
ヴァンデルモンド行列は正則行列になるから
線形方程式系は唯一の解を持ちますよね
ということで、正則行列は大事だぞ 雑談クン!(ビシッ)
929:わかるすうがく
22/12/18 07:03:35.06 HDZ6pZhB.net
今日の私
人__人__人__人__人__人__人__人__人__人__人
Σ て
Σ びっくりするほどヴァンデルモンド! て人__人_
Σ びっくりするほどヴァンデルモンド! て
⌒Y⌒Y⌒Y) て
Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒
_______
__ ヽ(゜∀゜)ノ
\_〃´ ̄ ̄ ヽ..ヘ( )ミ
\,.-~´ ̄ ̄ ω > (∀゜ )ノ
\∫\ _,. - 、_,. - 、 \ ( ヘ)
\ \______ _\<
\  ̄ ̄ ̄ ̄ ̄ ̄ ̄
\_______
930:わかるすうがく
22/12/18 09:00:11.57 HDZ6pZhB.net
さて、10年前のスレに戻ろうか
現代数学の系譜11 ガロア理論を読む
スレリンク(math板)
10年前の雑談クンは、ガロア分解式(リゾルベント)の虜だったようだ
ただ、これをどう扱えば代数的に解けるのか、理解してなかった
群論の言葉を使えば、
置換を、「正規部分群の同値類」でまとめることで
巡回置換を剰余群としてくくり出す操作を反復して単位群まで縮小できれば、
ガロア分解式から各段階の巡回置換に関するラグランジュ分解式が構成でき、
これを反復適用することで解が求められる
(実際、3次、4次の代数方程式の解法はその形で理解できる)
だから、ガロア分解式はラグランジュ分解式の子孫である
しかし、残念ながら、5次以上の対称群は、交代群までは潰せるけど
交代群は自身と単位群以外の正規部分群を持たないから、
「巡回群を剰余群としてくくり出す作戦」が使えない
これが結末である
Q.方程式を
931:代数的に解く方法とは何か? A.ラグランジュ分解式によって、ベキ根と線型代数で解く 謎は解けたよ 雑談クン(シャーロック・ホームズかいw)
932:わかるすうがく
22/12/18 09:04:52.39 HDZ6pZhB.net
方程式論におけるガロア理論の役割は、
数学理論におけるゲーデルの不完全性定理の役割と
同じかもしれん
一般の方程式が代数的に解けない
一般の論理式が論理的に充足判定できない
しかし、決して否定的結果で終わったわけではない
解ける方程式の研究は続けられ結実した
定理の証明の営みも続けられている
933:わかるすうがく
22/12/18 09:17:16.71 HDZ6pZhB.net
方程式論における重要テクニックがラグランジュの分解式なら
論理学における重要テクニックは何か?
私ならこう答える 「タブローの方法」
但し、述語論理では充足不能でない論理式のタブローは
延々と開いたままで閉じない
閉じないことが判定できるかどうかが問題だった
そしてそれは不可能だとわかった
だからといってこのテクニックが無意味なわけではない
充足不能ならタブローは閉じる
つまりある定理の証明が存在するなら
その定理の否定は充足不能であり
タブローを閉じることで証明が得られる
なんでこんな基本的なことを数学科で教えないのか理解できない
(物理学者が、自分が利用する数学の定理を知らなくても別に構わんが
数学者が、証明の意味を知らんというのはよろしくないと思う)
934:わかるすうがく
22/12/18 09:25:22.55 HDZ6pZhB.net
雑談クンは、整数論には全く興味がないようだ
円分方程式なんてヲタク的対象としか思ってないんだろう
まあ、全然ハズレというわけでもないが
(個人的にはガウスは最高の数学ヲタクだと思ってる)
そもそもヲタク精神がないなら、数学板に来てもつまらんだろう
数学板はヲタクの巣窟なのだから
935:わかるすうがく
22/12/18 09:39:29.77 HDZ6pZhB.net
雑談クンは、安直な解決法しか興味ない人のようだから
きっとこう尋ねるだろう?
「ラグランジュの分解式によらず、
いきなりガロアの分解式から解を求める方法はないのか?
そういえば、トマエの公式とかいうのがあるらしいが
それって、そういう方法じゃないのか?」
URLリンク(en.wikipedia.org)
上記に対する回答は下記
「知らん」
936:132人目の素数さん
22/12/18 15:22:29.46 TXiL9yxC.net
>>1投稿者の集合A、SetAは
『有限小数だけの数学なら0.999…≠1になるよね。』発言が既成事実のSetA
『ωを自然数に含める考え方をしてもいい』発言も既成事実のSetA
いつだったか線形代数初歩の行列の初歩の話でも自殺に等しいと言っても過言ではない名誉自損発言をしてたな
確か、真ん中の脚の長さが16.8kmも有るアナーキー日吉大明神猿魔大王他化自在天摩羅波旬オッパッピーが覚えてるだろ
937:わかるすうがく
22/12/18 15:22:42.23 HDZ6pZhB.net
数学板に真の平穏が訪れた
938:わかるすうがく
22/12/18 15:25:59.66 HDZ6pZhB.net
>>866
ええと、あなたはどなたでしたっけ?
最近、健忘症がひどくって
>16.8km
それは何の長さですかな
939:わかるすうがく
22/12/18 15:29:43.41 HDZ6pZhB.net
>>866
>『有限小数だけの数学なら0.999…≠1になるよね。』
有限小数だけの数学なら、そもそも0.999…が存在しないのではないですかな?
>『ωを自然数に含める考え方をしてもいい』
それはω+1だけでなく、ω-1も存在するとしてもよい、という意味ですかな?
それならありですか、その場合のωは、極限順序数ωではありませんよね
940:わかるすうがく
22/12/18 15:31:53.51 HDZ6pZhB.net
しばし休憩
941:わかるすうがく
22/12/18 16:51:42.57 HDZ6pZhB.net
1の原始n乗根を ζ
n次巡回方程式の根を θ0,θ1,θ2,・・・,θ[n-1]
方程式の(n-1)次の係数/n次の係数 の値を c
n-1個のラグランジュのリゾルベントを L1,L2,・・・,L[n-1]
とする
θ0+ θ1+ θ2・・・+ θ[n-1]=C
θ0+ ζθ1+ ζ^2θ2・・・+ ζ^ (n-1)θ[n-1]=L1
θ0+ ζ^2θ1+ ζ^4θ2・・・+ ζ^ (n-2)θ[n-1]=L2
・・・
θ0+ζ^(n-1)θ1+ζ^(n-2)θ2・・・+ ζθ[n-1]=L[n-1]
したがって、方程式の係数からC,L1,L2,・・・,L[n-1]のn乗が求まれば
n乗根でL1,L2,・・・,L[n-1]を求めることができ、
そこから、ζによって構成されるヴァンデルモンド行列の逆行列で
根θ0,・・・,θ[n-1]が求まってしまう
ヘイ!なんてこったベイビー/(^o^)\
942:わかるすうがく
22/12/18 17:09:10.22 HDZ6pZhB.net
今の気分
URLリンク(www.youtube.com)
これで成仏できますわ(をひ)
943:132人目の素数さん
22/12/18 17:18:49.29 TXiL9yxC.net
>>868
他化自在天は欲界第六天の天神にして魔王の天魔。高位であればあるほど巨大となる故に真ん中の脚も長大。
当人は謙虚にも『16.8cm』と単位の接頭辞を代えて言っていたが実際は『16.8km』だろう。
この巨大物が淫術『♪やまたのおろちんぽっぽ~!』にて多茎増殖し世界を蹂躙する。
944:わかるすうがく
22/12/18 17:25:23.09 HDZ6pZhB.net
2次方程式の場合
θ0+θ1=-b/a
θ0-θ1=√((θ0+θ1)^2-4θ0θ1)=√(b^2/a^2-4c)=(√(b^2-4ac))/a
945:132人目の素数さん
22/12/18 17:28:08.97 KUUXaCSx.net
平面 R^2 上の半径1の円と原点を通る周期2πの三角関数 f(x)=sin(x)、g(x)=cos(x) のグラフを眺めていました
平面 R^2 上の半径1の円と原点を通る周期2πの幾何的構造や
三角関数 f(x)=sin(x)、g(x)=cos(x) の独立変数xの値と従属変数 f(x) の値との対応
に関する解析的特性上、実代数的数全体からなる体K上πと線形従属な 0<x<π なる超越数は存在しないとのこと
或るπとは異なる超越数xが存在して、xに対して両方共に或る0とは異なる
実代数的数a、b (a≠0,b≠0) が存在して、xが x=aπ+b と表されるとする
ここに、πとは異なる超越数xのみの存在性を仮定した時点では、
直後にxに対して存在性が仮定される実代数的数a、b (a≠0,b≠0) を
用いてxが x=aπ+b と表されてはいないものとする。仮定から 2x/a=2π+2b/a であり、
f(2x/a)=sin(2x/a)=sin(2π+2b/a)=sin(2b/a)、g(2x/a)=cos(2x/a)=cos(2π+2b/a)=cos(2b/a)
また、2x/a-2π=2b/a は実代数的数であり、
f(2x/a-2π)=sin(2x/a-2π)=sin(2b/a)、g(2x/a-2π)=cos(2x/a-2π)=cos(2b/a)
よって、平面 R^2 上の半径1の円周上の2点 (f(2x/a)、g(2x/a))、(f(2x/a-2π)、g(2x/a-2π)) は
どちらも平面 R^2 上の半径1の円周上の2点 (sin(2b/a)、cos(2b/a)) に等しい
複素平面C上において、実数体R上実数1と純虚数iは線形独立であるから、
平面 R^2 から複素平面Cへの写像 h:R^2→C (y,z)→y+zi は加法+に関して同型である
故に、f(2x/a)+ig(2x/a)=f(2x/a-2π)+ig(2x/a-2π)=sin(2b/a)+icos(2b/a) であり、
オイラーの公式から exp(i2x/a)=exp(i(2x/a-2π)) を得る
仮定から、2x/a=2π+2b/a は実数の超越数であり、2x/a-2π=2b/a は実代数的数だから、
exp(i2x/a)=exp(i(2x/a-2π)) の両辺に対して多価の対数関数の値を取れば、
或る p≠0 なる整数pが存在して 2x/a=2x/a-2π+2pπ が成り立ち矛盾が生じる
この矛盾は、或るπとは異なる超越数xが存在して、xに対して両方共に或る0とは異なる
実代数的数a、b (a≠0,b≠0) が存在して、xが x=aπ+b の形で表されると仮定したことから生じたから、
背理法が適用出来て、背理法を適用すれば、如何なるπとは異なる超越数xに対しても
両方共に如何なる0とは異なる実代数的数a、b (a≠0,b≠0) が存在して、xが x=aπ+b と表わされることはない
946:わかるすうがく
22/12/18 17:29:03.70 HDZ6pZhB.net
>>873
そんな時代もあったね、と
URLリンク(twitter.com)
(deleted an unsolicited ad)
947:わかるすうがく
22/12/18 17:31:00.85 HDZ6pZhB.net
>>875
長いよw
948:わかるすうがく
22/12/18 17:32:33.31 HDZ6pZhB.net
>>875
>平面 R^2 上の半径1の円と原点を通る
>周期2πの三角関数 f(x)=sin(x)、g(x)=cos(x)
>のグラフを眺めていました
そんな時もある
949:わかるすうがく
22/12/18 17:35:08.33 HDZ6pZhB.net
>>878
>平面 R^2 上の半径1の円と原点を通る周期2πの幾何的構造や
>三角関数 f(x)=sin(x)、g(x)=cos(x) の
>独立変数xの値と従属変数 f(x) の値との対応に関する解析的特性上、
>実代数的数全体からなる体K上
>πと線形従属な 0<x<π なる超越数は
>存在しないとのこと
そうなんですか?知りませんでした
で、どこに書いてあるんですか?
950:わかるすうがく
22/12/18 17:37:25.72 HDZ6pZhB.net
>>879
>或るπとは異なる超越数xが存在して、
>xに対して両方共に或る0とは異なる
>実代数的数a、b (a≠0,b≠0) が存在して、
>xが x=aπ+b と表されるとする
もしかして、いきなり背理法による証明が始まってます?
いきなり、パンツ脱いで挿入してます?今、ここで?
951:わかるすうがく
22/12/18 17:39:39.87 HDZ6pZhB.net
>>880
>ここに、πとは異なる超越数xのみの存在性を仮定した時点では、
>直後にxに対して存在性が仮定される
>実代数的数a、b (a≠0,b≠0) を用いて
>xが x=aπ+b と表されてはいないものとする。
え?でも仮定してるんですよね?
もしかして挿入しようとしたけど、勃起してなかったって感じ?
952:わかるすうがく
22/12/18 17:41:12.98 HDZ6pZhB.net
>>881
>仮定から 2x/a=2π+2b/a であり、
>f(2x/a)=sin(2x/a)=sin(2π+2b/a)=sin(2b/a)、
>g(2x/a)=cos(2x/a)=cos(2π+2b/a)=cos(2b/a)
なんだやっぱり入っちゃってるじゃないですか
953:わかるすうがく
22/12/18 17:42:47.64 HDZ6pZhB.net
>>882
>また、2x/a-2π=2b/a は実代数的数であり、
>f(2x/a-2π)=sin(2x/a-2π)=sin(2b/a)、
>g(2x/a-2π)=cos(2x/a-2π)=cos(2b/a)
なるほど
954:132人目の素数さん
22/12/18 17:43:07.83 KUUXaCSx.net
>>879
平面 R^2 上の原点を中心とする単位円周上の点の原点またはx軸、y軸に関する対称性から
955:わかるすうがく
22/12/18 17:44:22.39 HDZ6pZhB.net
>>883
>よって、平面 R^2 上の半径1の円周上の2点
>(f(2x/a)、g(2x/a))、(f(2x/a-2π)、g(2x/a-2π))
>は、どちらも平面 R^2 上の半径1の円周上の2点
>(sin(2b/a)、cos(2b/a)) に等しい
なるほど、いい感じですよ
その調子でどんどん腰振ってみてくださいね
956:わかるすうがく
22/12/18 17:46:05.36 HDZ6pZhB.net
>>884
>複素平面C上において、実数体R上実数1と純虚数iは線形独立であるから、
>平面 R^2 から複素平面Cへの写像
> h:R^2→C (y,z)→y+zi
>は加法+に関して同型である
そらそやろな
ま、どんどん腰振って
957:わかるすうがく
22/12/18 17:47:41.85 HDZ6pZhB.net
>故に、
> f(2x/a)+ig(2x/a)
>=f(2x/a-2π)+ig(2x/a-2π)
>=sin(2b/a)+icos(2b/a)
>であり、オイラーの公式から
> exp(i2x/a)=exp(i(2x/a-2π))
>を得る
そらそやろな
ま、どんどん腰振って
958:わかるすうがく
22/12/18 17:51:47.69 HDZ6pZhB.net
>仮定から、
>2x/a=2π+2b/a は実数の超越数であり、
>2x/a-2π=2b/a は実代数的数だから、
>exp(i2x/a)=exp(i(2x/a-2π)) の両辺に対して
>多価の対数関数の値を取れば、
>或る p≠0 なる整数pが存在して
>2x/a=2x/a-2π+2pπ が成り立ち
>矛盾が生じる
んー、多価なんだから
exp(a)=exp(b)だけどa=bでなくても
よくないですか?
もしかして、すっぽ抜けた?
959:132人目の素数さん
22/12/18 17:55:20.25 KUUXaCSx.net
>>889
>或る p≠0 なる整数pが存在して
は
>或る p≠0 かつ p≠1 なる整数pが存在して
の間違い
960:132人目の素数さん
22/12/18 17:57:11.12 KUUXaCSx.net
>>888
>>889のレス番号は>>888
961:わかるすうがく
22/12/18 17:57:25.01 HDZ6pZhB.net
>>888
>この矛盾は、
>或るπとは異なる超越数xが存在して、
>xに対して両方共に或る0とは異なる実代数的数a、b (a≠0,b≠0) が存在して、
>xが x=aπ+b の形で表されると仮定したことから生じたから、
>背理法が適用出来て、背理法を適用すれば、
>如何なるπとは異なる超越数xに対しても
>両方共に如何なる0とは異なる実代数的数a、b (a≠0,b≠0) が存在して、
>xが x=aπ+b と表わされることはない
うーん、違うんじゃないかな
exp(a)=exp(b)なら、a=b、っていう「誤解」によるものですよね
あー、ごめん、それじゃイケないわ
なんていうかな、奥にあたってない感じ
やっぱり硬さと太さが足んないかな
あなた、高校生?大学で複素数の対数を勉強したほうがいいかな
うん、そんな感じ
962:132人目の素数さん
22/12/18 18:05:32.57 KUUXaCSx.net
>>891
杉浦解析入門にもそういうことが書いてあった
963:わかるすうがく
22/12/18 18:10:27.86 HDZ6pZhB.net
>>892
読み間違いですね
残念ですけど
大学生なら即座に誤りに気づけますけど
・・・高校生じゃ仕方ないかな
xが虚数のexp、扱ったことないのよね?
はじめはみんな間違うのよ ダイジョウブ
964:わかるすうがく
22/12/18 18:14:27.05 HDZ6pZhB.net
ま、KUUXaCSxちゃんのおかげで
このスレッドも埋葬できるんで
そこはよかったかな
ありがと KUUXaCSxちゃん
965:わかるすうがく
22/12/18 18:15:48.59 HDZ6pZhB.net
じゃ、また休憩
966:132人目の素数さん
22/12/18 18:18:32.31 KUUXaCSx.net
>>893
何というか、杉浦解析入門はアールフォルスを参考に書いたようで、
複素変数zの指数関数 e^z の取り扱いの式は書いてあった
967:132人目の素数さん
22/12/18 18:19:08.59 TXiL9yxC.net
>>869
所が此のスレの>>1投稿者の集合A、SetAは、ωを最初極限順序数の意味で用い
『ωを自然数に含める考え方をしてもいい』 と述べていた。つまり
『最初極限順序数ωを自然数に含める考え方をしてもいい』と述べていたに等しいと同時に
『
968:最初極限順序数の一つ前の順序数ω-1も存在する』と述べていた事にも等しいが 頭の本人はω-1の存在性是非を詰問されるも、その是非認識について回答する事から知らんぷりしている。 中身空っぽのハッタリだらけのハリボテ主張だからだ。 もしかしたらSetAの真ん中の脚も中身空っぽハリボテのハリボテ擬態なのかも知れない。
969:わかるすうがく
22/12/18 19:06:45.16 HDZ6pZhB.net
>>896
言い訳はいいよ
真理を知りたいんだろ?
だったら間違いは認めなくちゃ
誰のためでもない 自分のためにさ
970:わかるすうがく
22/12/18 19:08:56.59 HDZ6pZhB.net
>>897
極限順序数は自然数ではないね
そこ間違う初心者は実に多いけど
間違いは間違いだね
ま、みんな間違うとおもえばいい
自分だけは間違わない、なんて思うのは大間違いさ
どう これで気楽になっただろ? みんな
971:わかるすうがく
22/12/18 19:12:52.12 HDZ6pZhB.net
と、いうことで900
次のスレッドのタイトルからは
(含むガロア理論)を外そう
もういいだろ
かわりにコイツを入れてくれ
(まず整数論)
円分体論もこれでガンガンやれる
文句ないだろ?
972:やっぱ数学は整数論でしょ
22/12/18 19:20:33.18 HDZ6pZhB.net
数論
URLリンク(ja.wikipedia.org)
数論(すうろん、英語: number theory)は、
数、特に整数およびそれから派生する数の体系(代数体、局所体など)の性質について
研究する数学の一分野である。整数論とも言う。
973:やっぱ数学は整数論でしょ
22/12/18 19:21:47.15 HDZ6pZhB.net
整数論は通常代数学の一分野とみなされることが多い。
おおむね次の四つに分けられる。
・初等整数論
・代数的整数論
・解析的整数論
・数論幾何学
974:やっぱ数学は整数論でしょ
22/12/18 19:22:32.60 HDZ6pZhB.net
初等整数論
他の分野の数学的手法を使わずに問題に取り組む、数論の中で最も基礎的な土台をなす。
フェルマーの小定理やオイラーの定理、平方剰余の相互法則などはこの分野の成果である。
975:やっぱ数学は整数論でしょ
22/12/18 19:23:22.84 HDZ6pZhB.net
代数的整数論
扱われる対象は整数というよりも代数的整数である。
従って、代数的な整数論と読むよりも代数的整数の論と読む方が正しいと考えられる。
ガウスの整数を研究したカール・フリードリヒ・ガウスが
おそらくこの分野の創始者である。
体論はこの分野の基礎的根幹であって、
ガロア理論は(他の数学においてもそうだが)基本的な道具である。
代数体のアーベル拡大の統制を記述する類体論も、この分野の大きな成果である。
元来の岩澤理論もここに分類されよう。