23/01/08 17:35:01.75 ondCBPgO.net
>>542
>死が近づいたときにガウスがどう感じたかを
>想像していっているのであって
>元気いっぱいに研究に取り組んでいる最中の考えを
>述べたものではない
>そんなことさえ理解できないのか
所詮自分の想像で言ってるに過ぎないのに
少し反論されたからと言って
そこまで食い下がるのがおかしい。
あなたは「ガウスは死の間際に不幸だったに
違いない！」という証拠もない自分の考えを
他人に押し付けてるだけでしょ。
他スレでアスペがどうとか他人を批判してるけど
あなた自身がかなりおかしいことを自覚しましょう。
551:現代数学の系譜 雑談
23/01/08 17:36:28.99 9zXu/9tz.net
>>537
> あなたは数学が好きなのではない、
> 何か別のものが好きな のです。」
正直、一番すきなのは
理論物理ですｗ
いま、山下真由子氏が、かがやいて
まぶしく見える（下記）
でも、数学が分からないと
理論物理は、面白くないんだなｗ
ラグランジュ・リソルベント？
正直、”別に～、定義の通りでしょ！” って感じですｗ
ラグランジュ氏が成した方程式論への貢献には、敬意を表しますがね
それだけですｗ
それよか、石井の頂は、ガロア第一論文の7合目くらいだよ
（実際、石井の頂はアーベルの一般5次方程式の代数的解法がないことのレベルで終わっている）
ガロア第一論文の素数p次の方程式の代数的可解条件の定理まで読まないと、真の頂ではない！
URLﾘﾝｸ(ja.wikipedia.org)
山下 真由子（やました まゆこ）は、日本の数学者。専門は微分幾何学[1]。京都大学数理解析研究所助教。2022年、マリア・スクウォドフスカ＝キュリー賞最優秀賞。
数学のみならず物理学との境界における場の理論の研究をしており、圧倒的に学術的プレゼンスが秀でている
552:現代数学の系譜 雑談
23/01/08 17:46:32.92 9zXu/9tz.net
>>535
>君が会社でどんな仕事してきたのか
>だいたい想像つくｗ
想像にお任せしますよ
理系はね、自分の専門分野の論文読むにも
それなりの数学は必須でね
論文読むための数学という意味もある
別に、数学論文書くための勉強は必要ない
そして、「代数方程式の解法に、フーリエ解析！」という人に
”おいおい、大丈夫か？ 気は確かか？”と確認するだけの注意力
（特に、フーリエ解析の常識あれば、”なんかヘン”と思うべしｗ）
また、時枝先生のちょっとヘンな記事あれば ｽﾚﾘﾝｸ(math板)
騙されないだけの数学の常識を身につけておくべし
（騙されたらいけないよね）
これ社会人として
必要なことです
553:１３２人目の素数さん
23/01/08 18:08:47.22 ondCBPgO.net
大体キリスト教圏の考えには
「全知全能の神」という存在があって
それが理想の姿だとすれば、人間も
またそれに近い方が「偉い」のだという
刷り込みがあるのではなかろうか。
人間は死の間際くらいは満ち足りず
自分の人生を悔悟して死んでゆくべし
というのも宗教臭い。今話題の
宗教虐待家庭にはそういう空気がありそうだ。
554:１３２人目の素数さん
23/01/08 18:49:22.60 4Ngj40gO.net
>>550
知らない人に対して
「自分の人生がつまらなかったと思いながら死んでいくに違いない」
という人間を相手に
「だったらガウスもきっとそうだったに違いない」
という意見を吐くのは
言論の自由の範囲だろう。
555:１３２人目の素数さん
23/01/08 18:50:58.83 4Ngj40gO.net
>>553
満ち足りて死んでいく多くの人を知っているのですね。
556:１３２人目の素数さん
23/01/08 19:39:12.52 9nG4dRJ7.net
>>543
２０００年と２００１年に相次いで亡くなった、ご長寿で有名だった“きんさんぎんさん”姉妹は、２０００年１月２３日に先に当時１０７歳だった姉のきんさんが心不全で亡くなったそうですが…
訃報を翌日に聞いた妹のぎんさんは
「…ﾋｬｯ!…」
って小さく叫んで…
お布団に転がり込んで頭から掛け布団を被って…
お布団の中で
「ﾅﾝﾏｨﾀﾞ~…」
ってﾁｯﾁｬｨ(震え声)で唱えてたそうです…
そんなぎんさんも翌２００１年の２月の末頃に姉きんさんの後を追う様に老衰で亡くなりました…
(遠ぃ目)
ｨｬｧ~、人間、いくつになっても‥し…ﾇｯ!のってｨｬなもんですねぇ~!
し…ﾇｯ!のも、しなれるのもｬなもんですめぇ!
557:わかるすうがく 近谷蒙
23/01/08 19:41:56.12 WgejkQFk.net
>>544
>あんたの時代に、いまみたく検索が充実していれば、大分ちがったろうね
1ってホント軽薄
>>547
>だからさ、整数論の人は、
>他人にマウントしたくて
>方程式論に、フーリエを持ち込んでさ
1って、自分は他人にマウントするために
自分が全然分かってないことコピペするくせに
他人が自分のよく知ってることを書いてマウントし返すと
●違いみたいに発●するよね
ああ、みっともない
>そこをつつかれて、憤死したんじゃん
トンチンカンなダダこねて死んだのは
1、君だよ、キミ
>”方程式論のフーリエがクソ”って
>まだ分からんのかね？
フーリエ解析は全くジャストミートって
まだわからんのかい？ 1は
>>548
>どうやって職業としての数学者を続けるのか？
>そもそもアカデミックポストが問題になるよ
別に数学するのに、職業とする必要はないんだが
アカデミックポストに就く必要もない
耄碌してるんかな？ 1は
>>549
>しかし、だれか人とつけるべきでしょうね
>ガウスの数学的真意を見抜いて、
>適切なアドバイスができる人を
なるほど、知ったかぶりのホラ吹き1以外ってことねｗ
558:わかるすうがく 近谷蒙
23/01/08 19:46:38.63 WgejkQFk.net
>>551
>>あなたは数学が好きなのではない、
>>何か別のものが好きな のです。
> 正直、一番すきなのは理論物理です
物理板逝け
> いま、山下真由子氏が、かがやいてまぶしく見える
どっかのスレでまゆゆとかなんとかいってるキモヲタは、1だったか…
> でも、数学が分からないと理論物理は、面白くないんだなｗ
じゃ、1には全然面白くないね
だって、数学全然分かってないから
物理板逝け
二度と数学板に戻ってくんな（マジ）
559:１３２人目の素数さん
23/01/08 19:48:33.23 ondCBPgO.net
物理的に貧乏で食べ物がないとか
暖を取るお金がないとかじゃなければ
満ち足りているかいないかなんて
認識の問題に過ぎない。
身近なひとが亡くなるなら
満ち足りるように心を砕くべきであり
たとえ自分が不本意な死に方をするとしても
「そんなものだろう」と心を決めて
満ち足りて死んでいく。
560:１３２人目の素数さん
23/01/08 19:48:50.50 9nG4dRJ7.net
安達さんがｺﾛﾅでｼ‥
。゜
д<)゜。゜ｩゎゎゎ~゜。
561:１３２人目の素数さん
23/01/08 19:50:38.98 ondCBPgO.net
数学にこれほど粘着しながら
（本買いまくり・コピペしまくり）
数学そのものの理解がまったくモノに
ならなかった1が不幸だというのは
客観的な事実。
しかもその原因は100%自身にある。
>「代数方程式の解法に、フーリエ解析！」
これだって偉い先生が言えば
180度意見を変えるんだろう。
そういう自分の知性で数学の正しさが
判断できないという態度が
グロタンディークなようなひとを
「困惑させる」わけですな。
ちなみにグロタンはアスペルガーだったらしい。
562:わかるすうがく 近谷蒙
23/01/08 19:51:50.76 WgejkQFk.net
>>551
>ラグランジュ・リソルベント？
リ”ゾ”ルベントね
ホントに英語ができないのね 1は
>正直、”別に～、定義の通りでしょ！” って感じです
1は、自分が理解できないことは
「酸っぱい葡萄」だと罵る悪いクセがあるね
落ちこぼれあるある
>ラグランジュ氏が成した方程式論への貢献には、敬意を表しますがね
>それだけです
1、涙目・・・
素直になれよ
誰も君が数学の天才だなんて思ってないから
「大学に入ってから、数学がなんもかんもわかりませんでしたぁ！」
って認めちゃえよ
楽になるぜ
563:１３２人目の素数さん
23/01/08 19:54:09.62 9nG4dRJ7.net
>>559
ｩﾝ、ｶﾞﾝﾊﾞﾙ!
564:１３２人目の素数さん
23/01/08 19:56:51.23 9nG4dRJ7.net
>>561
“すべての人の資質が同じ(はず)”という、スタート地点からの天賦の素質の差異を見誤るのは恵まれた部類に生まれついた人の犯しがちな、傲慢なミスですよ~
565:わかるすうがく 近谷蒙
23/01/08 20:01:08.09 WgejkQFk.net
>>551
>石井の頂は、ガロア第一論文の7合目くらいだよ
>（実際、石井の頂は
> アーベルの一般5次方程式の代数的解法がないこと
> のレベルで終わっている）
>ガロア第一論文の
>素数p次の方程式の代数的可解条件の定理
>まで読まないと、真の頂ではない！
じゃ、ラグランジュの分解式は、さしずめ5合目か
1は、まあせいぜい山中湖畔で
「5次の交代群は自分と単位群以外の
正規部分群がない単純群なんだぜ」
とかいってドヤってる感じか
やっぱガロア第一論文よりガウスだな
はよ5合目まで来い
ちなみに富士山頂はガロアじゃないぞ
566:現代数学の系譜 雑談
23/01/08 20:02:26.25 9zXu/9tz.net
>>540
>実際、円分多項式の件も全然手も足も出なかった
>必要な計算が実質、ただの算数なのに
余談ですが
下記の例が分かり易い
ryamada氏 医学生物学屋さん
フーリエ変換とポントリャーギン双対に行き着く
で、勉強する。それで良いと思うんだけど？ 円分多項式は要らないよね 発散しすぎだろｗ
例
URLﾘﾝｸ(ryamada.hatenadiary.jp)
ryamadaのコンピュータ・数学メモ 医学生物学と数学とプログラミングの三重学習
2013-12-08
フーリエ変換とポントリャーギン双対
ここしばらく、フーリエ変換、スペクトル分解、情報縮約などをやっている
群でのフーリエ変換など、フーリエ変換の概念の一般化がどうしても関連してくる
ポントリャーギン双対というのに行き着いた
有限アーベル群上の複素数値函数はその（もとの群と自然同型ではないが同型な）双対群上の函数としての離散フーリエ変換を持ち、有限群上の任意の函数がその離散フーリエ変換から復元することができる。
というようなことを説明するのに使える(使われる)概念らしい
わかりたい…
つづく
567:現代数学の系譜 雑談
23/01/08 20:03:18.30 9zXu/9tz.net
>>566
つづき
双対
局所コンパクト可換群Gの双対を考える
局所コンパクト可換群Gに「指標」というのを定める。それは、円周群に値をもつもので、G上の連続群準同型のこと。Gの指標全体は、やっぱり局所コンパクト可換群
これによって、任意のGが同じ群「円周群」の上の値の集合として共通して扱えるようになる。この「円周群」上の値の集合がなす群を双対群と呼ぶ
分かったような気がする。
フーリエ変換って、結局：
円周に張り付けることで、元の要素の空間にある値の様子を周期でとりまとめなおす仕組み
フーリエ・ポントリャーギン双対性を含めた双対の考え方に関するかいつまんだ記事はこちら URLﾘﾝｸ(www.s.u-tokyo.ac.jp)
『周期関数の Fourier 級数展開も表現論なんですね！』という章のある本の部分PDFはこちら URLﾘﾝｸ(www.iwanami.co.jp) 試し読み
URLﾘﾝｸ(www.iwanami.co.jp) 岩波
URLﾘﾝｸ(ryamada.hatenadiary.jp)
ryamadaのコンピュータ・数学メモ
医学生物学と数学とプログラミングの三重学習を狙う学習ツール
2014-01-08
巡回群の双対群
(引用終り)
以上
568:わかるすうがく 近谷蒙
23/01/08 20:06:15.83 WgejkQFk.net
>>552
>「代数方程式の解法に、フーリエ解析！」という人に
>”おいおい、大丈夫か？ 気は確かか？”と確認するだけの注意力
>（特に、フーリエ解析の常識あれば、”なんかヘン”と思うべし）
根拠もなく「なんかヘン」とか
「おいおい、大丈夫か？ 気は確かか？」とか
ほざく人は大体失敗します
まあ、フーリエ変換が全く分かってない1の発言を
信用する人など誰一人いませんが…南無
>これ社会人として必要なことです
1って社会人としても大失敗だったんだろうなあ
妻と子供がかわいそう・・・
569:わかるすうがく 近谷蒙
23/01/08 20:11:01.33 WgejkQFk.net
>>555
哲学者のヴィトゲンシュタインは何かとお騒がせな人物であったが、最期に
「素晴らしい人生が送れたよ、とみんなに伝えてください」
といったらしい よかったな
570:わかるすうがく 近谷蒙
23/01/08 20:14:09.16 WgejkQFk.net
>>561
>ちなみにグロタンはアスペルガーだったらしい。
数学者は多かれ少なかれアスペルガーっぽいので驚くに値しないｗ
数学科にいた人ならわかるが、理系の他学科と比べても
アスペルガーの率が高いと感じる そういう人が集まる場所
571:現代数学の系譜 雑談
23/01/08 20:15:39.21 9zXu/9tz.net
>>565
>>551の真意が分かってないね
1）多くのガロア本が、5次の代数方程式が、べき根で解けないことの説明で終わっている
（記憶では、雪江本もそうだったような）
なお、べき根で解けないことの説明（証明）は、アーベルの論文でガロア理論以前の話だ（高木先生の本にもある）
2）しかし、ガロア理論にはその先があるよね
ガロア第一論文の素数p次の方程式の代数的可解条件の定理
まで知ることで、ガロア理論の真髄が分かるというもの
3）要するに、5次で べき根で、解けないことと解けること
その両方を知って
理解が深まるんだ ということです
URLﾘﾝｸ(www.)アマゾン
代数学講義 改訂新版 Tankobon Hardcover ? November 25, 1965
by 高木 貞治
書評
4.0 out of 5 stars 大学の[代数学]ヌキで5次方程式の*解けない*事情が分かる本。ただし大学の[代数学]という科目の教科書として使うのはムリかも
Reviewed in Japan on April 11, 2018
この本の話題は(大きく分けて)二つです
話題1：3次/4次方程式には(2次方程式の解の公式みたいな)解法があること。そしてその理由および解法の使用の実際
話題2：連立1次方程式の解法とその背景としての行列式(行列じゃなくて)
それに対して、同じ[代数学]という名前で呼ばれてはいても、少なくとも1970年代以後の(科目としての)[代数学]は、代数的構造(特に群・環・体)の基礎を学ぶ科目です。だから、"指定された教科書は意味不明だけどこれなら読めそう"なんて思ってこの本を*教科書*として買ったりすると、かなりまずいコトになると思います
むしろ、この本は、ひねくれた使い方：たとえば、5次方程式の解の代数的構成(=いわゆる"根の公式")が存在しないことの説明を、現代の[代数学]にはいっさい触れないで(だからガロワの理論もナシで)聞くために使う、というのがいいと思います
現代の教科書や授業では、"ガロワ理論の基本定理によってS5は非可解。したがってただちに明らか(^_^；)"で(ほとんど一瞬で)導いてしまいます。でも、この本ではそうしないで、じかに方程式(正確にはその解)のコトバだけを使って説明してくれます(アーベルが使った方法によるものらしいです)
572:わかるすうがく 近谷蒙
23/01/08 20:19:33.67 WgejkQFk.net
>>566-567
ここ、読んだかい？
指標群
URLﾘﾝｸ(ja.wikipedia.org)
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
指標群はフーリエ解析の中核をなす。
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
1、くだらん先入見でまたも💩壺に落ちたな
何度💩壺に落ちれば気がすむんだ？
573:現代数学の系譜 雑談
23/01/08 20:22:20.04 9zXu/9tz.net
>>568
>>「代数方程式の解法に、フーリエ解析！」という人に
>>”おいおい、大丈夫か？ 気は確かか？”と確認するだけの注意力
>（特に、フーリエ解析の常識あれば、”なんかヘン”と思うべし）
> 根拠もなく「なんかヘン」とか
> 「おいおい、大丈夫か？ 気は確かか？」とか
> ほざく人は大体失敗します
よく会社に営業の電話が掛かってくる
・曰く「儲かる話があります」
・曰く「電話代が安くなります」
・曰く「ネットのセキュリティを無料診断しています」
などなど
そんなの いちいち相手にしない
「代数方程式の解法に、フーリエ解析！」
に同じ
そうじゃないというならば、
>>436より
ｽﾚﾘﾝｸ(math板: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は「含まれない」が正解。
(引用終り)
に適用してくれや！ｗ
１）できれば、x^5 + 6 x^4 - 12 x^3 - 32 x^2 + 16 x + 32=0から出発して、べき根表示頼むわ
２）あるいは、Π_{k=1}^{5}(x-1/cos(2kπ/11))からでも良いけどね。但し、根”1/cos(2kπ/11)”への直接のフーリエ変換からべき根表示を頼むよ
（cos(2kπ/11)を出発点として、逆数取るのは不可なｗ）
(引用開始)
よろしくねｗ
574:現代数学の系譜 雑談
23/01/08 20:23:08.47 9zXu/9tz.net
>>572
ほいよ>>573 ｗｗｗ
575:わかるすうがく 近谷蒙
23/01/08 20:27:46.86 WgejkQFk.net
>>571
>551の真意が分かってないね
「素人の初歩的誤解」が分かっても意味ないｗ
>多くのガロア本が、5次の代数方程式が、べき根で解けないことの説明で終わっている
>なお、べき根で解けないことは、アーベルの論文でガロア理論以前の話だ
>しかし、ガロア理論にはその先があるよね
>ガロア第一論文の素数p次の方程式の代数的可解条件の定理
>まで知ることで、ガロア理論の真髄が分かるというもの
でも１は、そもそも
「ベキ根で解ける⇔ガロア群が可解群」
が全然分かってないんだから、真髄もヘッタクレもないよねｗ
君が分かったのはせいぜい
「５次の対称群が可解群ではない」
ってことくらいでしょ？
「ベキ根で解ける⇔ガロア群が可解群」は分かってないよね
ラグランジュの分解式が分かってないんだから
576:わかるすうがく 近谷蒙
23/01/08 20:37:37.99 WgejkQFk.net
>>573
>よく会社に営業の電話が掛かってくる
それ、セキュリティがなってない証拠だね
なんて会社？ 潰れるよｗ
>…に同じ
「…も同じ」でしょ 日本語も正しく書けないのかい？
>そうじゃないというならば、
>…に適用してくれや！
488に方法書いたよ
まず
x^5 + 6 x^4 - 12 x^3 - 32 x^2 + 16 x + 32=0
の根が
1/cos(2kπ/11) (k=1~5)
であるところから確かめたほうがいいね
で、実際、根がそうだったとして、
5根の巡回関数が何なのか把握しようね
ラグランジュ分解式が理解できない人のつまづきの石って
まず、巡回関数が必要ってところだから
全然わかってなかったでしょ
１は大事なことを何遍言っても聞き逃す天才だからね
脳に異常があるんじゃない？ 診てもらったほうがいいよ マジで
577:わかるすうがく 近谷蒙
23/01/08 20:42:12.07 WgejkQFk.net
>>573
>根”1/cos(2kπ/11)”への直接のフーリエ変換からべき根表示を頼むよ
>（cos(2kπ/11)を出発点として、逆数取るのは不可なｗ）
自分では論理的に書いてるつもりなんだろうけど
まったく支離滅裂
誰が読んでも分かるように書き直してごらん やり直し
578:わかるすうがく 近谷蒙
23/01/08 21:00:30.57 WgejkQFk.net
１の５乗根をη、5次方程式の5根をθ1~θ5で表す
ラグランジュの分解式
θ’＋ηθ’’+η^2θ’’’＋η^3θ’’’’＋η^4θ’’’’’
で、θ’~θ’’’’’に、漫然とθ1~θ5を当てはめた1クン
ブッブー！ はい、アウトｗ
何がどういけなかったんでしょうか？
まず、そこから理解しような
ああ、私ってなんていい奴なんでしょう（マジ）
579:わかるすうがく 近谷蒙
23/01/08 21:05:36.35 WgejkQFk.net
>>578
ラグランジュの分解式
θ’＋ηθ’’+η^2θ’’’＋η^3θ’’’’＋η^4θ’’’’’
で、θ’~θ’’’’’へのθ1~θ5の当てはめで、OKなのは
120通り中、何通りでしょう
580:わかるすうがく 近谷蒙
23/01/08 21:21:40.30 WgejkQFk.net
1/cos(2kπ/11) =θk (k=1~5) としときましょう
ホントはk=1~10としといて
1と10、2と9、3と8、4と7、5と6 は同じ
としといたほうが、スムーズなんですけど、それはさておき
この場合、θ’~θ’’’’’をθ1~θ5の順に当てはめたらアウトね
１．例えばどう並べればよいか？
２．そして、他の並べ方はそこからどうやって作れるか？
もうね、１は再三書いてるんですけどね
２は一度も書いてないけど、分かる人には分かっちゃうなぁ
581:現代数学の系譜 雑談
23/01/08 21:29:08.09 9zXu/9tz.net
>>561
>>「代数方程式の解法に、フーリエ解析！」
>
>これだって偉い先生が言えば
> 180度意見を変えるんだろう。
ええ
意見変えますよ
だから、代数方程式の解法に、フーリエ解析
やってｗｗｗｗｗ
582:現代数学の系譜 雑談
23/01/08 21:31:37.77 9zXu/9tz.net
>>558
>> でも、数学が分からないと理論物理は、面白くないんだなｗ
> じゃ、1には全然面白くないね
> だって、数学全然分かってないから
十分楽しい
だって、相対性理論の論争で
あんたをボコボコにしたでしょｗｗｗ
数学科行って
学部数学分からず卒業したんだ
フーリエだって
言葉だけじゃん
みえみえだよｗ
583:わかるすうがく 近谷蒙
23/01/08 21:36:33.57 WgejkQFk.net
>>582
>相対性理論の論争であんたをボコボコにしたでしょ
完全に妄想に支配されているようですなぁ
584:現代数学の系譜 雑談
23/01/08 21:38:21.38 9zXu/9tz.net
>>563-564
あれ
お久しぶりの方かな？
新年おめでとう
今年もよろしく
585:わかるすうがく 近谷蒙
23/01/08 21:38:37.08 WgejkQFk.net
>>582
>数学科行って学部数学分からず卒業したんだ
>フーリエだって言葉だけじゃん
>みえみえだよｗ
御託はいいので、>>579-580の質問に回答してね
ガロア理論、完全理解したんでしょ？
なら、速攻で回答できる筈
586:現代数学の系譜 雑談
23/01/08 21:47:52.16 9zXu/9tz.net
>>549
>>ガウスも自分がやりたいことを勝手に選んでやっただろう
>まあ、ガウスに自分で考えさせてもいいけどね
>しかし、だれか人とつけるべきでしょうね
>ガウスの数学的真意を見抜いて、適切なアドバイスができる人を
思うに
1）ガウスを起点として発展した数学が沢山ある
ポストDA的な
楕円関数、楕円曲線論や、整数論
円分論からガロア理論
2）ガウスの弟子のリーマンとかディリクレとか
彼らの後の発展もある
素数分布にリーマン予想、L関数論など
3）ガウスがくそだといった
フェルマー予想のその後とその解決
まあ、ガウスが現代にタイムスリップしたら
これを聞いたら喜びそうというテーマが沢山ありそうです
ラマヌジャンとは、
天才の質が違う気がする
587:現代数学の系譜 雑談
23/01/08 21:48:41.95 9zXu/9tz.net
>>585
はぐらかそうと
必死の人がいるｗ
588:現代数学の系譜 雑談
23/01/08 21:53:38.17 9zXu/9tz.net
>>586 追加
まあ、2023年
解かれるのを待っている問題も多数ある
（ミレニアムとか懸賞問題もある）
あるいは、「○○予想」とか
問題を作り出すのもあり
ガウスの古典に耽溺するのもありだろうが
ガウスのように始めよ
は、ガウスの古典に耽溺とは、違うよね
オリジナルなことをやれという意味でしょうねぇ
589:１３２人目の素数さん
23/01/08 22:15:25.10 9nG4dRJ7.net
>>584
🎍明けmatheて🎌
🗻ぉめでとぅござぃmathe.🌅
旧年中ゎ大変³ぉ世話になりmatheた
🐰今年も何卒ょろぴくぉ願ぃ申し上げmathe…🐇
590:１３２人目の素数さん
23/01/08 22:21:30.92 9nG4dRJ7.net
…ｻﾑｯ…ｻﾑｩｨ!❄
ｽﾙﾙｪ凍ってるｯﾋﾟ!🥶
☃助ｹﾃ!ｽﾉ~ﾏﾝ!⛄
|=³(初ｧﾗｼ)
591:わかるすうがく 近谷蒙
23/01/09 06:08:40.90 s+XS+LCC.net
>>587 >はぐらかそうと必死の人がいる
それ、1な
>>588 >オリジナルなことをやれという意味でしょうねぇ
それ、「逃げ」な
まず、以下の問題を解こう 解けないうちは、1は負け犬だよ
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
1/cos(2kπ/11) =θk (k=1~5) としときましょう
１の５乗根をηとします
さて、ラグランジュの分解式
θ’＋ηθ’’+η^2θ’’’＋η^3θ’’’’＋η^4θ’’’’’ で、
１．θ’~θ’’’’’にθ1~θ5をどう当てはめれば、値がベキ根で求まるでしょう？
２．値がベキ根で求まる当てはめ方は全部でいくつあるでしょう？
３．可能な当てはめかたの見つけ方になにか方策はあるでしょうか？
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
はい、がんばって
このくらいわからないと、現代数学の最前線なんて到底立てないよｗ
592:わかるすうがく 近谷蒙
23/01/09 06:51:53.98 s+XS+LCC.net
>>586
>ガウスを起点として発展した数学が沢山ある
>ポストDA的な
>楕円関数、楕円曲線論や、整数論
>円分論からガロア理論
>ガウスの弟子のリーマンとかディリクレとか
>彼らの後の発展もある
>素数分布にリーマン予想、L関数論など
>ガウスがくそだといった
>フェルマー予想のその後とその解決
あれこれ言葉だけ並べてみるも
どれ一つ全く理解できず
哀れ、おサルの1
593:わかるすうがく 近谷蒙
23/01/09 07:01:32.18 s+XS+LCC.net
１はつべこべいう暇があったら、まず、以下の問題を解こう
解けないうちは、1は負け犬だよ
ラグランジュの分解式も分からないでガロア理論？
それじゃ石井本の定理6.8
「方程式f(x)の根がベキ根であらわされるのは
f(x)のガロア群が可解群であるとき、そのときに限る」
はもちろん、その前の定理6.5
「体Kが1のn乗根ζを含むとき、巡回拡大L/Kはベキ根拡大である」
も、さらにその前の定理6.1
「1のn乗根はベキ根を用いて表すことができる」
も、全然わかってませんからぁ（６章全滅） 残念！
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
1/cos(2kπ/11) =θk (k=1~5) としときましょう
１の５乗根をηとします
さて、ラグランジュの分解式
θ’＋ηθ’’+η^2θ’’’＋η^3θ’’’’＋η^4θ’’’’’ で、
１．θ’~θ’’’’’にθ1~θ5をどう当てはめれば、値がベキ根で求まるでしょう？
２．値がベキ根で求まる当てはめ方は全部でいくつあるでしょう？
３．可能な当てはめかたの見つけ方になにか方策はあるでしょうか？
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
はい、がんばって
このくらいわからないと、現代数学の最前線なんて到底立てないよｗ
594:１３２人目の素数さん
23/01/09 07:09:31.76 nWKJmUHD.net
>>552
> そして、「代数方程式の解法に、フーリエ解析！」という人に
> ”おいおい、大丈夫か？ 気は確かか？”と確認するだけの注意力
> （特に、フーリエ解析の常識あれば、”なんかヘン”と思うべしｗ）
>
> また、時枝先生のちょっとヘンな記事あれば ｽﾚﾘﾝｸ(math板)
> 騙されないだけの数学の常識を身につけておくべし
> （騙されたらいけないよね）
>
> これ社会人として
> 必要なことです
Solution by Radicals and the DFT
URLﾘﾝｸ(joelshapiro.org)
595:現代数学の系譜 雑談
23/01/09 09:34:55.74 xY+wMPX4.net
>>594
ありがと
まず、文書の日付と著者、出所を
URLﾘﾝｸ(joelshapiro.org)
Joel H. Shapiro
Fariborz Maseeh Department
of Mathematics & Statistics,
Portland State University
URLﾘﾝｸ(joelshapiro.org)
Spring Term Schedule 2019
Friday, January 18 in East Hall Room 236: 2PM?3 PM
Jim Rulla will speak on: Cubics, quartics, and the DFT
Abstract. The Discrete Fourier Transform (DFT), an important tool in science and engineering, turns out to be useful in algebra, too. In this talk, we’ll use the DFT to find the roots of polynomials of degrees 3 and 4 (cubics and quartics). Lagrange’s opinion was that the cubic requires particular artifices that do not present themselves naturally.
However no such “artifices” are required if we use the DFT. The technique is remarkably simple and easy to remember.
Notes for Jim’s talks on DFT and solutions by radicals are here.
URLﾘﾝｸ(joelshapiro.org)
Solution by Radicals and the DFT January 11, 2019 Jim Rulla
つづく
596:現代数学の系譜 雑談
23/01/09 09:36:09.43 xY+wMPX4.net
>>595
つづき
さて、数学的分析
1）題は、”Solution by Radicals and the DFT”であって、DFTでもってすべてのべき根が解けるということではないよね
2）実際、扱われているのは、代数方程式で2次、3次、4次止まり
3）そして、P4の3次式ですでに
”b = - (r1 + r2 + r3) (C4)
c = r1r2 + r1r3 + r2r3
d = -r1r2r3.
Three equations and three unknowns looks good, but trying to solve Equation (C4) for the rj is disheartening.
Don’t let me discourage you from trying, but do let me know if you make progress! ”
などとある。つまり、この後にある技巧を必要とするってことね。
4）さらに、P9 4次式で
”Remark: This “trick” avoids taking the 4-dimensional DFT. In a sense, the trick amounts to using the
4-dimensional fast Fourier Transform (FFT). One can also solve the quartic using the Lagrange resolvents.
See Edwards6.”
つまり、DFTでなく、“trick”を使ったという
実際P8の式B4で、”The DFT of the roots is”とあるけど
”The top row, as always, is symmetric in the roots, and is ?b. The second and fourth rows are similar ?
they both qualify as Lagrange resolvents ? but the third row is different. There are 4! = 24 permutations
of the roots rj ”
として、結局
” Since we have a cubic formula, we can find the three t2k, and since we can take square roots, we can find all six of the ti.
This suffices to solve the quartic since”
“trick”で、ジャンプしていますよね
5）この文書から読めることは、DFTは部分的には役に立つけど、あくまで部分的で、DFTですべて解決するわけではない
かつ、4次式止まり
これで良いですか
597:現代数学の系譜 雑談
23/01/09 09:55:19.64 xY+wMPX4.net
>>596 補足
1）あなたに、相当の数学的素養と検索能力があることは認める
余談ですが、時枝 ｽﾚﾘﾝｸ(math板)
で、mathoverflowの関連記事と、Sergiu Hart氏の記事を見つけたのは、あなただった気がする
2）しかし、必死に検索して、この程度
つまり、5次式以上の本当にほしいところでは、DFTとかフーリエ解析とか
本格的な学術文献なし！
（上記時枝さんも、同じ）
そこら、大局的な大人のセンスが欠落していませんか？
つまり、DFTとかフーリエ解析とかが、5次以上の代数方程式のべき根解法に役立つならば
そういう趣旨の正規の学術文献が、きっとあるはず
（時枝さんの件も同じ）
でも、ないでしょ！
そして、>>251より”（今で言うフーリエ逆変換を取れば）アーベル方程式の根θの
べき根表示が一挙に得られるという話。”（わたしが大学の頃レポートで書いた という）
だったでしょ？
このPDFの内容と、”（今で言うフーリエ逆変換を取れば）アーベル方程式の根θの
べき根表示が一挙に得られるという話”
とは、整合していない気がするのは、私だけかな？
PS
このPDFの話は面白かったけどね
どちらかというと、DFTやフーリエ解析に力点がある内容ですね
598:わかるすうがく 近谷蒙
23/01/09 09:56:57.83 s+XS+LCC.net
>>596
もしかして
「DFTで、”すべての”代数方程式が解ける」
と誤解してない？
だれもそんなこといってませんが
1は幻聴が聞こえるのかな？
だからそういう誤解に気づくためにも
以下の問題、解きましょうね
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
1/cos(2kπ/11) =θk (k=1~5) としときましょう
１の５乗根をηとします
さて、ラグランジュの分解式
θ’＋ηθ’’+η^2θ’’’＋η^3θ’’’’＋η^4θ’’’’’ で、
１．θ’~θ’’’’’にθ1~θ5をどう当てはめれば、値がベキ根で求まるでしょう？
２．値がベキ根で求まる当てはめ方は全部でいくつあるでしょう？
３．可能な当てはめかたの見つけ方になにか方策はあるでしょうか？
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
はい、がんばって
このくらいわからないと、現代数学の最前線なんて到底立てないよｗ
599:わかるすうがく 近谷蒙
23/01/09 10:01:26.53 s+XS+LCC.net
>>597
>”（フーリエ逆変換を取れば）
> アーベル方程式の根θのべき根表示が
> 一挙に得られるという話。”
よく読もうね
（任意の）代数方程式とは書いてない
「アーベル方程式」って書いてあるね
1クン、アーベル方程式って何だか知ってるの？
URLﾘﾝｸ(ja.wikipedia.org)
600:わかるすうがく 近谷蒙
23/01/09 10:06:53.92 s+XS+LCC.net
1クンは、とにかく粗雑なので、実にしばしば必要条件が落ちる
そのせいで初歩的誤りをしでかす
「任意の正方行列に対してその逆行列が存在する」が典型例
今回も
「任意の代数方程式が、フーリエ変換によってベキ根で解ける」
と聞き違えたらしい 実にお粗末
読めば、誰もそんなことはいってない
601:１３２人目の素数さん
23/01/09 11:18:39.37 4JDol5oY.net
フーリエ変換も
周期性で関数をスペクトル分解するというより
偶関数奇関数に分けると思えば
基本対称式に分ける不変式論だとでも思えるんだろうか？。
602:わかるすうがく 近谷蒙
23/01/09 13:49:12.12 s+XS+LCC.net
>>601
どうも、1のみならず他の方にも誤解されてるようですね
まず、
「いかなる5根もフーリエ変換によってベキ根で表せる」
ということではありません
それはアーベルの定理に反するでしょうｗ
当然「方程式のガロア群が巡回群である」という条件があります
また、上記の条件を満たしたとして
「5根をいかなる順序で並べてもフーリエ変換してもベキ根で表せる」
というわけでもありません
5根が巡回する順序に従って並べる必要があります
603:わかるすうがく 近谷蒙
23/01/09 14:04:04.57 s+XS+LCC.net
>>603
ここまで書けば察しのいい人は分かる筈ですが
単に方程式を提示しただけでは
ラグランジュの分解式は使えません
解の巡回関係が分かっている必要があります
３次方程式のカルダノの解法でも
３次式の因数分解の形に当てはめる形で
ラグランジュの分解式が用いられてる
と分かります
604:わかるすうがく 近谷蒙
23/01/09 14:17:53.60 s+XS+LCC.net
>>597
>検索能力
数学に「検索能力」は全く必要ない
>余談ですが、…で、…の関連記事と、…の記事を見つけたのは、あなただった気がする
数学に「妄想力」も必要ない
さて 本題
>大局的な大人のセンスが欠落していませんか？
そもそも、文章の読解力が欠如してませんか？
「いかなる代数方程式も」フーリエ変換によってベキ根に表せるなんて言ってませんよ
ガロア群が巡回群の場合について述べてるのに、なんでいきなり忘れるんですかね？ 健忘症？
「アーベル方程式」の根θ、と書いているのに、
1クンは一度もアーベル方程式という言葉を用いず
定義すら示していない
それが1のつまづきの元 必要な条件を無視したら誤るのは当たり前である
1は国語からやり直したほうがいい
605:わかるすうがく 近谷蒙
23/01/09 17:01:37.29 s+XS+LCC.net
さて、1クンは>>598の問題に手も足も出ないようです
ナサケナイ・・・それが、１０年ガロア理論のスレ立てて
イキりまくってた人の本当の実力ですか？
では回答
１．例えばθ1、θ5、θ3、θ4、θ2と並べればよい
これは、基本的に 5^n (mod11)ですが、
最後の2は、9＝(-2) (mod11)です
２．合計２０通り
３．まず、
θ1、θ5、θ3、θ4、θ2
の他にこれを巡回させた
θ5、θ3、θ4、θ2、θ1
θ3、θ4、θ2、θ1、θ5
θ4、θ2、θ1、θ5、θ3
θ2、θ1、θ5、θ3、θ4
を合わせて合計５通り
さらに、１つ飛ばし、２つ飛ばし、３つ飛ばしで
θ1、θ3、θ2、θ5、θ4 (3^n (mod11) 但し2は (-2)=9)
θ1、θ4、θ5、θ2、θ3 (4^n (mod11) 但し2は (-2)=9)
θ1、θ2、θ4、θ3、θ5 (9^n (mod11) 但し2は (-2)=9)
があり、それぞれ巡回で５通りづつある
つまり「巡回」と「飛ばし」で構成できる
606:現代数学の系譜 雑談
23/01/09 17:03:54.16 6S/tQhxu.net
>>602
>「いかなる5根もフーリエ変換によってベキ根で表せる」
そこ、二つに分けないと
１）いかなる5根もフーリエ変換ないしDFTに載せられる（ここまでは正しい）
２）ベキ根で表せるか否かは、方程式次第でガロア理論で分かる（ここは、条件つきで正しい）
>>603
>単に方程式を提示しただけでは
>ラグランジュの分解式は使えません
使えるよ
ラグランジュの分解式は、どんな代数方程式でも適用できる
適用した結果どうなるは、別の話としてね
（5次式へ適用したラグランジュの結果に対する歴史的考察がCox本にある。
いま手元に本がないのでページ数は示せないが、歴史ノートのラグランジュの項だったと思う）
>解の巡回関係が分かっている必要があります
そこ、石井本の限界だな
ガロア第一論文読めよ、彌永の解説に下記書いてある
5次方程式で、解けるガロア群は
・位数20のフロベニウス群F20（線型群、メタ巡回群ともいう）
・位数10の二面体群D5
・位数5の巡回群C5
の3つで、 F20⊃D5⊃C5
このうち、F20とD5は巡回群ではないし、そもそも非可換群です
>>604
>>検索能力
> 数学に「検索能力」は全く必要ない
ああ、数学の超天才ならね
しかし、2022年のフィールズ賞受賞者たち、この程度の天才では情弱はいないだろう
自分で検索するか、適切な指導者に教えてもらうかは知らないがね
広大な現代数学の最前線で仕事をするからこそのフィールズ賞でしょ？
（他人の二番煎じは、時間の無駄でしかない）
> 「いかなる代数方程式も」フーリエ変換によってベキ根に表せるなんて言ってませんよ
> ガロア群が巡回群の場合について述べてるのに、なんでいきなり忘れるんですかね？ 健忘症？
ガロア群の定義次第だが、上記の通り（フロベニウス群F20(巡回群でない)とかの辺りね。なお、言い訳の余地は認めるよｗ）
>>600
>「任意の正方行列に対してその逆行列が存在する」が典型例
完全にサイコパスやくざの因縁づけそのもの>>5
「 いま ガン飛ばしたろ、おまえ、ごらぁ～！」
やれやれ、完全に意図的に曲解して因縁づけしてくる 数学科オチコボレの やくざさん だね
607:わかるすうがく 近谷蒙
23/01/09 17:10:15.16 s+XS+LCC.net
さてｐを素数とします
ｐ個の元からなる順列はｐ！個ありますが
それらが巡回関係となっている場合
ラグランジュ分解式への当てはめで妥当なのはｐ（ｐ－１）個です
つまり、ｐが大きくなればなるほど、
デタラメに当てはめてそれが幸運にも正しい場合
の確率は小さくなります
例えば
ｐ＝５ なら １／６
ｐ＝７ なら １／１２０
ｐ＝１１ なら １／３６２８８０
結論：前提条件って大事だな
608:現代数学の系譜 雑談
23/01/09 17:14:24.19 6S/tQhxu.net
>>599
> 1クン、アーベル方程式って何だか知ってるの？
>URLﾘﾝｸ(ja.wikipedia.org)
いま（代数方程式）の場合、
適切な検索引用は、下記の「アーベル拡大」だよ
URLﾘﾝｸ(ja.wikipedia.org)
アーベル拡大
ガロア群がアーベル群となるようなガロア拡大のことをアーベル拡大 (abelian extension) と言う。ガロア群が巡回群のときは、巡回拡大 (cyclic extension) という。ガロア拡大が可解 (solvable) であるとは、ガロア群が可解、つまり中間拡大に対応するアーベル群の列からガロア群が構成されるときを言う。
有限体の全ての有限拡大は、巡回拡大である。類体論の発展は、数体と局所体と、有限体上の代数曲線の函数体のアーベル拡大についての詳細な情報をもたらした。
円分拡大という概念があり、2つの少し異なる定義がある。1つは1の冪根による拡大のことであり、もう1つはその部分拡大のことである。例えば円分体は円分拡大である。任意の円分拡大はいずれの定義でもアーベル拡大である。
体 K が 1 の原始 n 乗根を含み、K のある元の n 乗根が添加されると、この拡大はいわゆるクンマー拡大であり、これはアーベル拡大となる。（K の標数が p > 0 のとき、p は n を割らないと仮定しなければならない。もし割るようであれば、分離拡大ですらないからである。）しかしながら、一般に、元の n 乗根のガロア群は、n 乗根と1の冪根の双方に作用し、半直積として非可換ガロア群を構成する。
クンマー理論は、アーベル拡大の場合を完全に記述する。クロネッカー・ウェーバーの定理は、K が有理数体のとき、拡大がアーベル的であるということと、拡大が1の冪根を添加して得られる体の部分体であることとは同値であると言う定理である。
つづく
609:現代数学の系譜 雑談
23/01/09 17:14:57.13 6S/tQhxu.net
>>608
つづき
(追加参考)
URLﾘﾝｸ(www2.tsuda.ac.jp)
第24回数学史シンポジウム(2013.10.12?13) 所報 35 2014
URLﾘﾝｸ(www2.tsuda.ac.jp)
第24回数学史シンポジウム
URLﾘﾝｸ(www2.tsuda.ac.jp)
RATIONAL FUNCTIONS DEFINED BY THE LEMNISCATE FUNCTIONSAND THE PRIMARY NUMBER OF GAUSSIAN INTEGER (STEP 2)~GAUSS, ABEL, EISENSTEIN, を繋ぐ虹の架け橋~TAKUMA OGAWA (小川琢磨)
Date: 2014.01.30. 津田塾大学 数学計算機科学研究所報として提出
(引用終り)
以上
610:わかるすうがく 近谷蒙
23/01/09 17:22:40.26 s+XS+LCC.net
>>606
>>「いかなる5根もフーリエ変換によってベキ根で表せる」
>そこ、二つに分けないと
分けるのは随意だけど、意味ないね
>いかなる5根もフーリエ変換ないしDFTに載せられる（ここまでは正しい）
それ式の変数に当てはめるだけだから、正しいもヘッタクレもない（だから意味ない）
>ベキ根で表せるか否かは、方程式次第でガロア理論で分かる（ここは、条件つきで正しい）
()内がおかしい 「方程式次第でガロア理論でわかる」が条件だから、
ガロア理論で分かるなら、「条件つきで」とわざわざ書かずに「正しい」と書く
分からないなら、「正しくない」と書く
で、「正しい」んですか？「正しくない」んですか？
>>単に方程式を提示しただけではラグランジュの分解式は使えません
>使えるよ
>ラグランジュの分解式は、どんな代数方程式でも適用できる
>適用した結果どうなるは、別の話としてね
これも言葉遣いとして無意味
「使える」というのは「意図した結果が得られる」という意味
ただ変数に値を入れられるという意味だと思うのは･･･考え無しの馬鹿猿ｗ
>（5次式へ適用したラグランジュの結果に対する歴史的考察がCox本にある。
> いま手元に本がないのでページ数は示せないが、
> 歴史ノートのラグランジュの項だったと思う）
それ数学が理解できない人の典型的な読み方ですね
中身は分からないが本のタイトルと箇所だけわかる
数学が分かるというのは、本のタイトルとか箇所とか忘れても
中身だけは確実に理解し人に言えるということですよ
はい、残念でした
理論物理が好きな１は、物理板に逝って二度と戻ってこないでね
数学板では君は快感得られないから
611:わかるすうがく 近谷蒙
23/01/09 17:33:08.06 s+XS+LCC.net
>>606
（ラグランジュ分解式を使うには）
>>解の巡回関係が分かっている必要があります
>そこ、石井本の限界だな
石井本だけではないですけど、御存知なかったんですか？
>ガロア第一論文読めよ、彌永の解説に下記書いてある
読み間違ってますね
>5次方程式で、解けるガロア群は
>・位数20のフロベニウス群F20（線型群、メタ巡回群ともいう）
>・位数10の二面体群D5
>・位数5の巡回群C5
>の3つで、 F20⊃D5⊃C5
>このうち、F20とD5は巡回群ではないし、そもそも非可換群です
ああ、1はそこしか読まなかったんだ
それじゃガロア理論が全く分かってない馬鹿猿といわれちゃいますねｗ
F20とD5の正規列はどうなってますか？
URLﾘﾝｸ(peng225.)はてなブログ.com/entry/2018/01/25/200421
巡回群C5が出てくるでしょ？で、途中の剰余群も可換群でしょ？
あのね、結局それぞれガロア群が巡回群となる拡大の積み重ねになるんで
非可換ダーとかいうのは、全然反論にもなってなくて
「ボクはガロア理論のガの字もわかってません！」
って白状してるだけなんですよｗ
いやー、こんなんで
「ガロアゲームをクリアしました」
とかいってるって…ほんと馬鹿ですねｗ
612:わかるすうがく 近谷蒙
23/01/09 17:38:41.52 s+XS+LCC.net
>>606
>ガロア群の定義次第だが、･･･
>フロベニウス群F20(巡回群でない)とかの辺りね
ガロア理論が分かっているなら、
「可解」＝「各拡大がアーベル拡大」
ってわかってる筈なので、
「群全体が非可換」
とかいう馬鹿発言は出てこないんですよｗ
（ラグランジュの分解式は、各拡大で用いるので
全部一度に用いるわけではない）
P.S.
>なお、言い訳の余地は認めるよ
１には言い訳の余地ないですね
だからいってるでしょ 検索だけじゃ馬鹿沼から抜け出せないってｗ
613:わかるすうがく 近谷蒙
23/01/09 17:42:27.40 s+XS+LCC.net
>>606
>> 数学に「検索能力」は全く必要ない
>ああ、数学の超天才ならね
>しかし、2022年のフィールズ賞受賞者たち、
>この程度の天才では情弱はいないだろう
>自分で検索するか、適切な指導者に教えてもらうかは知らないがね
>広大な現代数学の最前線で仕事をするからこそのフィールズ賞でしょ？
>（他人の二番煎じは、時間の無駄でしかない）
検索だけやってるのも、時間の無駄ですけどねｗ
10年検索し続けてるようですが、最先端で業績上げられましたか？
最先端どころか、初歩から分からんままでしょ？
いい加減、検索オンリーが大失敗だったって気づきましょうよ
614:わかるすうがく 近谷蒙
23/01/09 17:52:03.78 s+XS+LCC.net
>>606
>>「任意の正方行列に対してその逆行列が存在する」が典型例
>完全にサイコパスやくざの因縁づけそのもの
怒りましたか？ でしょうね
でも、残念ながら、それがあなたの実態ですよ
それだけじゃない まだまだいくつもありますよ
今回、可解の意味も分かってないと分かっちゃいましたしね
いやぁ、いったい数学書をどんな風に読んでるんですか
ウンチクとして語れる文章だけ拾い読みしたって数学は理解できませんよ
>やれやれ、完全に意図的に曲解して因縁づけしてくる
>数学科オチコボレの やくざさん だね
あなたは自分の誤りを認めたがらずにやれ曲解だ因縁だといいますが
あなた以外の誰が見ても、誤ってるのはあなたのほうです
で、あなたは自分がフィールズメダリストかなんかと思っていて
誤ることが恥だと感じてるらしいですが・・・笑わせんなよ！ｗ
ド素人が初歩で間違ったからって、ああいつものことと受け流すだけ
あなたがどこの国立大出身か知りませんが 数学科以外は基本素人同然
もちろん、よくできる人もいますが、あなたはそうじゃないことは一目瞭然
素人は素人らしく天然ボケかまして、違ってたら
「申しわけありませぇぇぇぇぇん！」ってジャンピング土下座かましてれば
「ふっ、カワイイ奴」といって笑って許してもらえるってもんです
（もう私なんかこの技を何十遍使ったことか そのおかげで今がありますｗ）
今、1に必要な技、それは･･･ジャンピング土下座！（これマジな）
615:わかるすうがく 近谷蒙
23/01/09 17:55:15.95 s+XS+LCC.net
>>608
>> 1クン、アーベル方程式って何だか知ってるの？
> いま（代数方程式）の場合、適切な検索引用は、下記の「アーベル拡大」だよ
1って・・・馬鹿なのかな？
相手が「アーベル方程式」っていってるんだから
調べるのは「アーベル方程式」でしょ
全然違う「アーベル拡大」調べてどうすんの？ｗ
こういうところが、1の実に馬鹿なところなんだけど、わかってる？
616:わかるすうがく 近谷蒙
23/01/09 18:02:15.98 s+XS+LCC.net
1に教えたいジャンピング土下座w
URLﾘﾝｸ(dic.nicovideo.jp)
ああ、ボクにはしなくていいよ
でも、ガウスの弟子＾ｎちゃんにはしてあげてね
あの人・・・ガチだよ 多分査読論文も書いてる
１みたいに大学1年の線型代数で落ちこぼれた人とは
雲泥の差があるから わかってる？
617:わかるすうがく 近谷蒙
23/01/09 18:05:25.79 s+XS+LCC.net
それにしても、1がなんもかんもわかってなくて
トンチンカンな初歩的誤りを臆面もなく書き散らかす一方で
なんか性懲りもなくいきがって検索結果を貼りまくるのを見ると
「ああ、この人、受験でカン違いして人生失敗しちゃったんだな」
と思っちゃうね ＃そういう人って日本には沢山いるけどね
618:わかるすうがく 近谷蒙
23/01/09 18:07:47.03 s+XS+LCC.net
1が哀れなのは、なにかというと「最前線」っていうこと
この人にとって学問自体は全然楽しくなくて
ただ「最前線」に立つことだけが生きがいらしい
それがどんなに馬鹿げたことか分かんないみたい
人生失敗した理由は、ズバリそこだよｗ
619:わかるすうがく 近谷蒙
23/01/09 18:09:54.11 s+XS+LCC.net
＞他人の二番煎じは、時間の無駄でしかない
学校で習う事なんて、何番煎じだかわかんないっすよｗ
一番じゃなきゃ意味ない、と思う時点で狂ってるね
どんな育ち方したのか知らないけど
人生、そんなもんじゃないよ
620:わかるすうがく 近谷蒙
23/01/09 18:13:41.64 s+XS+LCC.net
>>605 もう一度かいとこ
1はほんと、数学の何が面白いのか全然分かってない野暮天だねえ
さて、1クンは>>598の問題に手も足も出ないようです
ナサケナイ・・・それが、１０年ガロア理論のスレ立てて
イキりまくってた人の本当の実力ですか？
では回答
１．例えばθ1、θ5、θ3、θ4、θ2と並べればよい
これは、基本的に 5^n (mod11)ですが、
最後の2は、9＝(-2) (mod11)です
２．合計２０通り
３．まず、
θ1、θ5、θ3、θ4、θ2
の他にこれを巡回させた
θ5、θ3、θ4、θ2、θ1
θ3、θ4、θ2、θ1、θ5
θ4、θ2、θ1、θ5、θ3
θ2、θ1、θ5、θ3、θ4
を合わせて合計５通り
さらに、１つ飛ばし、２つ飛ばし、３つ飛ばしで
θ1、θ3、θ2、θ5、θ4 (3^n (mod11) 但し2は (-2)=9)
θ1、θ4、θ5、θ2、θ3 (4^n (mod11) 但し2は (-2)=9)
θ1、θ2、θ4、θ3、θ5 (9^n (mod11) 但し2は (-2)=9)
があり、それぞれ巡回で５通りづつある
つまり「巡回」と「飛ばし」で構成できる
621:１３２人目の素数さん
23/01/09 18:40:29.69 ql2QAJQW.net
>>607
多少周波数成分が欠落しても
無限に高周波成分まで取り出すことで無理やり誤魔化してるのが
イデールアデールだと思ってるけど
違うんかな？。
622:１３２人目の素数さん
23/01/09 19:16:31.80 CARIpwm4.net
>>621
違いますね。
>無理やり誤魔化してるのがイデールアデールだと思ってるけど
無理やり誤魔化して数学理論になると思ってるのが間違い。
自分が自然なモノとしての理解が得られなかったからといって
「無理やりな誤魔化しだ～」という負け犬の遠吠えｗ
数学理解が初歩から躓いているという点では1と同じ。
623:１３２人目の素数さん
23/01/09 19:19:10.36 CARIpwm4.net
1の場合は、分からなくても「うんうん分かったぞ。ここに書いてある」
と文献と書いてある場所を覚えるｗ
624:わかるすうがく 近谷蒙
23/01/09 19:34:25.27 s+XS+LCC.net
>>621 そんなむずかしいことはわかりませんわぁｗ
>>622 さすが自信に満ちた言葉ですな 師匠ｗ
625:わかるすうがく 近谷蒙
23/01/09 19:38:21.65 s+XS+LCC.net
>>623
>1の場合
>分からなくても「うんうん分かったぞ。」
一番アカンやつやねｗ
分からんのに分かったといったらウソつき
分からんけど書かれた通りにやってみる、というのはあり
やって確かめな実感できんことはある
1はとにかく自分の手を動かさない
理屈が分からんでも計算するのが工学屋
計算すらしないのはもはや只の馬鹿
626:現代数学の系譜 雑談
23/01/09 20:12:42.24 xY+wMPX4.net
>>595 追加
>URLﾘﾝｸ(joelshapiro.org)
>Solution by Radicals and the DFT January 11, 2019 Jim Rulla
（DFTとLagrange resolventとの関係）
これのP8より
The DFT of the roots is
＜下記は行列です。原文ご参照！＞
[1 1 1 1](r1)＝(r1 + r2 + r3 + r4) ・・・・・(B4)
[1 -i -1 i](r2) (r1 - r2i - r3 + r4i)
[1 -1 1-1](r3) (r1 - r2 + r3 - r4)
[1 i -1 -i](r4) (r1 + r2i - r3 - r4i)
The top row, as always, is symmetric in the roots, and is - b.
The second and fourth rows are similar ? they both qualify as Lagrange resolvents ? but the third row is different.
(引用終り)
（コメント）
・ここで、トップの1行目は、単純な根の和で、-bです
・2行目と4行目は、Lagrange resolvent
・3行目は、Lagrange resolventではない！
・つまり、上記のDFTの行列は、Lagrange resolvent そのものではない！！
（Lagrange resolventの拡張と言えるかもね）
なお、Lagrange resolvent で、4次方程式が解けることは
P9 の冒頭 Remark で
”One can also solve the quartic using the Lagrange resolvents.See Edwards6.”
と記されている。（Edwards 6でなくても、他にもありと思うけど）
以上
627:わかるすうがく 近谷蒙
23/01/09 20:43:57.27 s+XS+LCC.net
>>626
>トップの1行目は、単純な根の和
>3行目は、Lagrange resolventではない！
わかってないなｗ
1行目も3行目も当然必要
>>111-113を見よ
一度でも自分で計算すればわかる
一度も自分で計算しない馬鹿は一生分からん
縁なき衆生は度し難し
628:現代数学の系譜 雑談
23/01/09 21:50:36.80 xY+wMPX4.net
>>621
>イデールアデール
"代数体の類体論を記述するのに、 イデアル類群よりも自然で有効な道具として Chevalley により導入された"
か
さっぱりですが、貼る
URLﾘﾝｸ(www4.math.sci.osaka-u.ac.jp)
伊吹山
整数論研究集会報告集のページ
第１回整数論サマースクール 「アイゼンシュタイン級数について」1993
URLﾘﾝｸ(www4.math.sci.osaka-u.ac.jp)
アデールとカスプ入門 京大・齋藤裕 人間・環境学研究科 第１回整数論サマースクール 1993
このシンポジウムのプログラム責任者から、出席者のなかにアデールやカスプの群論的記述を知らない人もいるかもしれないので、簡単な解説をするように言われたのですが、GL2 のアイゼンシュタイン級数の記述に必要な群論的な準備をすればよいのだろうという気分で引き受けました。 この記事が、 アデールについて未習の方に、少しでも役に立てばと思っております。
§1. アデールイデールは、代数体の類体論を記述するのに、 イデアル類群よりも自然で有効な道具として Chevalley により導入された。 これにより、 類体論は一つの完全系列として記述される。また一般の代数群のアデールは、 Kneser や玉河等により導入され、 代数群の数論的性質やその上の保型形式等の研究に不可欠なものとなっている。 ここでは、2次の線形群の場合に、そのアデール化について復習する。 またカスプについても復習する。
URLﾘﾝｸ(ja.m.wikipedia.org)
アデール代数群
アデール代数群（アデールだいすうぐん，英: adelic algebraic group）は数体 K 上の代数群 G と K のアデール環 A = A(K) 上で定義される半位相群（英語版）である．それは、代数群 G の A-値点全てからなる；適切な位相の定義は G が線型代数群のときに限り簡単である．G がアーベル多様体のときにはそれは技術的な障害を表す．概念は潜在的には玉河数との関係で有用であることが知られてはいるが．アデール上の代数群は数論において広く用いられ，特に保型表現論と二次形式の数論において用いられる．
つづく
629:現代数学の系譜 雑談
23/01/09 21:51:09.58 xY+wMPX4.net
>>628
つづき
G が線型代数群のとき，それはアファイン N-空間におけるアファイン代数多様体である．アデール代数群 G(A) 上の位相はアデール環の N 個のコピーのデカルト積 AN の部分空間位相が取られる．
用語の歴史
歴史的には idele が Chevalley (1936) によって "element ideal"（フランス語で「理想元」）の名の下で導入され，Chevalley (1940) がハッセの提案に従って "idele" に省略した．（これらの論文において彼はハウスドルフでない位相のイデールを与えることもした．）これは無限次拡大に対して位相群のことばで類体論を定式化するためであった．Weil (1938) は関数体の場合にアデールの環を定義し（たが名づけなかった），Idealelemente のシュバレーの群がこの環の可逆元の群であることを指摘した．Tate (1950) はアデールの環を制限直積として定義したが，彼はその元をアデールではなく "valuation vector" と呼んだ．
Chevalley (1951) は関数体の場合に "repartitions" の名の下でアデールの環を定義した．用語 adele（additive idele の省略で，フランス人女性の名前でもある）は，まもなくその後使われた (Jaffard 1953)．アンドレ・ヴェイユが導入したのであろう．Ono (1957) によるアデール的代数群の一般的な構成はアルマン・ボレルとハリシュ・チャンドラ（英語版）によって基礎づけられた代数群の理論に続いた．
(引用終り)
以上
630:現代数学の系譜 雑談
23/01/09 21:52:06.31 xY+wMPX4.net
>>627
> わかってないなｗ
> 1行目も3行目も当然必要
なにを必死で誤解しているｗ
分かってないのは
あなたです！ｗｗｗ
631:現代数学の系譜 雑談 ◆yH25M02vWFhP
23/01/09 22:58:42.26 xY+wMPX4.net
>>622-623
ありがとね
> 1の場合は、分からなくても「うんうん分かったぞ。ここに書いてある」
>と文献と書いてある場所を覚えるｗ
思うに、数学科でトップクラスは、自分より下を探さない
（探さなくても、殆どがそうだろうから）
自分より下を探す数学科生は、落ちこぼれさん
自分より下を探して、自分を慰めたいんだね。きっと
そもそも、無意味でしょ？
自分自身が何を理解しているかが、根本問題であって
他人が理解しているとか、していないとかｗ
それこそ、自分以外の人って 何百人できかないよね
それが、気になって仕方ないんだ
自分に、自信も実力もないからだ
哀れだねｗ
私が、何をどこまで理解しているかなど
他人に示そうとか 説明しようとか そんなつもりは一切無い
そんなうまい手段も、ない
だがしかし、私のURLの引用先の文章の量は、大体引用の10倍くらいあるんだ
そこから、適切に引用できていれば、理解の大筋は外していないと分かるだろう
かつ、ケンカを売ってくる落ちこぼれには、
チクリチクリと間違いを指摘して、「あんたの方が、落ちこぼれさん だよ！」と教えている
この指摘が適切ならば、ある程度の理解はしていると思ってくれｗｗｗ
そして、引用先のURLも示しているから
私が、何をどこまで理解しているかなどより
自分の理解と勉強を、優先させれば良いだろうに
それが出来ない 落ちこぼれ1号2号だったとさｗｗｗ
632:１３２人目の素数さん
23/01/10 03:03:23.05 nk3jJXoi.net
雪江整数論3を今注文した
633:１３２人目の素数さん
23/01/10 07:19:40.17 M0jZf/Bt.net
>>628-629
>>イデールアデール
>か さっぱりですが、貼る
おサル恒例の「わからんけどコピペでマウント」芸ｗｗｗ
>>630
>なにを必死で誤解しているｗ
>分かってないのはあなたです！ｗｗｗ
おサル恒例の「オレ以外全て分かってない」芸ｗｗｗ
634:１３２人目の素数さん
23/01/10 07:30:53.60 M0jZf/Bt.net
>>631
数学科に限らず、トップクラスは、自分より下を探さない
（上しか見てない）
自分より下を探す１は、落ちコボレ
自分より下を探して、オレはどん底じゃないと慰める ああ、馬鹿馬鹿しいｗ
＞そもそも、無意味でしょ？
＞自分自身が何を理解しているかが、根本問題であって
＞他人が理解しているとか、していないとかｗ
ワカランチンがわかったつもりで初歩から誤ったこと喚いてるのはウザい
黙って失せてくれれば何もいわんよ
物理板逝けば 理論物理好きのエテ公は
フィールズ賞よりノーベル賞のほうが有名だろ
名誉だけが欲しいんだろ？ 物理に逝けよ
＞それが、気になって仕方ないんだ
＞自分に自信も実力もないからだ
＞哀れだねｗ
エテ公が間違ってることが気になるねｗ
エテ公は実力がないのに根拠のない自信に満ち溢れてる
まあ劣等感の裏返しなんだろうけど、正直キモチワルイね 病気だよ
＞私が、何をどこまで理解しているかなど
＞他人に示そうとか 説明しようとか そんなつもりは一切無い
＞そんなうまい手段も、ない
またまたｗ
「ボクちゃん、こんなこと知ってるんだぜ？エライだろ」
といいたくて仕方ない欲望がダダ洩れですよｗ
でもそれが全部コピペで、実はなんもわかってない
それじゃみんなにつつかれまくりますわあ
だからさあ、だまっとけっていってるじゃん
数学板で承認欲求満たそうなんて自爆行為だからやめとけって
ただの馬鹿としておとなしく生きればいいじゃん 実際そうなんだから
馬鹿がちょっと数学を理解できれば有難い そういう気持ちで生きれば幸せ
エテ公の１に足りないのは、そういう悟りだな
（つづく）
635:１３２人目の素数さん
23/01/10 07:39:43.39 M0jZf/Bt.net
>>634のつづき
＞だがしかし、
駄菓子菓子？
＞私のURLの引用先の文章の量は、大体引用の10倍くらいあるんだ
＞そこから、適切に引用できていれば、理解の大筋は外していないと分かるだろう
「適切に引用できていれば、」ね
実際は、だいたいトンチンカンな箇所を引用してる
だからまったく外しまくってるとわかる
分かってないのはエテ公当人ばかり
＞かつ、ケンカを売ってくる落ちこぼれには、
＞チクリチクリと間違いを指摘して、
＞「あんたの方が、落ちこぼれさん だよ！」
＞と教えている
その指摘自体がだいたい間違ってる
そもそも、
「任意の正方行列に逆行列がある」
「全部の項の絶対値が１未満なら無限乗積は０に”発散”する」
とかいうボケをかましまくってる時点で
「ああ、こいつ大学１年の線型代数も微分積分学もわかってないな」
と露見してる もう数学板でマウントごっことかやめとけ 寒い 寒すぎるｗｗｗ
＞この指摘が適切ならば、ある程度の理解はしていると思ってくれｗｗｗ
指摘は不適切だし、上記のような大学１年レベルのオオボケかますので
初歩から理解できてないって気づけ みんなわかってるぞｗ
＞そして、引用先のURLも示しているから
＞私が、何をどこまで理解しているかなどより
＞自分の理解と勉強を、優先させれば良いだろうに
まず、ドヤ顔でリンク張るより
自分がそのページ読んで理解しろよ
他人に紹介するのはその後な まず自分が理解しろｗ
まったくおサルの落ちこぼれ０号には困ったもんだ
大学１年の数学でつまづいてるのに、他人にマウント？
１００年、１０００年、いや、１００００年早いわ
この石器時代人がｗ
636:１３２人目の素数さん
23/01/10 09:07:39.57 ZGG332O2.net
>>634
君は1を自分より下だと見てない？
637:１３２人目の素数さん
23/01/10 19:21:05.74 M0jZf/Bt.net
>>636
＞君は1を自分より下だと見てない？
そうね
自分は正則行列分かってるけど、1はわかってないから
そんなん、大したことじゃないけど
1はそもそも勉強の仕方から間違ってるから
そこに気づいて直さない限り
この差は決して埋められないね 悪いけど
638:１３２人目の素数さん
23/01/10 19:22:03.08 M0jZf/Bt.net
>>632 なぜ３？
639:１３２人目の素数さん
23/01/10 19:41:43.53 M0jZf/Bt.net
>>231
>5次で可解群で、位数20のフロベニウス群や、位数10の二面体群は非可換だよ
>でも、非可換でも、ラグランジュ分解式だよね
これ、ガロア理論の基本定理というか
ガロア対応分かってたら
絶対に口にしない馬鹿発言だよね
F20⊃D10⊃C5⊃{e} （正規列）
Q⊂M⊂L⊂K
つまり
Gal(K/Q)=F20ならば
Gal(K/L)=C5 Gal(L/Q)=C4=F20/C5
となるようにできる
だからラグランジュの分解式が使えて可解
こんな基本も分かってなくて
「非可換群でもラグランジュ分解式一発使えます」（ドヤぁ）
って馬鹿でしょｗ
1は物理板逝ったほうがいいよ
ま、物理板でもウザがられるだろうけどね
640:１３２人目の素数さん
23/01/10 19:55:45.84 M0jZf/Bt.net
要するに
「ガロア群が巡回群⇔ラグランジュ分解式一回で解ける」
ってちゃんと計算して体感しないと
いつまでたっても検索馬鹿のままよね
可解群ってのは巡回群の「積み重ね」になってるってことなんで
だからラグランジュ分解式を「反復適用」すれば解けるって仕掛け
そこ分かってないから
「非可換群でもラグランジュ分解式が直接一回適用できる！」
って馬鹿発言すんのよ
カルダノやフェラリの解法を眺めればそうなってないことは明らか
石井本にも全部書いてあるからさ
読んでない（読んでも理解できない）ってまるわかり
ひどすぎるね 数学書読めないんじゃ宝の持ち腐れよ
641:現代数学の系譜 雑談
23/01/10 20:58:15.77 L7mrktRJ.net
>>639
>ガロア対応分かってたら
>絶対に口にしない馬鹿発言だよね
>F20⊃D10⊃C5⊃{e} （正規列）
これ、ガロアの第一論文読んでたら
絶対に口にしない馬鹿発言だよ
”F20⊃D10⊃C5⊃{e} （正規列）”は、後講釈だよ
かつ、ガロアは奇素数ｐ次の方程式がべき根で解ける条件として
線型群を導いたんだ
上記は、単にp=5と置いたときだけの話
もっとも、ガロア理論のテキスト本では、p=5についてだけ詳しい（私は、その受け売りだけれどね）
決闘で亡くなったとき20歳という
ガロアがこの高みに到達したのは、
おそらく18歳か19歳かだろう
たしかにガロアは数学の天才だね
まあ、あんたは、よちよち歩きで、
石井本では、それが限界だろうな
642:現代数学の系譜 雑談
23/01/10 22:18:40.11 L7mrktRJ.net
>>267
>URLﾘﾝｸ(www1.kcn.ne.jp)
>MeBio 数学テキスト (2014.12.27 20:42)
> 1 の n 乗根の巾根表示
> -n = 11, 13, 7-
間違い見つけた！
P5
β^σ^4= α4 + α0η + α2η^2 + α3η^3 + α3η^4 = βη
↓
β^σ^4= α4 + α0η + α1η^2 + α2η^3 + α3η^4 = βη
β^σ^3= α3 + α4η + α0η^2 + α2η^3 + α2η^4 = βη^2
↓
β^σ^3= α3 + α4η + α0η^2 + α1η^3 + α2η^4 = βη^2
原因は、思うにコピー作って番号を直すときに、
イージーミスが残ったんだろうね
あと、書かれているように
「β, βη, βη^2, βη^3, βη^4 は F 上すべて共役で，すべて x^5 - β^5 = 0 の解であり，
NL/F β = β ・ βσ・ β^σ^2・ β^σ^3・ β^σ^4= β ・ βη^4・ βη^3・ βη^2・ βη = β^5 ∈ F
であることが分かる．従って β^5 を具体的に計算すれば，β はその元の 5 乗根として巾根表示されることになる．」
なるほどね「β ・ βη^4・ βη^3・ βη^2・ βη = β^5」だね
だから、ラグランジュ・リソルベント使うと
とにかく、「x^5 - β^5 = 0 」なる二項方程式はできるんだ、とにかくね
問題は、β^5 ∈ Fとなるかどうか？
（書かれているが、F = Q(η) で、ηは1の虚数 5 乗根です）
それは、ガロア群が巡回群のときには、β^5 ∈ Fが成り立つんだ
しかし、一般の5次方程式では、
そうではないってことだね
643:１３２人目の素数さん
23/01/10 23:24:06.07 tVoPdrjb.net
結局体K自身かその代数拡大体Lを考えて、計算で導かれる
L係数の多項式P(ｘ)、それのL上での既約因子分解を決定することにより、
代数方程式F(x)=0のガロア群を決定できる。
644:１３２人目の素数さん
23/01/10 23:54:44.14 XhlK1o7o.net
これは言ってることはID:M0jZf/Btが完全に正しい。
1=雑談はガロア論文も表面的にしか読めてない。
ガロア論文では確か「ガウス氏の方法」と書いてあったかな？
これは要するに組成列の各群が巡回群であるようにできる
=群が可解群であれば、ガウスのDisq.Arith.の方法が
適用できるということで、それはラグランジュ分解式に
よる解法。1は問題意識を持って読んでないから
そこを素通りしている。ガロアは「それはガウスがやってるから
同様にやればできる」とあえて自分の論文では詳述してないだけで
だからといって分かってなくていいということではない。
645:１３２人目の素数さん
23/01/11 00:05:11.67 GKitIFxO.net
>組成列の各群
正確には「剰余因子群または組成因子」のことね。
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上のガロア群で最大のものとなる
というのが、ガロアの第一論文の定理