[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ17 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
713: 05/25(日)07:08 ID:WEnhjuaS(1/27) AAS
>>698
>繰り返すが、…ガロア理論は 方程式の次数や 可解か否かに関係なく
>(解くのに)使える万能薬である！
誤り
万能薬＝いかなる(代数)方程式も(べき根で)解ける
という意味なら、そうではないので嘘
解ける方程式は解ける、という意味なら同語反復なので無意味
もちろん、ガロア理論は、どんな(代数)方程式が(べき根で)解けるか
条件を示しているから意味がある
その条件が「ガロア群が可解群」
省15
716: 05/25(日)07:26 ID:WEnhjuaS(2/27) AAS
>>699
> 大局観は、実力によって変わるが、
> 大局観を意識して 身につけないと いつまでも ”ヘボ”だよ
> 大局観は、しばしば 読みの力に裏付けられている場合があるが、
> ”ヘボ”の時代から 大局観を意識していないとダメなのよ
> そうしないと いつまでも 数学”ヘボ”だよ
その通り その上で
> 大局観がなさすぎ
の言葉があてはまるのは、現代数学の系譜 雑談 ◆yH25M02vWFhP 君だよ
なんてことないものが、実は基礎になっている
省10
717(2): 05/25(日)07:28 ID:WEnhjuaS(3/27) AAS
>>714
＞γ≦π^2/6 を先に示していた人がいるから・・・
それは間違いないが、そこから γ≧6/π^2 は示せない
高校生でもわかる
718(1): 05/25(日)07:31 ID:WEnhjuaS(4/27) AAS
>>717
たとえば 0≦π^2/6 である
では、0≧6/π^2 か？
答えは否、だ
719: 05/25(日)07:37 ID:WEnhjuaS(5/27) AAS
ある男は、高校レベルの不等式の計算が正しくできない
別の男は、ガロア群が巡回群で 解の巡回置換の形も分かっている場合
その生成順序に従って構成したラグランジュ分解式のべき乗が不変式であり
したがって解が現れない式となることが理解できない
このような連中が、
数学板の記事を読んでも何も理解できないし
数学板に何を書き込んでも正しくないので無意味
精神の病なら治療に専念したほうがいい
囲碁将棋しか取り柄がないならそれをやってればいい
数学に興味がなく数学を全く理解できないとしても死にはしない
省2
721(1): 05/25(日)07:48 ID:WEnhjuaS(6/27) AAS
>>720
そもそも、なぜ、ζ関数を持ち出す？ 妄想か？
723(1): 05/25(日)07:56 ID:WEnhjuaS(7/27) AAS
>>722
聞いてるのはそこじゃない
なぜγの話で、唐突にゼータ関数をもちだすのか？
日本語わかる？
734: 05/25(日)08:49 ID:WEnhjuaS(8/27) AAS
>>725 それだけ？
735: 05/25(日)08:49 ID:WEnhjuaS(9/27) AAS
今日も６ベンツ君の発作が止まらない
736: 05/25(日)08:57 ID:WEnhjuaS(10/27) AAS
１のガロア芸と、某のγ弄り芸は、もう飽きた
１は口を開けば「ガロア分解式がー」しか言わない
ガロア分解式に関するミラクルな魔法が存在して
全ての代数方程式が解けると思ってるらしい
Thomaeの公式がそういうものかもしれないが
じゃあ１がそれを勉強して理解できるかといえばまあ無理だろう
だってラグランジュ分解式を使ったべき根解法も理解できないのだから
某もオイラーの定数γばっかり弄ってる
彼が理解できた未解決問題がγの無理数性だけなんだろう
しかし級数を弄って解ける程度のことならとっくに解けている
省6
737(1): 05/25(日)09:02 ID:WEnhjuaS(11/27) AAS
自分は今、対称群と一般線形群の表現論を勉強してるが
ここでの根本的アイデアは以下の通り
「ヤング図形・標準盤・半標準盤と、ロビンソン（・シェンステッド）対応」
これだけならただの組み合わせ論だが、それが表現論に関わるところがツボ
数学は分かるまでが面白い 分かってしまうと、なんだそんなことか、で終わってしまう
線形代数然り、ガロア理論然り、表現論また然り
758: 05/25(日)10:24 ID:WEnhjuaS(12/27) AAS
>>738
＞(r1,r2,r3,r4,r5) が1の冪根だとか 良い性質を持つときは 離散フーリエ変換が使えるかも
それだけじゃダメだけどね
言ってる意味、分かる？
５つの解の並べ方は5!=120あるよね？
でもそのほとんどはカスだよ
ただ並べりゃいいってもんじゃない
巡回群って言ってるよね？ わかる？
離散フーリエ変換自体が重要なわけじゃないよ
群による不変性が重要なんだよ わかる？
省3
760(1): 05/25(日)10:30 ID:WEnhjuaS(13/27) AAS
>>756
> 不等式 γ≦π^2/6 が極限の形で得られたとき、
> π^2/6＞1 から 1＞6/π^2＞0 であって、1＞γ＞0
> だから、γ≧6/π^2 である
> という理屈は間違っている？
間違ってる
（完）
762(1): 05/25(日)10:37 ID:WEnhjuaS(14/27) AAS
γ≦π^2/6 から
1/γ≧6/π^2 は いえるだろうが
γ≧6/π^2 なんていえない
765(1): 05/25(日)11:01 ID:WEnhjuaS(15/27) AAS
>>764
それ「誤差」じゃないけど
言葉を正しく使おうね
776(1): 05/25(日)13:15 ID:WEnhjuaS(16/27) AAS
ガロア理論についてはもう卒業、ってことでいいよな？
777: 05/25(日)13:16 ID:WEnhjuaS(17/27) AAS
次スレのタイトルは「層と多変数関数論と乗数イデアル他関連資料スレ」でいいよな
785(1): 05/25(日)16:53 ID:WEnhjuaS(18/27) AAS
>>784
層の勉強、進んでる？
層のコホモロジー、分かった？
790(2): 05/25(日)17:53 ID:WEnhjuaS(19/27) AAS
>>787
＞ふっふ、ほっほ
君が分かった、というんなら卒業でいいよね
分かったというのは、具体的に言えば君が張ったリンクの資料の
12 方程式のべき根による可解性 の定理12.1の証明が
理解できたという意味だけどね
（引用始）
定理 12.1
K をすべての 1 のべき乗根を含むような C の部分体，
f(x) ∈ K[x] を 2 次以上の多項式とする．
省3
791: 05/25(日)17:56 ID:WEnhjuaS(20/27) AAS
>>788
>>層の勉強、進んでる？
>>層のコホモロジー、分かった？
>当然進んでいるよ
そうかい
では、次スレのタイトルは「層と多変数関数論と乗数イデアル他関連資料スレ」と
君の勉強の成果を存分に披露してもらおうか
793(1): 05/25(日)18:04 ID:WEnhjuaS(21/27) AAS
>>790
いきなり定理12.1じゃ、君、死ぬなｗ
ここまで戻ってあげよう 分かるかな
（引用始）
定理 9.1
K は C の部分体であり，1 の原始 n 乗根を含む，
すなわち Q 上の x^n − 1 の分解体を含むと仮定する．
a を 0 でない K の元として，x^n − a の K 上の分解体を L とする．
このとき，L ⊃ K のガロア群 G = Gal(L/K) は巡回群であり，
その位数は n の約数である．
省2
794(1): 05/25(日)18:07 ID:WEnhjuaS(22/27) AAS
>>793の続き
（引用始）
定理 9.3
K は C の部分体であり，
ガロア拡大 L ⊃ K のガロア群 G := Gal(L/K) が位数 n の巡回群であり，
1 の原始 n 乗根は K に含まれると仮定する．
このとき，ある a ∈ Kが存在して，L は x^n − a の分解体と一致する．
さらに x^n − a は K 上既約である．
（引用終）
796(2): 05/25(日)18:49 ID:WEnhjuaS(23/27) AAS
>>794
定理9.3の証明:
σ を G の生成元（の１つ）とすると
仮定より G = ⟨σ⟩ = {idL, σ, . . . , σ^(n−1)} となる．
1 の原始 n 乗根 ζ を１つ固定して，写像 h : L → L を
h(α) = α + ζσ(α) + · · · + ζ^(n−1)σ^(n−1)(α) (∀α ∈ L)
で定義する（h は体準同型とは限らない）．
h(α) はラグランジュの分解式 (Lagrange resolvent) と呼ばれる．
idL, σ, . . . , σ^(n−1) は相異なる L の自己同型だから，
命題 9.1 により hは 0 写像ではない．
省32
797: 05/25(日)18:59 ID:WEnhjuaS(24/27) AAS
>>796の概要
G= ⟨σ⟩ = {idL, σ, . . . , σ^(n−1)} の
生成順序に従った、ラグランジュ分解式hを定義し
h(γ)≠0となる元を選んでa=(h(γ)^(−1))^nとすると
σ(a)=aなので、a∈Kであり、x^n−aは既約なので
Lはx^n−aのガロア体と一致する
つまり、Kが1の原始根を含めば、
ラグランジュ分解式を使うことができて
べき根拡大＝巡回拡大
801: 05/25(日)21:29 ID:WEnhjuaS(25/27) AAS
>>799
＞”有限群の場合は、同値な定義として
＞「組成列においてすべての商が素数位数の巡回群である」
＞というものもある”
＞ここの 有限群の場合 すべての商が素数位数の巡回群って、意味分るかい？
もちろん
>>800
＞君の ラグランジュの分解式論で、
＞この命題VIIと命題VIII を導け
＞それが出来たら 君の論を認める
省9
803: 05/25(日)21:40 ID:WEnhjuaS(26/27) AAS
１はガロア第一論文の命題?〜命題?を全部書いてくれる？
懇切丁寧に論文の読み方教えてあげるから
804: 05/25(日)21:52 ID:WEnhjuaS(27/27) AAS
ガロア理論で可解性を語る場合、理解すべきこと
? 体とその自己同型群の関係 （ガロア理論）
? 群論
? 基礎体が１のべき根を含む場合の、巡回拡大とべき根拡大の関係
１はクンマー拡大がーとかいってたけど
ラグランジュ分解式なんてクソとかほざいてる時点で
?がいかほどわかってるか怪しい
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.039s