23/11/23 08:24:57.09 gRA4fPMi.net
>>286-287
サイコパスのおサル>>6は、最近 妄想サイコパスのおサルになったｗ
他人の心が読めると錯覚している
そして「お前は理解していない」「お前は分かっていない」と
必死に喚く、数学落ちこぼれさん だった
”物理のかぎしっぽ"は、旧ガロアすれでも結構初期から何度も取り上げているよ
（面倒だから、過去ログ発掘はしないけど）
いまさら、「引用した部分しか分かってない」とか何をいうのかね？ アホがｗ
> 他人に尋ねるなよ 悪い癖だぞ
> 言い切ったんなら、確たる根拠示してな
あんたは「無い」という主張だろ？
数学では、これはかなり強い主張なんだよねｗｗ
つまり、一つ存在を示せば、それが反例になる
分かっているか？ そして、一つ反例を示した>>284
>クロネッカー・ウェーバーの定理とかわけもわからず絶叫しても
クロネッカー・ウェーバーの定理は、あまり興味がなかったが（これは、Cox ガロワ理論上 に少し書いてあったのを見つけて読んだ）
最近、「回顧と展望 高木貞治」を読み直して、以前挫折した「類体論」を囓ってみようと思ったんだｗ
（再録）
URLﾘﾝｸ(www.aozora.gr.jp)
回顧と展望 高木貞治 底本：「近世数学史談」岩波文庫、岩波書店 1995 青空文庫
※表題は底本では、「１．回顧と展望（昭和15年）」となっています。（昭和15年12月７日，東京帝大，数学談話会に於ける講演）
「類体論」の話を少しすると，あれはヒルベルトに騙されていたのです．騙されたというのは悪いけれども，つまりこっちが勝手に騙されていたのです．ミスリードされたのです．
ヒルベルトは，類体は，不分岐だというのであるが，例の代数函数は何で定まるか，リイマン面で定まる―という，そういうような立場から見るならば，不分岐というのは非常な意味をもつ．それが非常な意味をもつがごとくに，ヒルベルトは思っていたか，どうか知れないけれども，そんな風に私は思わされた．
所が，本が来なくなって，自分でやり出した時にそういう不分岐などいう条件を捨ててしまって，少しやってみると，今ハッセなんかが，逆定理（ウムケール・ザッツ）と謂いっている定理であるが，要するにアーベル体は類体なりということにぶつかった．当時これは，あまりにも意外なことなので，それは当然間違っていると思うた．間違いだろうと思うから，何処が間違っているんだか，専らそれを探す．その頃は，少し神経衰弱に成りかかったような気がする．
315:１３２人目の素数さん
23/11/23 08:45:58.94 PkGAd3kA.net
>>291
＞一つ存在を示せば、それが反例になる
示せば、な でも示せてない
＞そして、一つ反例を示した
なんかわけわからん記事のタイトル示しただけでは
物理で使われてる例を示したことにならんよ
オツム大丈夫か？
記事一度読んでな そして中身を書いてな
タイトルだけで「エスパー読み」すると、精神狂うよ
じゃあな ●違い
316:１３２人目の素数さん
23/11/23 08:49:06.60 PkGAd3kA.net
>>291
>>クロネッカー・ウェーバーの定理とかわけもわからず絶叫しても
> クロネッカー・ウェーバーの定理は、あまり興味がなかったが
そりゃ理解できない定理に全く興味なんか持てないだろ
>最近、…を読み直して、以前挫折した「類体論」を囓ってみようと思ったんだ
そもそも「線形代数」から挫折してるだろ
「線形代数」から齧ってみたらどうだ？
なんでもそうだが馬鹿にすると馬鹿になる
君がそのいい例だ
317:１３２人目の素数さん
23/11/23 08:57:12.07 PkGAd3kA.net
そもそも、ID:gRA4fPMi が、大学数学で
挫折せずに理解できたことなど一つもないだろ
大学１年で習う正則行列すら難しい（＝理解できない）というんじゃな
それじゃ数学科どころか理系失格 工学部すら卒業できない
線形代数は必修科目だからな
318:１３２人目の素数さん
23/11/23 09:20:44.44 gRA4fPMi.net
>>287
>ガウスの消去法を小馬鹿にして
ガウスの消去法で思い出すのが、”ガウス・ザイデル法”というキーワードだ（当時学部の講義であった）下記な
なお連立一次方程式の解法は、細かく分類すると100以上じゃないかな
有限要素法の行列は、100万ｘ100万 サイズはざらだが、だいたい疎行列（0が要素に入る場合が多い）
疎行列を、普通の方法（アルゴリズム）で扱うと、メモリー効率が悪く、計算の効率も悪いので、いろいろ工夫されています
常識ですが、常識だから、わざわざ言わないだけ
”ガウスの消去法”程度で、シッタカ＆ハナタカするバカがいるｗ
(参考)
URLﾘﾝｸ(mathlang.)<)
Gauss–Seidel method
(google訳一部修正)
数値線形代数では、リーブマン法または逐次変位法とも呼ばれるガウス・ザイデル法は、連立一次方程式を解くために使用される反復法です。
この名前はドイツの数学者カール・フリードリヒ・ガウスとフィリップ・ルートヴィヒ・フォン・ザイデルにちなんで名付けられ、ヤコビ法に似ています。
これは対角要素がゼロでない任意の行列に適用できますが、収束が保証されるのは行列が厳密に対角優勢[1]または対称で正定である場合のみです。
この方法について言及されたのは、1823 年にガウスが弟子のゲーリングに宛てた私信の中でのみでした。[2]
1874 年のザイデル以前の出版はありません。[3]
つづく
319:１３２人目の素数さん
23/11/23 09:21:03.05 gRA4fPMi.net
つづき
URLﾘﾝｸ(tus.repo.nii.ac.jp)
320:%E3%82%B5%E3%82%A4%E3%82%A8%E3%83%B3%E3%82%B9%E3%81%B8%E3%81%AE%E6%8B%9B%E5%BE%85_%E9%81%8A%E4%BD%90.pdf 東京理科大学学術リポジトリ 411号 有限要素法シミュレーションの 並列計算法 遊佐泰紀 著 2019 最近の有限要素法シミュレーションでよく. 用いられる並列計算法として，疎行列直接解法，共役勾配法，領域分割法の3つを紹介し，各並列計算法の計算時間を比較した。 6 ページ https://ja.wikipedia.org/wiki/%E7%96%8E%E8%A1%8C%E5%88%97 疎行列 数値解析と計算科学の分野において、疎行列（そぎょうれつ、英語: sparse matrix）または疎配列（英語: sparse array）とは、成分のほとんどが零である行列のことをいう[1]。スパース行列とも言う。 (引用終り) 以上
321:１３２人目の素数さん
23/11/23 09:23:15.54 PkGAd3kA.net
>>295
>連立一次方程式の解法は、細かく分類すると100以上じゃないかな
馬鹿ってそういう上滑りな反応しかできないんだな
考えるのが嫌いなら数学は無理だからやめたほうがいいぞ
322:１３２人目の素数さん
23/11/23 09:30:03.03 PkGAd3kA.net
>>295
>有限要素法の行列は、100万ｘ100万 サイズはざらだが、
>だいたい疎行列（0が要素に入る場合が多い）
>疎行列を、普通の方法（アルゴリズム）で扱うと、
>メモリー効率が悪く、計算の効率も悪いので、
>いろいろ工夫されています
>常識ですが、常識だから、わざわざ言わないだけ
云わないのは常識だからじゃなく
自分でもつまらないことだと思ってるからだろ？
それが本当につまらないのか君が面白さを感じられない鈍感野郎かはともかくとして
>”ガウスの消去法”程度で、シッタカ＆ハナタカするバカがいる
ガロア理論ごときで、シッタカ＆ハナタカしようとする大馬鹿の自虐かい？
代数方程式の数値解法もいくらでもあるだろう
ガロア理論なんかいくらほじくっても一般の代数方程式なんか解けないぞ
だいたい「１の冪根なんて三角関数で計算すればいいだろう」
とかいう野蛮な工業高校の生徒レベルの発想の奴がガロア理論に興味持つなよ
円分方程式をガウスがどう解いたかすら興味もなく理解もできない野蛮なサルが
人間面したいとかいうクソなことのためにガロア理論を利用しようとするな
323:１３２人目の素数さん
23/11/23 09:36:12.19 PkGAd3kA.net
ID:gRA4fPMi がガロア理論を諦めて有限要素法について語りまくるというなら大歓迎だが、
どうせ、有限要素法も全く理解できてないんだろうから、何も語れないに違いない
他人の畑のことを知らなくても致し方ないが
自分の畑のことを知らないのは大恥
324:１３２人目の素数さん
23/11/23 09:38:18.86 PkGAd3kA.net
ID:gRA4fPMi は専門が何もないんだろう そもそも努力が嫌いらしいから
だから何でもかんでも頂点に立ちたがる それも全く努力無しに
まず努力することを学べ 努力なしに何も得ることはできぬと知れ
325:１３２人目の素数さん
23/11/23 09:59:45.43 gRA4fPMi.net
>>292
> なんかわけわからん記事のタイトル示しただけでは
> 物理で使われてる例を示したことにならんよ
教養のないやつだな
例えば、下記の河東泰之 作用素環と量子Galois群
「通常のGalois理論では，体K（たとえば有理数体）とその拡大体Lの組を考える」
とあるでしょ？
「通常のGalois理論」を知らない人は、ここでずっこけるよｗ
作用素環は、物理と数学の境界だろう
山下真由子（数学屋）と高柳匡（物理屋）の間の存在
(参考)
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
数理科学NO.398,AUGUST1996
作用素環と量子Galois群 河東泰之
1.はじめに
結び目の不変量，Jones多項式が作用素環論に基づいて発見されたのは1984年の5月のことであった．
ちょうどその年の4月に4年生のセミナーで作用素環論を勉強し始めたばかりだった私にとって，それ以来進行しているこの10年あまりの理論の深まりは実に刺激的なものであった．
作用素環論の立場から見た場合，これらほかの分野（量子群，3次元トポロジー，共形場理論，可解格子模型，...）との間をつなぐ理論は「量子化されたGalois理論」にあたるもので，para group理論と呼ばれている．以下，この理論について解説することがこの文章の目的である．
通常のGalois理論では，体K（たとえば有理数体）とその拡大体Lの組を考える．そしてテクニカルな条件を飛ばして簡単に言えば，この組のGalois群とは，大きい体Lの自己同型のうち小さい体Kの元を動かさないようなもの全体のなす群である．
これに対し作用素環論では，体を環に取り替えて作用素環Nとその拡大環Mの組を考える．
URLﾘﾝｸ(ja.wikipedia.org)
高柳 匡（1975年 - ）は、日本の物理学者。専門は素粒子物理学[1]。京都大学基礎物理学研究所教授
笠真生とともにAdS/CFT対応におけるエンタングルメント・エントロピー（英語版）に関する笠-高柳予想（英語版）を提唱した[2]
URLﾘﾝｸ(ja.wikipedia.org)
山下 真由子（1995年[1] - ）は、日本の数学者
326:１３２人目の素数さん
23/11/23 10:09:08.55 PkGAd3kA.net
>>301
>教養のないやつだな
教養という言葉を使いたがるのは知性の欠如した馬鹿
>作用素環と量子Galois群
>「通常のGalois理論では，体K（たとえば有理数体）とその拡大体Lの組を考える」
>とあるでしょ？
>「通常のGalois理論」を知らない人は、ここでずっこけるよ
君が量子Galois理論を理解できなかった理由は
通常のGalois理論を知らなかったからではない
そもそも論理が全く分かってないから
だから線形代数の本も読めなかった
論理が分からんエテ公はどんな数学書も読めない
エテ公を卒業して人間になりたいならまず論理を理解すること
教養？いやいや最低限の素養 「読み書きそろばん」を教養という馬鹿はいない
327:１３２人目の素数さん
23/11/23 10:42:49.38 gRA4fPMi.net
>>301 追加
手元に、青土社 現代思想2011年4月号 特集＝ガロアの思考
がある。2011年はガロア誕生200年にあたる
記念にこの本を買って、手元にある
【現代物理学へ】とする記事が、2本 佐藤文隆氏と竹内薫氏
なお、”ガロア理論の基本定理 ／ 吉田輝義”とだれかが書いていた
(参考)
URLﾘﾝｸ(www.seidosha.co.jp)
青土社
現代思想2011年4月号 特集＝ガロアの思考
-若き数学者の革命-
特集＝ガロアの思考 若き数学者の革命
【ガロアの思考】
ガロアの考えたこと ／ 上野健爾
ガロア理論体験記 ／ 砂田利一
ガロア理論の基本定理 ／ 吉田輝義
数学における抽象化とは何か アーベルの具象とガロアの抽象を包むもの ／ 高瀬正仁
【現代数学へ】
絶対ガロア理論 ／ 黒川信重
謎をもって謎に答える、或いは問題の解消 ／ 高瀬幸一
空間の 「形」 を知るための武器 位相空間のガロア理論 ／ 小島寛之
リーの理論と可積分性 解析学におけるガロアの影響 ／ 竹縄知之
【現代物理学へ】
存在から関係へ 現実の軽さ ／ 佐藤文隆
ガロアは現代物理学の源流だ！ ／ 竹内薫
328:１３２人目の素数さん
23/11/23 10:55:34.52 gRA4fPMi.net
>>302
>>「通常のGalois理論」を知らない人は、ここでずっこけるよ
> 君が量子Galois理論を理解できなかった理由は
> 通常のGalois理論を知らなかったからではない
・”量子Galois理論を理解”うんぬんは、アホ
・但し、河東泰之氏の良いたことは、”ずっこけ”に 理解できたよ
ご苦労さまでしたｗ
329:１３２人目の素数さん
23/11/23 10:57:12.03 gRA4fPMi.net
>>303 タイポ訂正
なお、”ガロア理論の基本定理 ／ 吉田輝義”とだれかが書いていた
↓
なお、”ガロア理論の基本定理 ／ 吉田輝義”が良いとだれかが書いていた
330:１３２人目の素数さん
23/11/23 11:04:32.07 gRA4fPMi.net
>>305 追加
（参考）
URLﾘﾝｸ(hiroyukikojima.)はてなブログ.com/entry/20110404/1301921889
hiroyukikojima’s blog
2011-04-04
思想としてのガロア理論
自分も寄稿している雑誌『現代思想』青土社」の4月号、特集「ガロアの思考&
331:#12316;若き数学者の革命」が届いた。 数論幾何の若き俊英の吉田輝義さんの「ガロア理論の基本定理」もディープな記事だ。ガロア理論の奥底にある発想をことばで論じたあと、ガロア理論のポイントになる二つの重要な定理に、現代代数学的な証明を(簡潔に)与えている。(縦組みなのが、あまりに恨めしい)。 実際、この二つの定理こそまさに、ぼくが『天才ガロアの発想力』技術評論社の中で書けなかったものであり、前述のアマゾン生意気小僧(笑い)に絡まれる原因となったものの一部だ。 拙著は、とにかく、中学生にも読めるようにしたため、線形代数と対称群の性質をカットしたので、どうしても解説できないことが出てきてしまう。 吉田さんが与えた定理と、5次対称群が非可解であることには届かなかった。 ぼくの現在の力量では、ここのところを一般読者にわかりやすく簡潔に伝えることができそうになかったからカットしたのだ。 吉田さん自身も、これらの証明を「これは数学科の学生向けの教科書でもすっきりした説明があまりされていないように思われる」と書いているので、ああやっぱりそうなのか、と思った。 というわけで、この吉田さんの記事は、ガロア理論完全攻略を目指す人は必見だろう。 つづく
332:１３２人目の素数さん
23/11/23 11:05:05.16 gRA4fPMi.net
つづき
URLﾘﾝｸ(nankai.)はてなブログ.com/entry/20110805
青空学園だより
2011-08-05
ガロア理論
雑誌『現代思想』4月号が「ガロアの思考」を特集している．ガロア生誕200年を記念してのものである．そのなかで吉田輝義氏の「ガロア理論の基本定理」にいたく感動した．
ガロア理論については思い出がある．エム・ポストニコフの『ガロアの理論』(1964年4月25日，東京図書出版発行)を高校3年生のときに買った．大学に入ったらこの本を読もうと，それを励みに受験勉強した．数学以外は文系人間だったので物理や化学は苦手だった．この本を本棚に飾って，それを読む日が来ることを励みに苦手な科目も勉強した．そして何とか合格した．群論は高校3年の時，S先生，O先生と，級友のI君と私の4人で数学同好会を名のって，『群論入門』(稲葉榮次著，倍風館)を輪読，8割方読んでいた．大学1年前期で線型代数もやった．体論はこの本自体が詳しい．複素数体なので線型代数があれば読める．準備は出来た．それで1回生の夏にようやくの思いで『ガロアの理論』を読んだのだ．
ところが，これが読めてしまうのだ．何も難しいことはない．第1部「ガロア理論の基礎」も読めた．代数的生成拡大が代数的単純拡大であることの証明に感心した他はすらすら読める．第2部「根号による方程式の解法」も読めるのだ．あれだけ憧れていたガロア理論が読めてしまうのだ．基本定理も当たり前のように記述されている．P47〜P48にはガロア対応の意義が書かれてはいるが，それを深くつかむことが出来ていなかった．そして思った．一体ガロアの理論とは何なんだ．何がそれまでの数学からの飛躍であり，何が新しいのだ．それがわからなかった．ガロア理論は理解出来た．しかし納得は出来なかった．それで第2部の第3章あたりから，具体的な計算は十分にはできなかった．
今回，吉田輝義氏の「ガロア理論の基本定理」を読んで，若いころの自分の思いを整理することが出来た．また論考の中の基本定理の証明にも，あのときこのようなことを自分でするべきだったという悔恨とともに，心を動かされた．内容は各自読んでもらいたい．
(引用終り)
以上
333:１３２人目の素数さん
23/11/23 11:06:26.42 gRA4fPMi.net
>>304 タイポ訂正
・但し、河東泰之氏の良いたことは、”ずっこけ”に 理解できたよ
↓
・但し、河東泰之氏の良いたことは、”ずっこけ”ずに 理解できたよ
334:１３２人目の素数さん
23/11/23 11:15:11.54 PkGAd3kA.net
>>303-308 工学屋はガロアなんぞに興味もたずに有限要素法でも究めてなさい
335:１３２人目の素数さん
23/11/23 11:28:22.01 PkGAd3kA.net
エテ公がガロア理論について分かっていればいいこと
１．べき根で解けるとき、その時に限りガロア群が可解群である
基本的に一回の冪根の使用とガロア群が巡回群であることの同値が分かれば
ガロア群を正規部分群で割ってその商群が巡回群となるという操作を繰り返して
単位群まで縮小できる「可解群」であるとき、冪根の反復使用で解けると分かる
（自分は、冒頭１行目のところがよく分かってなかったが、
実際やってみれば実は別に難しくなかった 実際やってみてください）
２．ｎ次の代数方程式の根のガロア群はｎ次対称群だが、実は可解群でない
群論が分かれば誰でも分かる
これだけのことなので、教養でもなければ他人にドヤることでもない
ガロア理論は教養だ分かると神になれるんだみたいな馬鹿な事言ってる人は
分かってないんで勘違いしてるんでしょう 哀れなもんだ
336:１３２人目の素数さん
23/11/23 11:30:34.79 gRA4fPMi.net
>>298
> だいたい「１の冪根なんて三角関数で計算すればいいだろう」
> とかいう野蛮な工業高校の生徒レベルの発想の奴がガロア理論に興味持つなよ
言っている意味が分からない
適材適所という
「１の冪根なんて三角関数で計算すればいい」という場合も多い
大袈裟に、べき根を使った式展開するひまがあったら
sin、cos の三角関数で計算すればいいという場面多いだろう
> 円分方程式をガウスがどう解いたかすら興味もなく理解もできない野蛮なサルが
それは、水源の下からの眺めだよ
水道方式で、水源をガロワ理論にもってくれば、
”ガウスがどう解いたか”は、ガロワ理論で説明できる
実際、Cox ガロワ理論下 第9章と第10章で 円分拡大が扱われている
Cox ガロワ理論下 第9章 P336 歴史ノートに
ガウスのDAのVII節に対して
「主な相違点は、我々はガロワ対応を用いて物事を述べている」とある
ガロワ対応という、水道方式の水源の視点から、円分拡大が扱われているのです
追伸
余談だが、前スレで”ガロア接続”とか言った人がいたね
しかし、普通の代数方程式のガロア理論テキストでは、”ガロア対応”という用語を使うよ
337:１３２人目の素数さん
23/11/23 12:02:41.22 gRA4fPMi.net
>>311
>水道方式で、水源をガロワ理論にもってくれば、
>”ガウスがどう解いたか”は、ガロワ理論で説明できる
手元にある 草場公邦 「ガロワと方程式」を見ると
「6 ガロワの理論とその応用」の「6.4 巡回拡大体とべき根拡大体」で、
2～3頁で扱われている
細かい点は省いている
まあ、それはそれで良い
細かい点を知りたければ、水源のガロワ理論を理解した後でやれば良い
(参考)
URLﾘﾝｸ(hiroyukikojima.)はてなブログ.com/entry/20080327
hiroyukikojima’s blog
2008-03-27
ガロアの定理をわかりたいならば
ガロワと方程式 (すうがくぶっくす)
作者: 草場公邦
出版社/メーカー: 朝倉書店
発売日: 1989/07/01
『ガロワと方程式』はめちゃめちゃいい。ガロア理論とは栄光なき天才たち - hiroyukikojimaの日記で紹介した二十歳で決闘で死んだ薄命の天才ガロアの生み出した理論である。（ ちなみにフランス語では、ガロワと発音するのが正しいらしく、草場先生はわざとそういう表記を使っているが、日本では一般にガロアが流布している） 。
これは、「5次以上の方程式には解の公式が存在しない」ということを証明するために編み出された理論であり、現代代数の先駆けとなったスゴモノである。(ちなみに誤解を最小限にするために
338:言っておくと、何次方程式でも必ず複素数の解を持っている。問題は、それをオートマチックに求める公式があるかどうかであり、5次以上にはそういう便利な公式がない、というのがガロアの定理なのである) 。 ぼくは、数学科のときは代数を専攻したので、ガロア理論は必須の道具であり、一生懸命勉強したのだけど、最終的に「身体でわかった！」というところにたどり着くことができなかった。おおざっぱには捉えることはできたんだけど、機微が掴めておらず、少なくとも「アタリマエ」になるほどには理解していなかったのである。（ そんなだから数学の道に挫折することになったのだけどね)。 ところが、最近になってこの『ガロワと方程式』を読んで、急に視界が開け、「アタリマエ」とまではいわないけど、「よくできた自然な理論だなあ」というところまで理解できるようになってしまったのだ。 数学科で勉強していた頃から見れば、もう四半世紀も過ぎて達した境地というのもスゴイやら情けないやらである。
339:１３２人目の素数さん
23/11/23 13:39:58.90 PkGAd3kA.net
>>311
>> だいたい「１の冪根なんて三角関数で計算すればいいだろう」
>> とかいう野蛮な工業高校の生徒レベルの発想の奴が
>適材適所という
>「１の冪根なんて三角関数で計算すればいい」
>という場合も多い
「計算できればOK」って発想の持ち主であることは否定しないんだ
ふーん
>>ガロア理論に興味持つなよ
>大袈裟に、べき根を使った式展開するひまがあったら
>sin、cos の三角関数で計算すればいいという場面多いだろう
冪根で計算できないことも否定しないんだ
ふーん
ま、工業高校生が三角関数でドヤるのは結構だけど
だったらガロア理論に興味持たなくても幸せでしょ
数学、綺麗さっぱりあきらめなよ
340:１３２人目の素数さん
23/11/23 13:47:25.53 PkGAd3kA.net
>>311
>水道方式で、水源をガロワ理論にもってくれば、
>”ガウスがどう解いたか”は、ガロワ理論で説明できる
ガウスのやったことを説明してるんだけどね
君、読んだ？理解した？
読んでも理解できないんじゃ
国語能力が欠如してるから
国語からやりなおしなよ
>実際、…で 円分拡大が扱われている
>…に、ガウスのDAのVII節に対して
>「主な相違点は、我々はガロワ対応を用いて物事を述べている」とある
>ガロワ対応という、水道方式の水源の視点から、円分拡大が扱われているのです
それは理論の話ね
計算は理論以前の話
計算はガウスのやった方法を述べている
別に他に魔法があるわけではない
ま、読みなよ そして、理解しなよ
工学屋なんだろ 計算第一なんだろ？
三角関数でドヤるのは１８までだよ
で、どうしても無理ならここから失せな
いいことないよ 劣等感を増大させるだけだから
341:１３２人目の素数さん
23/11/23 13:55:27.56 PkGAd3kA.net
>>312
>細かい点は省いている まあ、それはそれで良い
>細かい点を知りたければ、水源のガロワ理論を理解した後でやれば良い
君、数学には興味ないもんね
ただ「俺はガロア理論知ってるんだぜ」ってシッタカハナタカしたいだけ
だから他人が説明すると「シッタカハナタカ」と嫉妬する
要するに君は自分がやりたいことを相手に先にされたくないだけ
実にわかりやすい
この板の多くの人は、君みたいに他人に自慢するだけのために
数学を学んでいるわけではない 数学に興味があるから学んでいる
ガウスの円分多項式の研究はそれだけで十分に興味深い
そしてそういうことを「細かい点」としかいわない君は
まったく心から数学に何の興味もないとわかる
だからいっている
数学は君の人格と全く合わないから諦めなって
君は政治家にでもなったほうがいい
342:１３２人目の素数さん
23/11/23 14:45:09.19 gRA4fPMi.net
>>291
>クロネッカー・ウェーバーの定理
(参考)
URLﾘﾝｸ(chuo-u.repo.nii.ac.jp)
URLﾘﾝｸ(chuo-u.repo.nii.ac.jp)
Kronecker-Weberの定理を巡って 中央大学学術リポジトリ
石島昇竜 著 · 2012 — 第2節は，Kronecker-Weber の定理の証明で. 鍵となる，代数体の拡大における素イデアルの分岐について，必要な事項をまとめた．第3節で，本論文の. 主題である・・
343:１３２人目の素数さん
23/11/23 14:54:18.80 PkGAd3kA.net
>>316 そなたにこの歌を贈ろう
URLﾘﾝｸ(www.youtube.com)
344:１３２人目の素数さん
23/11/23 16:49:50.23 PkGAd3kA.net
>今日・・・は常識でないと物理の論文は読めない
エテ公がわけもわからずリンクした文章を読むと
・・・に入るのはガロア理論ではなく作用素環論
ま、線形代数も理解できん奴は何読んでも理解できんから
まず、論理から勉強すべし
345:１３２人目の素数さん
23/11/23 18:45:47.65 gRA4fPMi.net
>>316
追加
URLﾘﾝｸ(tsujimotter.)はてなブログ.com/archive/category/%E3%82%AF%E3%83%AD%E3%83%8D%E3%83%83%E3%82%AB%E3%83%BC%E3%83%BB%E3%82%A6%E3%82%A7%E3%83%BC%E3%83%90%E3%83%BC
tsujimotterのノートブック
日曜数学者 tsujimotter の「趣味で数学」実践ノート
クロネッカー・ウェーバー
2017-11-12
クロネッカー・ウェーバーの定理と証明のあらすじ（その３）：クンマー・ペアリング
2017-10-29
クロネッカー・ウェーバーの定理と証明のあらすじ（その２）：クンマー拡大
2017-07-02
クロネッカー・ウェーバーの定理と証明のあらすじ（その１）
346:１３２人目の素数さん
23/11/23 18:58:42.41 gRA4fPMi.net
追加
日曜数学者 tsujimotter 氏
Iwasawa2017という国際研究集会 東京大学
”実はtsujimotterもこっそり参加しておりました”
か。これは、本格的ですね
URLﾘﾝｸ(tsujimotter.)<)
定理の主張と証明のあらすじについては，落合先生によって書かれたPDFで知りました．
URLﾘﾝｸ(www.math.sci.osaka-u.ac.jp)
347:１３２人目の素数さん
23/11/23 19:12:49.53 gRA4fPMi.net
>>318
>線形代数も理解できん奴は
なるほどね
お主は、下記のID:ikAu9LZk氏だな
”高校まで「数学が得意」と言っていた連中が、
大学１年の線形代数で落ちこぼれるのは
定番コースです”
は、自分の体験かい？ｗｗｗ
それで、自分の姿を他人に投影しているんだ！
残念だったな
私は、中学2年で3ｘ3行列を裏技受験術でやっていたので
”大学１年の線形代数”なんぞ
何の苦労も無かったよ
落ちこぼれさんと一緒にされてもねぇ～ｗｗｗ
(引用開始)
ｽﾚﾘﾝｸ(math板:883番)
Inter-universal geometry と ABC予想 (応援スレ) 69
883 ：１３２人目の素数さん[]：2023/11/22(水) 06:24:15.68 ID:ikAu9LZk
>>872
＞高校数学レベルの人が、可換環論をまず勉強してから次にハーツホーンを読むとしたら、
その前に線形代数を勉強して、抽象的な代数系にまず慣れてくださいね
高
348:校まで「数学が得意」と言っていた連中が、 大学１年の線形代数で落ちこぼれるのは 定番コースですから (引用終り)
349:１３２人目の素数さん
23/11/23 20:54:44.99 PkGAd3kA.net
>>321
＞”大学１年の線形代数”なんぞ何の苦労も無かったよ
そりゃ苦労無いだろう 大学落ちて入れなかったんだから
３✕３をサラスでごまかしたおかげで
行列式の一般定義すら理解できなかった君に
大学数学は全部無理だから 大学行かなくてよかったよ
350:１３２人目の素数さん
23/11/23 21:57:14.46 gRA4fPMi.net
>>319 補足
>クロネッカー・ウェーバーの定理と証明のあらすじ（その１）
下記
「1 の（複素）n 乗根の全体は複素数の乗法に関して位数 n の巡回群を成す」
なので、ガロア理論によれば
任意のアーベル拡大に対して、十分大きなnをとって、位数 n の巡回群の中に
アーベル拡大によるアーベル群が実現できるかを調べるべし
これが、すぐ思いつく筋です
調べると、”有限生成アーベル群の基本定理”（下記）なるものがあって、これが使える
かつ、巡回群の基本定理の基本定理もあり、これも使える
実際、tsujimotter氏は、ほぼこの線で話を進めています
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
巡回群
性質
巡回群の基本定理は、「G が位数 n の巡回群ならば G の任意の部分群はそれ自身巡回群であること」、さらには「 G の任意の部分群の位数は n の約数であって、n の各正の約数 k に対して G が位数 k の部分群をちょうど一つ持つこと」[1]を主張するものである。この性質によって有限巡回群が特徴付けられる。すなわち「位数 n の群が巡回群となるための必要十分条件は、n の任意の約数 d に対して位数 d の部分群をちょうど一つ持つこと」[1]である。これは「位数 n の群が巡回群となるための必要十分条件は、n の任意の約数 d に対して位数 d の部分群を高々一つ持つこと」[1]としても同じであり、しばしばこの形で用いられる。
つづく
351:１３２人目の素数さん
23/11/23 21:57:38.24 gRA4fPMi.net
つづき
任意の位数 n の有限巡回群は n を法とする加法を備えた群 { [0], [1], [2], ..., [n － 1] } に同型であり、任意の無限巡回群は整数全体の成す集合 Z に加法を考えた加法群 (Z, +) に同型である。したがって、巡回群の性質について理解するには、これらの群だけを調べれば十分である。それゆえ巡回群は調べるのが容易な群の一つであり、巡回群の満たすさまざまな良い性質が知られている。
位数 n の巡回群（n は無限大でもよい）G と G の任意の元 g について、以下のようなことが言える。
G はアーベル群である[2]。つまり、任意の h ∈ G に対して gh = hg が成り立つ。これは g + h ≡ h + g (mod n) の成立から従う。
n が有限ならば gn = g0 は群 G の単位元である。これは任意の整数 k に対して kn ≡ 0 (mod n) となることに対応する。
n = ∞ ならば G はちょうど二つの生成元をもつ。それらは Z における 1 および －1 に対応する元である[3]。
n が有限ならば G を生成する元の総数はちょうど φ(n) に等しい。ここで φ はオイラーのトーシェント函数である[4]。
もっと一般に、d が n の約数ならば Z/nZ の位数 d の元の個数は φ(d) である。また、m の属する剰余類の位数は n/gcd(n,m) で与えられる。
p が素数ならば、位数 p の群は（同型の違いを除き）巡回群 Cp（あるいは加法的に書くならば Z/pZ）しかない[5]。
二つの巡回群 Z/nZ, Z/mZ の直積群がふたたび巡回群となるための必要十分条件は n と m が互いに素であることである[6]。従って例えば Z/12Z は Z/3Z と Z/4Z との直積に分解されるが Z/6Z と Z/2Z との直積とはならない。
巡回群の定義から直ちにわかることだが、巡回群は非常に簡素な生成元と基本関係による表示を持つ。すなわち
つづく
352:１３２人目の素数さん
23/11/23 21:58:03.68 gRA4fPMi.net
つづき
C_{∞}=< x| >
かつ有限な n に対しては
C_{n}=< x| x^{n}>
と書ける。
基本巡回群（英語版） とは任意の素数 p と任意の正の整数 k に対して Z/pkZ の形に表される群（素冪位数の群）のことである。有限生成アーベル群の基本定理は、任意の有限生成アーベル群 A が有限個の（有限）基本巡回群と有限個の無限巡回群との直積になることを主張するものである[7]。
基本巡回群（英語版） とは任意の素数 p と任意の正の整数 k に対して Z/pkZ の形に表される群（素冪位数の群）のことである。有限生成アーベル群の基本定理は、任意の有限生成アーベル群 A が有限個の（有限）基本巡回群と有限個の無限巡回群との直積になることを主張するものである[7]。
A=Z/p_0^k_0Z x Z/p_1^k_1Z x ・・・ x Z/p_m^k_mZ x Z^n.}
Z/nZ および Z は（可換群の構造のみならず）可換環の構造ももつ。p が素数ならば Z/pZ は有限体であり、Fp や GF(p) などとも記される[8]。p 個の元を持つ体は必ずこの Fp に同型となる[8]
例
二次元および三次元の n 回対称変換の成す対称変換群（英語版） Cn は抽象群として Z/nZ に同型である。他にも対称変換群で代数的には同じく巡回群になっているようなものが存在する
円周上の回転全体の成す群（円周群）S1 は非可算ゆえに巡回群ではないことに注意。
1 の（複素）n 乗根の全体は複素数の乗法に関して位数 n の巡回群を成す
たとえば、n = 3 のとき
0=z^{3}-1=(z-s^{0})(z-s^{1})(z-s^{2}) (s=e^{2πi/3})}
であり、{ s0, s1, s2 } は群となるが、これが巡回的なのは見ての通りである
(引用終り)
以上
353:１３２人目の素数さん
23/11/23 22:02:51.22 gRA4fPMi.net
>>325 訂正
基本巡回群（英語版） とは任意の素数 p と任意の正の整数 k に対して Z/pkZ の形に表される群（素冪位数の群）のことである。有限生成アーベル群の基本定理は、任意の有限生成アーベル群 A が有限個の（有限）基本巡回群と有限個の無限巡回群との直積になることを主張するものである[7]。
基本巡回群（英語版） とは任意の素数 p と任意の正の整数 k に対して Z/pkZ の形に表される群（素冪位数の群）のことである。有限生成アーベル群の基本定理は、任意の有限生成アーベル群 A が有限個の（有限）基本巡回群と有限個の無限巡回群との直積になることを主張するものである[7]。
ダブりがあるので、一つ消す
追記
なお、ここらの基本的な事項は
ガウスは、だいたい知っていた可能性がある
”知っているが書かない”というのが、ガウスの流儀らしい（当たり前のことをいちいち書いたら切りが無いと思っていたかもね ；ｐ））
354:１３２人目の素数さん
23/11/23 23:05:09.38 gRA4fPMi.net
>>322
>３✕３をサラスでごまかしたおかげで
・意味わからん
記憶では、線形代数の具体例は３✕３行列が多かった気がする
・時代錯誤じゃね？
いまどき、３✕３より大きな行列は、エクセルとか
Pythonとかそっちじゃね？（下記）
・実際、実務では100とか1000とか百万とかの行列を
扱うこともあるだろう
(参考)
URLﾘﾝｸ(www2.kaiyodai.ac.jp)
Excel で行列計算
国立大学法人 東京海洋大学
竹縄 知之
本記事の内容はMatrix2021.xlsm URLﾘﾝｸ(www2.kaiyodai.ac.jp) で実行できます．
1. ワークシートで行列計算 Excelには基本的な行列計算の関数が用意されており，ワークシート上で簡単に使うことができる．
以下のワークシートは行列 A= B= に対して演算を行ったものである．
URLﾘﾝｸ(note.nkmk.me)
note.nkmk.me
Python, NumPyで行列の演算（逆行列、行列式、固有値など）
Modified: 2019-10-31
Pythonで行列の演算を行うにはNumPyを使うと便利。
Python標準のリスト型でも2次元配列（リストのリスト）を実現できるが、NumPyを使うと行列の積や逆行列、行列式、固有値などを簡単に算出できる。
NumPyには汎用的な多次元配列のクラスnumpy.ndarrayと、行列（2次元配列）に特化したクラスnumpy.matrixがある。
行列の積や逆行列を頻繁に計算する場合はmatrixのほうが記述が楽かもしれないが、そうでなければ特にmatrixを使う必要はない。
なお、最大値や最小値を取得するmax()やmin()など、ndarrayで使える関数やメソッドのほとんどはmatrixでも利用できる。
サンプルコードとともに説明する。
なお、SciPyを使うと要素のほとんどが0である疎行列を効率的に扱うこともできる。以下の記事を参照。
関連記事: Python, SciPyで疎行列の計算・処理（逆行列、固有値、連結、保存など）
355:１３２人目の素数さん
23/11/23 23:30:50.65 gRA4fPMi.net
>>326
>なお、ここらの基本的な事項は
>ガウスは、だいたい知っていた可能性がある
>”知っているが書かない”というのが、ガウスの流儀らしい（当たり前のことをいちいち書いたら切りが無いと思っていたかも
・アーベルの言
「彼（ガウス）は尻尾で砂の上の自分の足跡を消し去るキツネのようなものである」（下記）
・ガウス流水道方式で、ガウスは本当はもっと高みから見ていたかもしれない
DAの円分等周論を書くとき、レムニスケートで同じ理論を得ていたという（DAに、ほのめかしがある）
・つまり、彼はDAよりもっと高い地点に到達していたのだ
しかし、それを見せないのが、ガウス流
・だから、現代の我々も、DAの表面づらだけ見ていては、本質を見誤るだろう
我々も、いまのガロア理論の到達した地点からDAを見て、ようやくガウスの見ていた風景に近くなるのかもしれない
(参考)
URLﾘﾝｸ(en.wikipedia.org)
Niels Henrik Abel
Contributions to mathematics
Abel said famously of Carl Friedrich Gauss's writing style, "He is like the fox, who effaces his tracks in the sand with his tail." Gauss replied to him by saying, "No self-respecting architect leaves the scaffolding in place after completing his building."[15]
＜google訳＞
アーベルはカール・フリードリヒ・ガウスの文体について、「彼は尻尾で砂の上の自分の足跡を消し去るキツネのようなものである」と有名な言葉を述べた。ガウスは彼にこう答えた、「自尊心のある建築家は、建物を完成させた後、足場をそのまま放置することはありません。」[15]
356:１３２人目の素数さん
23/11/24 07:05:51.12 P5Sgxlir.net
>>323-326
>任意のアーベル拡大に対して、十分大きなnをとって、
>位数 n の巡回群の中にアーベル拡大によるアーベル群が
>実現できるかを調べるべし
>これが、すぐ思いつく筋です
>調べると、”有限生成アーベル群の基本定理”なるものがあって、これが使える
>かつ、巡回群の基本定理の基本定理もあり、これも使える
>実際、tsujimotter氏は、ほぼこの線で話を進めています
もしかして
「アーベル拡大のアーベル群を包含する
巡回群を見つけさえすれば問題解決」
って思ってる？
357:１３２人目の素数さん
23/11/24 07:23:25.84 P5Sgxlir.net
>>328
>ガウス流水道方式で、ガウスは本当はもっと高みから見ていたかもしれない
>つまり、彼はDAよりもっと高い地点に到達していたのだ
なんとかと煙は高いところに登りたがる
１行目の文章の「かもしれない」は不要
ガウスは当然、Qに１のｎ乗根を添加した体と巡回群の関係に気づいていた
でないと、１の１７乗根の表示に平方根しか出てこない、なんていえない
つまり、実質的にガロア理論にあたるものを使っていた
>現代の我々も、DAの表面づらだけ見ていては、本質を見誤るだろう
>我々も、いまのガロア理論の到達した地点からDAを見て、
>ようやくガウスの見ていた風景に近くなるのかもしれない
素人の君に云われるまでもなく皆そうしている
最後の行「のかもしれない」は不要
君こそガロア理論の群論という「表面づら」だけ見てると本質が見えないよ
どうせ交代群A5が単純群だとか交換子群[A5,A5]がA5自身とか
そういう知識だけで「ワカッター！」と吠えてるだけだろ？
君はいつでも上っ面で滑りまくってるだけだからな
努力が嫌いな人は本質まで届く杭を打つ退屈かつ困難な作業を厭う
だから決して本質を知ることなく・・・死ぬ
358:１３２人目の素数さん
23/11/24 07:32:14.69 P5Sgxlir.net
>>327
>>３✕３をサラスでごまかしたおかげで
> 意味わからん
じゃ、4✕4の行列式書いてみ
> 記憶では、線形代数の具体例は３✕３行列が多かった気がする
実に愚かな言い訳
君の中では行列は３✕３でおしまいかｗ
> 時代錯誤じゃね？
> いまどき、３✕３より大きな行列は、
> エクセルとかPythonとかそっちじゃね？
君、４✕４とか５✕５の行列の行列式求める問題で
時間切れになって落第する口だな
もちろん「公式」通りに計算してたら時間足りないに決まってる
裏技を使うんだよ 君が馬鹿にする「消去法」という裏技をな
大学で教わらなかった？ああ、君、大学行�
359:ﾁてなかったなｗ > 実際、実務では100とか1000とか百万とかの行列を扱うこともあるだろう でも君、計算プログラムをブラックボックスで使うだけだろ？ それ中身分かってることにならんから
360:１３２人目の素数さん
23/11/24 07:37:51.18 P5Sgxlir.net
人も叩けばその音で金属か石ころか分かる
分かってる人は金属の澄んだ音が響く
分かってない奴は石ころのカチッとした音しかしない
いくら録音した金属の音を再生させても意味ない
叩かれた当人から出る音は誤魔化せない
高いところに登りたがる奴はニュース速報＋板で
「ABC予想証明さる！」とか書いてろｗｗｗ
361:１３２人目の素数さん
23/11/24 07:47:11.21 P5Sgxlir.net
それにしてもニュー速＋って正真正銘のクソスレしかないな
ｽﾚﾘﾝｸ(newsplus板)
362:１３２人目の素数さん
23/11/24 07:59:38.87 wvKQF/9W.net
>>328 訂正
アーベルはカール・フリードリヒ・ガウスの文体について、「彼は尻尾で砂の上の自分の足跡を消し去るキツネのようなものである」と有名な言葉を述べた。
↓
アーベルはカール・フリードリヒ・ガウスの有名な文体について、「彼は尻尾で砂の上の自分の足跡を消し去るキツネのようなものである」と述べた。
かな
363:１３２人目の素数さん
23/11/24 11:36:16.20 3gaFaFxH.net
>>329
>「アーベル拡大のアーベル群を包含する
> 巡回群を見つけさえすれば問題解決」
>って思ってる？
スレ主です
・ようやく、ガロア理論の水道方式が分かって来たかな？
つまり、ガロア第一論文の視点からは、
「アーベル拡大のアーベル群を包含する巡回群を見つけことはできるか？」
が、第一歩です。これが出来ない例が、もしあれば それは反例になる
・「アーベル拡大のアーベル群を包含する巡回群を見つけことはできるか？」
の手がかりは、１）巡回群の構造に関する基本定理、２）有限アーベル群の構造に関する基本定理
この二つの要点を理解し押さえるべき要点
そして、有限群論の視点で、上記は実現できることが分かるだろう
・では、次のステップは
アーベル群→(有限次)アーベル拡大→(有限次)アーベル拡大を包含する円分体の存在（又は構成）
となるのです。
・これは、ガロアの逆問題だね。
URLﾘﾝｸ(ja.wikipedia.org)
（ガロアの逆問題：未解決問題である。部分的な結果 特殊な場合については多くのことが詳細に知られている
単純な例: 巡回群 略 任意の有限アーベル群は Q の円分拡大のガロア群の商として現れる
（クロネッカー・ウェーバーの定理はこれよりも深い結果）ので、この方法はそのような群にも適用できる。
楕円モジュラー関数を使った構成 略）
こうやって、ガロア理論の水道方式では
ガロア第一論文の視点から
あたかも水が自然に高いところから低いところに流れるごとく
ガウスDAや、クロネッカー・ウェーバーの定理が見通せるのです
それは、ラグランジュ分解式の視点よりも、はるかに高いところにあるのです
364:１３２人目の素数さん
23/11/24 11:40:17.85 3gaFaFxH.net
>>335 訂正
この二つの要点を理解し押さえるべき要点
↓
この二つの要点が理解し押さえるべき要点
だな
365:１３２人目の素数さん
23/11/24 14:45:22.50 kR/QbK64.net
>アーベル群を包含する巡回群
って何だよｗ
巡回群の部分群はすべて巡回群ですが。
ほんっと頭悪いね。かつ群論が分かってないね。
366:１３２人目の素数さん
23/11/24 16:12:08.31 P5Sgxlir.net
>>323
>「1 の（複素）n 乗根の全体は複素数の乗法に関して位数 n の巡回群を成す」ので、
>任意のアーベル拡大に対して、十分大きなnをとって、
>位数 n の巡回群の中にアーベル拡大によるアーベル群が実現できるか
>を調べるべし
>>329
>もしかして
>「アーベル拡大のアーベル群を包含する
> 巡回群を見つけさえすれば問題解決」
>って思ってる？
>>335
>ようやく、水道方式が分かって来たかな？
>つまり、第一論文の視点からは、
>「アーベル拡大のアーベル群を包含する巡回群を見つけことはできるか？」
>が、第一歩です。これが出来ない例が、もしあれば それは反例になる
じゃ、これ反例？
Z12_✕={1,5,7,11}
1*1=1 1*5=5 1*7=7 1*11=11
5*1=5 5*5=1 5*7=11 5*11=7
7*1=7 7*5=11 7*7=1 7*11=5
11*1=11 11*5=55 11*7=5 11*11=1
群としてはZ2✕Z2だけど、これを包含する巡回群ってある？
任意のnについて
Qに１のn乗根を添加した体のガロア群Zn_✕が
巡回群になる、と思ってた？
誰もそんなこと一言もいってないけどな
なんか水道管詰まってない？
367:１３２人目の素数さん
23/11/24 16:24:12.61 P5Sgxlir.net
いやー、円分体のガロア群自身が
いかなる位数 n の巡回群の部分群にもならない
「反例」が出てくるとはｗｗｗｗｗｗｗ
そりゃ、アーベル群を適当な部分群で割って
その商群が巡回群になるようには
368:できますよ それがアーベル群の基本定理ですよね？ でも、だからといって 「いかなるアーベル群も巡回群」だとか 「いかなるアーベル群も巡回群の部分群」だとか 一言も言ってませんけどね だいたい、Qに１のｎ乗根を添加した体のガロア群はZn_✕であって これはZnでもその部分群でもない（なぜなら演算が異なる）ので、 巡回群とは限らんのですがな 水源？高み？いやいや水が来てませんけどｗｗｗｗｗｗｗ そういえば、学生時代にやらかすよくある勘違いの例が 可解群の定義を見て、こういっちゃうこと 「え？可解群ってアーベル群なの？」 ID:3gaFaFxH のいう 「ガロア第一論文によるガロア理論の高み」 から見ると、以下がいえるようです 「可解群は巡回群の部分群である！」（ドヤぁ）
369:１３２人目の素数さん
23/11/24 16:35:09.85 P5Sgxlir.net
ネットの数学情報で「高み」に立って
他人を見下ろしていい気分になろうとする
ID:3gaFaFxHの目論見は完全に潰えました
Zn_✕とZnの区別もできてないどころか
Zn_✕がZnの部分群であると信じて疑うことすらしなかったんですね
部分群の定義、理解してますか？
「群 G の部分集合 H が G の部分群（英: subgroup）であるとは、
H が『 G の演算に関して』群になることである」
いやー、正規部分群の定義について
いかなる部分群も正規部分群になってしまう
誤解をしていたとは聞いたんですけどね、今度は
群のいかなる部分集合も部分群になり得る誤解ですか
ほんと、次から次へとやらかしてくれちゃいますね
いや、はっきり申し上げて、あなた、Zn_✕が分かってないなと
前々から思ってましたけど、ほんとに根本的かつ初歩から誤解してましたね
正方行列＝正則行列 っていっちゃう粗雑さだから
こういうポカを必ずやらかしちゃうんですね
文章を読むとき、条件を割愛する癖あるでしょ？
それ直さないと、数学だけじゃなくどんなことでも誤解するよ
いままでそれで散々失敗してきたと思いますけどね
こんな誤り、数学だけでしでかしてきたと思えないんでね
いやぁ、死海レベルの「低み」を見ちゃいました
370:１３２人目の素数さん
23/11/24 16:44:17.75 P5Sgxlir.net
「軽率な自惚れ屋」を倒すのに策はいりませんね
調子に乗ると必ず失言するので、それを指摘すればいい
はっきりいって自滅、オウンゴールです
今回も実に見事に決まりました
県知事はこの手の人物がよくなるようで、同様の自滅例が多々あります
選挙で選んだ人物がこのザマなので、人の見る目は当てになりません
もう読めもしない数学書は全部売り払ったほうがいいでしょう
Zn_✕がZnの「部分集合」で「群」だから「部分群」だ
と言っちゃうような人には数学なんて初歩から無理ですよ
余生は将棋でも囲碁でも好きにやってください
名人にはなれないでしょうが数学よりは簡単でしょうから
楽しむくらいはなんでもないでしょう
371:１３２人目の素数さん
23/11/24 17:13:53.24 3gaFaFxH.net
>>341
ありがとう
スレ主です
確かに、書き方が荒かったな
そういう赤ペンは歓迎ですよ
あなたのいうのは、
下記のクンマー拡大だね
ご苦労様です
（参考）
URLﾘﾝｸ(tsujimotter.)はてなブログ.com/entry/kronecker-weber-2
tsujimotterのノートブック
2017-10-29
クロネッカー・ウェーバーの定理と証明のあらすじ（その２）：クンマー拡大
今日の主役は クンマー拡大 です。クンマー拡大とは，「巡回拡大」が「ベキ根の添加」によってかけるような拡大のことです。このような拡大のときは，いろいろと都合がよい性質があるのです。
略
次回は「クンマー・ペアリング」という道具を用いて，ガロア群 Gal(F/Q)
の作用を具体的に調べる方法を紹介します。
372:１３２人目の素数さん
23/11/24 17:44:57.29 3gaFaFxH.net
>>342 追加
下記 加塩 朋和 代数学２（ガロア理論）
(クロネッカー・ウェーバーの定理).は、ガロア理論の中で扱われる
（これで、クロネッカー・ウェーバーの定理が尽くされているかどうかは、私には分っていませんが）
URLﾘﾝｸ(www.rs.tus.ac.jp)
東京理科大学創域理工学部数理科学科 加塩 朋和
URLﾘﾝｸ(www.rs.tus.ac.jp)
ガロア理論の授業のレジュメ (2022年度)
代数学２（ガロア理論）
担当教員 : 加塩 朋和
P92
定理 15.6. K/k をガロア拡大とする.
(1) K/k の中間体で k 上有限次ガロア拡大となるもの全体
{L: K/L/k | L/k : 有限次ガロア拡大 }
に, L ≤ M ⇔ L ⊂ M で順序を入れ, 制限写像
L ⊂ M ⇒ Gal(M/k) → Gal(L/k), σ 7→ σ|L
を考える. このとき自然な同型
Gal(K/k) → lim←－ L
Gal(L/k), σ → (σ|L)L
が定まる. この同型で同一視し, Gal(K/k) に位相を入れておく. ただし有限群
Gal(L/k) には離散位相が入る.
(2) 以下の一対一対応がある:
略
証明. (1) 逆写像が
(σL)L → [σ : K 3 α 7→ α の最小多項式の最小分解体 Lα をとり σ(α) := σLα
(α) ∈ Lα ⊂ K]
で定まる.
(2) 省略. TBA (追記予定)
例 15.8. Qab := Q({ζn | n ∈ N}) とおくとき
Gal(Qab/Q) = lim←－n∈N
Gal(Q(ζn)/Q)
例 12.3-(1) ∼= lim←－n∈N Z/nZ ×
となる.
※ Qab は “Q の最大アーベル拡大” となる (クロネッカー・ウェーバーの定理).
373:１３２人目の素数さん
23/11/24 17:45:37.55 P5Sgxlir.net
>>341
＞確かに、書き方が荒かったな
いつも荒いですよ ザラッザラ
あと、スレ主って自称、みっともないからやめよう
スレの深海魚とか自虐HNつけて謙虚に書けば
マジボケでも愛されるよ なんでそうしないの？
匿名なんだから自虐でボケたほうが勝ちだって（結構マジ）
374:１３２人目の素数さん
23/11/24 17:53:30.79 P5Sgxlir.net
>>343 深海魚君 Z/nZ と Z/nZ ✕ の違い、分かってる？ ほんとに分かってる？
375:１３２人目の素数さん
23/11/24 17:56:40.46 P5Sgxlir.net
ところで君の新しい名前をつけようと思うんだが
ヨミノアシロとシンカイクサウオ どっちがいい？
376:１３２人目の素数さん
23/11/24 18:46:05.90 P5Sgxlir.net
教訓 わからないことをわからないと気づくことがわかる道の第一歩
377:１３２人目の素数さん
23/11/24 19:54:26.77 P5Sgxlir.net
URLﾘﾝｸ(en.wikipedia.org)
巡回群でない(Z/nZ)✕は実に沢山ある
378:１３２人目の素数さん
23/11/24 21:02:35.86 wvKQF/9W.net
>>343
1853年, 29歳のクロネッカーは クロネッカーーヴエ一バーの定理（彼はSatzと呼んでいる）を提示した
しかし、年代的には クロネッカーはガロア理論をご存じ無かったと思われる
もし、ガロア理論をご存じならば、クロネッカーはどういう研究をしただろうか？
(参考)
URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
三宅, 克哉. 類体論の源流 (数論とその応用). 数理解析研究所講究録1998, 1060: 185-209
§ 1源流クロネッカー(1823-1891)
類体論の直接の源流はクロネッカーである.彼は特にアーベルとクムマーの影響下で2種類の問題を提示した:「アーベル多項式の特徴付け」と,いわゆる「単項化定理」である.
1853年, 29歳のクロネッカーは短い論文[Kr-1853]で次の主張を提示した.
クロネッカーーヴエ一バーの定理:有理整数係数のアーベル方程式の根は必ず1の罵乗根の有理整数係数の有理関数として表される.
ただし,この時点では,クロネッカーはガロア群が巡回群であるような代数方程式を「アーベル方程式」と呼んでおり,
後に[Kr-1877]ではこれを[単純アーベル方程式またガロア群が可換群であるものを「アーベル方程式」と呼ぶことにした.
この論文で説明されているように,どちらの定義を取ってもこの定理の含むところは変わらない.
彼はこの定理をSatzと呼んでいるが,証明は結局はヴエ一バーの論文「We-1887]を待つことになる.
また[Kr-1853]では, Z[√-1]に係数を持つ7一ベル方程式の根はレムニスケートの等分によって同様に扱うことが出来る,と述べ,さらなる–般化をも示唆している.しかし,この時点で果たしてクロネッカーがどれほど踏み込んだ考察を行っていたかは不明である.しかし1857年になると,短いが1段と楕円関数に踏み込んだ論文[虚数乗法が生じる楕円関数について」 ([Kr-1857a])を著している.これと,この年にディリシュレに宛てた手紙[Kr-1857b]からみて,いわゆる「クロネッカ一の青春の夢」がこの頃に描かれたものと思われる.
379:１３２人目の素数さん
23/11/24 21:20:34.34 wvKQF/9W.net
クロネッカー・ヴェーバーの定理
類体論
ガロアの逆問題の一種と捉えることができる（ 三宅 克哉氏）
URLﾘﾝｸ(www2.tsuda.ac.jp)
ガロアの逆問題について
三宅 克哉(東京都立大学・理学研究科)
1. ガロアの逆問題の成立
例えば,有理数体に対して 「絶対ガロア群は如何なる (有限) 商群を持つか」という問題は
現今でも代数的数論における最も重要な問題の一つである.
ここで有理数体の絶対ガロア群とは有理数体の (複素数体における)代数的閉包の有理数体上のガロア群である.
このように大きなガロア群を表に出した表現は,特に類体論のイデールによる表現が成功を納めて以来のことであろうか.
類体論では,例えば,有限次代数的数体の最大アーベル拡大のガロア群が見事に記述できている.
このガロア群は有限次代数的数体の絶対ガロア群の最大アーベル商群, すなわち, その閉交換子群による剰余群である.
しかし当初はガロアの逆問題は素朴な形で提示されていた.
すなわち,ガロアの逆問題 : 与えられた有限群 G に対して,有理数体上のガロア拡大 KQであって、そのガロア群がGと同型なものが存在するか?
この問題の端緒は, 1892年のヒルベルトの既約性定理の論文 [Hi-1892] によって開かれた.
ヒルベルトはこの定理の応用として, 群Gが一般の対称群と交代群であるときは肯定的であることを示している.
ところが,こときは彼はまだ本格的には代数的数論には踏み込んでおらず, 1894年に初めて3本の代数的数論の論文を出版し、
さらに1896年に, いわゆる 「クロネッカー・ヴェーバーの定理: 有理数体上のアーベル拡大は,円分体,すなわち、1の羃乗根で与えられる」を証明した.
次いで 1897年にドイツ数学会から依頼された長大な 「報文」 が出版された.
さらに 1898年と1899年の2編の相対アーベル拡大についての論文によって彼の類体論の構想を提示し,
さらに,大論文である相対2次拡大論を出版した。
これによって一般の代数的数体において平方剰余の相互法則を示したのである.
19世紀冒頭からのガウスの問題提起に対するヒルベルトの答案であった。
380:１３２人目の素数さん
23/11/24 21:23:50.41 wvKQF/9W.net
>>350 追加
URLﾘﾝｸ(www2.tsuda.ac.jp)
数学史シンポジウム報告集
第15回数学史シンポジウム(2004.10.16〜17) 所報 26 2005
URLﾘﾝｸ(www2.tsuda.ac.jp)
第15回数学史シンポジウム
三宅克哉 ガロアの逆問題について
381:１３２人目の素数さん
23/11/25 06:07:09.03 zw7rHkp6.net
>>350
>有理数体に対して 「絶対ガロア群は如何なる (有限) 商群を持つか」
Q 有理数体
A 最大代数拡大体
M 中間体
A G(A/A)
∪ ∩
M G(A/M
382:) ∪ ∩ Q G(A/Q) 絶対ガロア群 G(A/M)がG(A/Q)の正規部分群 ⇔G(M/Q)が存在し、商群G(A/Q)/G(A/M)と等しい ガロア逆問題 任意の群Gに対してG=G(M/Q)となるMが存在するか？ クロネッカー・ウェーバーの定理 Q 有理数体 Cc 最大円分拡大体 M 中間体 Cc G(Cc/Cc) ∪ ∩ M G(Cc/M) ∪ ∩ Q G(Cc/Q) lim←－n∈N Z/nZ × MがQのアーベル拡大となるとき MはCcの部分体となる 全くの上っ面ですが
383:１３２人目の素数さん
23/11/25 06:14:28.40 zw7rHkp6.net
ガロア第一論文の素数p次可解方程式に関する定理
Q 有理数体
L 素数p次可解方程式の分解体
M 中間体
L G(L/L)
∪ ∩
M G(L/M) =Zp
∪ ∩
Q G(L/Q)
G(M/Q)=G(L/Q)/G(L/M)=Zp_✕
これまた上っ面ですが
384:１３２人目の素数さん
23/11/25 06:18:14.24 zw7rHkp6.net
>>353 追加修正
ガロア第一論文の素数p次可解方程式に関する定理
Q 有理数体
L 素数p次可解方程式の分解体
M 1のp乗根を添加した体
L G(L/L)
∪ ∩ クンマー拡大
M G(L/M) =Zp
∪ ∩ 円分拡大
Q G(L/Q)
G(M/Q)=G(L/Q)/G(L/M)=Zp_✕
これまた上っ面ですが
385:１３２人目の素数さん
23/11/25 06:23:32.35 zw7rHkp6.net
「上っ面」といってるのは、基本法則を鵜呑みにして
文字だけ当てはめれば形式的に記述できる、という意味
これが出来ただけで「分かる」と言い切る人もいるが
数学科ではそういう薄いレベルでは「分かる」とはみなさない
基本法則がなぜ成り立つか理解することが必要
386:１３２人目の素数さん
23/11/25 07:47:22.33 x8I8o+n6.net
これ面白いね
URLﾘﾝｸ(note.com)
「Paper Interpreter」を使って論文を読もう！
Daichi Konno / 紺野 大地
2023年11月23日
こんにちは、東京大学で医師かつ脳や人工知能の研究をしている紺野大地と申します。
2023年11月6日、OpenAI社から「自分専用のChatGPTを作れる機能」であるGPTs（ジーピーティーズ）が発表されました。
早速触ってみたところ、
「この技術を使えば、誰もが論文を読めるAIを作れる！」と確信し、論文解説AI「Paper Interpreter」を作って公開したところ、非常に大きな反響がありました！
（こちらのリンクから、今すぐ使えます。）URLﾘﾝｸ(chat.openai.com)
論文の内容を分かりやすく解説してくれる「Paper Interpreter」を公開しました！
使い方は簡単で、論文のPDFをアップロードするだけです。
テキストだけでなく、図やグラフについても説明してくれる点がポイントです！
完全に予想外でしたが、「最もアクセス数の多いGPTsランキング」で、なんと世界6位になりました！！
使っていただいた皆さん、本当にありがとうございます。
Paper Interpreterの使い方
Paper Interpreterを改めて説明すると、
「論文をアップロードするだけで、内容を日本語で分かりやすく説明してくれるAI」です。
使い方は非常に簡単で、こちらのページに「論文のPDFをアップロードする」だけです（デモ動画は以下）。
注意点
大きな注意点として、Paper InterpreterはChatGPTの有料ユーザーしか使えません（2023年11月時点）。
これは、OpenAI社がGPTsの利用を有料ユーザーのみに制限しているためです。
ですがいずれ全ユーザーに解放するとのことなので、ぜひお楽しみに！
387:１３２人目の素数さん
23/11/25 08:07:15.02 x8I8o+n6.net
>>351-355
ありがとう
スレ主です
ガロア理論の水道方式が分かってきたようですね
１）抽象化された高等数学では、部分が分からないと全体が分からない、全体が分からないと部分の理解が進まない
の循環になりがち
２）では、どうするか？
水道方式では、まず全体の大まかなマップ（ランドスケープ）を作って、どこを水源地にすれば良いかを判断する
水源地から、いろんな結果がイモヅル式に繋がる
３）そうして、全体の大まかなマップ（ランドスケープ）が手に入ったら
改めて
388:、全体を見回して、自分が理解出来ていない部分を補強すれば良い 「上っ面ですが」と言っているところが、大まかなマップ（ランドスケープ）に相当する これなくして、「数学に王道なし」「一歩一歩論理の積み重ね」をやると 一部の天才*は別として、普通は「いつまで経っても全体像が見えない」「だから、その部分の理解も進まない」 の悪循環になりがちで、挫折する （*天才は、一部を見ただけで、自分で全体像が見えるのです 例 ガウス、アーベル、ガロア） 「上っ面ですが」を進めて→改めて、全体を見回して、自分が理解出来ていない部分を補強する このサイクルを、何度も回す 習うより慣れろで このサイクルを、何度も回していると、だんだん理解が深まるのです この手法の利点は、サイクルを回した回数だけ必ず何かが残るのです 「数学に王道なし」「一歩一歩論理の積み重ね」をやると、挫折すると殆ど何も残らないのです
389:１３２人目の素数さん
23/11/25 08:17:07.09 zw7rHkp6.net
方程式の冪根での可解性
Q 有理数体
L 方程式の分解体
M 中間体
L G(L/L)={e}
∪ ∩
M G(L/M)
・・・
M' G(L/M')
∪ ∩
M'’ G(L/M’')
∪ ∩
Q G(L/Q)
G(M’'/Q)=G(L/Q)/G(L/M'’) 巡回群（冪根で解ける）
G(M'/M'')=G(L/M’')/G(L/M') 巡回群（冪根で解ける）
商群が巡回群となる中間体を次々見つけていって
最終的にG(L/M)自体が巡回群になれば冪根の反復使用で可解
全く上っ面ですが
390:１３２人目の素数さん
23/11/25 08:29:47.39 zw7rHkp6.net
>>357
>ガロア理論が分かってきたようですね
いえ、これは上っ面ですから、ガロア理論の本に書いてある式を
何も考えずに当てはめれば誰でも書けてしまいます
>抽象化された高等数学では、
>部分が分からないと全体が分からない、
>全体が分からないと部分の理解が進まない
>の循環になりがち
352-354はあらすじというか構想に過ぎないので
なぜこれがうまくいくか理解するには
各ステップを確認する必要があります
数学科では確実に必要となります
研究を行うのに不可欠ですから
>水道方式では、まず全体の大まかなマップ（ランドスケープ）を作って、
>どこを水源地にすれば良いかを判断する
>水源地から、いろんな結果がイモヅル式に繋がる
判断の必要はありませんよ すでに結果としての水源が示されてますから
ランドスケープは当然示されますが、それがなぜうまくいくかは
決して鵜呑みで誤魔化すことではありませんね、ええ
結果だけ頂けばいいというのは数学が嫌いな人の発想ですよ
＞そうして、全体の大まかなマップ（ランドスケープ）が手に入ったら
＞改めて、全体を見回して、自分が理解出来ていない部分を補強すれば良い
そういうあなた、自分が理解出来ていない部分を見つけて補強しましたか？
391:１３２人目の素数さん
23/11/25 08:30:32.76 x8I8o+n6.net
>>355
>これが出来ただけで「分かる」と言い切る人もいるが
>数学科ではそういう薄いレベルでは「分かる」とはみなさない
>基本法則がなぜ成り立つか理解することが必要
いくつかのポイントがある
１）数学科院試でも、100点満点だけが合格するわけではない
数学科修士でも、全てを完全に理解しているわけではない
２）何をもって、「分かる」「理解」というのか？
試験場では、テキストや参考書を見ずに解答することが求められる
しかし、それ以外の場所では、テキストや参考書を見て良いし
だれかに、教えて貰っても良い
そうして、自分なりに理解して、自分の抱えている問題が解決できれば良いのです
「数学に王道なし」「一歩一歩論理の積み重ね」をやると
多くの凡人は、抽象化された高等数学では、挫折して 何も残らない
そういう結果になりがちですよ
あなたは、それだった ふしがあるな
392:１３２人目の素数さん
23/11/25 08:39:55.87 zw7rHkp6.net
>>357
>「上っ面ですが」と言っているところが、
>大まかなマップ（ランドスケープ）に相当する
ええ
大まかなマップであるランドスケープはまさに「上っ面」です
>これなくして、
>「数学に王道なし」「一歩一歩論理の積み重ね」
>をやると一部の天才*は別として、普通は
>「いつまで経っても全体像が見えない」「だから、その部分の理解も進まない」
>の悪循環になりがちで、挫折する
すでに得られた結果を「急いで」学ぶには
そういう「泥縄」が早いでしょうね
実際大学の講義も教科書もそうなってる
そういう意味での「王道」があるのは
いわずもがなの常識ですね
ただ、実際は王道が王道であることに気づかない
学生が実に沢山いるので、そこは指導が必要です
また、ランドスケープだけ知って
ああ、全部分かったと誤解する迂闊な人も
これまた沢山いるので、そうではないことを
思い知らせるのも必要です
>「上っ面ですが」を進めて
>→改めて、全体を見回して、
>自分が理解出来ていない部分を補強する
>このサイクルを、何度も回す
あなたは回してますか？
例えば、なぜガロア群が巡回群だと冪根で解けるか説明できますか？
これはランドスケープの１ステップを実際に自分の足で歩けば分かりますが
目で見ただけで満足して、一度も自分の足で歩かないと絶対にできません
実際質問してみると、山道を一度でも歩いたか否かは確実にわかります
ゼミや口頭試問が有効な理由です
393:１３２人目の素数さん
23/11/25 08:43:11.44 zw7rHkp6.net
>>357
>*天才は、一部を見ただけで、自分で全体像が見えるのです
>例 ガウス、アーベル、ガロア
よくこういうことをいう人がいますが
実際研究をした人なら上記が嘘だとわかります
天才といえどもチラ見しただけで全体像が見えるわけではない
膨大な試行錯誤の結果として全体像が見えてくるのです
これは結果としての数学しか見たことがない人には
決してわからないことです
394:１３２人目の素数さん
23/11/25 08:52:42.98 zw7rHkp6.net
>>360
>数学科院試でも、100点満点だけが合格するわけではない
>数学科修士でも、全てを完全に理解しているわけではない
その通りです
試験は所詮試験です 点数にはさしたる意味がない
>何をもって、「分かる」「理解」というのか？
>試験場では、テキストや参考書を見ずに解答することが求められる
>しかし、それ以外の場所では、テキストや参考書を見て良いし
>だれかに、教えて貰っても良い
試験をパスすればいい、という発想は捨てましょう 意味ないですから
テキストに書いてあることをなぞればいい、というのは考えない人の発想です
あるいはchatGPTのようなAIの発想
>そうして、自分なりに理解して、自分の抱えている問題が解決できれば良いのです
「自分なりの理解」で満足したらそれで終わりですね
実際今のchatGPTはそれで終わってます
人間でもchatGPTみたいな分かり方しかしない人は沢山います
そういう人は「問題」に気づいていないししたがって「解決」もできない
ZpとZp✕の違いに無頓着な人は、✕の有無は文字一個分の些細なこと
と思ってるのでしょうが、残念ながら両者は根本的に違います
これは重大な問題ですが問題を認識しない人は解決すらできません
はっきり申し上げますが
ZpとZp✕の違いは初歩のレベルです
院試以前に学部の試験で落とされます
つまり単位が取れません
395:１３２人目の素数さん
23/11/25 08:59:22.43 zw7rHkp6.net
正１７角形が作図可能かどうか、は実は大した問題ではありません
ガウスは単に自分の結果の提示の方法としてこれを取り上げたに過ぎません
肝心なのは、Z^n-1の解のベキ根表示とZn_✕の繋がりです
そういう意味で、ガウスの発見は、ガロア理論の先駆けです
396:１３２人目の素数さん
23/11/25 09:13:30.99 zw7rHkp6.net
５次以上の一般の代数方程式が冪根で解けるか否か、
という「些末な動機」でガロア理論を学ぶのは不毛である、
というのが私の感想です
解を求めるだけなら、冪根にこだわる必要はない
逆に、任意のｎ次の円分方程式が冪根で解ける、というのは
けっしてつまらない結果ではなく、実に興味深い
単に三角関数使えば解が求まるからいいだろう、とかいうことではない
両者は決して矛盾しません
397:１３２人目の素数さん
23/11/25 09:20:51.47 x8I8o+n6.net
>>359
> 各ステップを確認する必要があります
> 数学科では確実に必要となります
> 研究を行うのに不可欠ですから
１）あなたは、数学科落ちこぼれさん
２）よって、数学研究とは無縁でしょ？ｗ
３）人が数学を学ぶのは、プロ数学者として数学研究するだけではないはず
物理学者が数学を学ぶのは、それを物理学役立てるためだ
おっさん、「（数学）研究を行うのに不可欠」と言いながら
挫折して、何にも残っていないじゃん？ｗｗｗ
398:１３２人目の素数さん
23/11/25 10:04:13.75 0wOAtG3c.net
>>366
>物理学者が数学を学ぶのは、
>それを物理学に役立てるためだ
あなた、物理学者じゃないでしょ
物理は数学以上に分かってないんじゃない
ここで物理の話聞いたことないけど
399:１３２人目の素数さん
23/11/25 13:43:00.10 NoJcDmS3.net
aの巾根を a^{1/n} として求められるとするのなら、
1のｎ乗根も巾根使って 1^{1/n} とすれば一発じゃん。
くだぐだとｆ項周期とか作ったりしなくてもいいだろ？
400:１３２人目の素数さん
23/11/25 15:08:13.47 zw7rHkp6.net
>>368
x^n-a=0のn個の根は、その1つをn√aで表し、
他のn-1個をそれと1の原始n乗根ζのｍ乗(ｍ=1～m-1)で表�
401:ｷ x^n-1=0のn個の根は、1と1の原始n乗根ζのｍ乗(ｍ=1～m-1)だが これでは堂々巡りとなるのはおわかりか？ 堂々巡りを打ち破るには1の原始n乗根ζをより根源的な数の冪根で表す必要がある
402:１３２人目の素数さん
23/11/25 18:30:31.84 x8I8o+n6.net
>>368-369
>aの巾根を a^{1/n} として求められるとするのなら、
>1のｎ乗根も巾根使って 1^{1/n} とすれば一発じゃん。
>くだぐだとｆ項周期とか作ったりしなくてもいいだろ？
>
>これでは堂々巡りとなるのはおわかりか？
>堂々巡りを打ち破るには1の原始n乗根ζをより根源的な数の冪根で表す必要がある
スレ主です
問いと回答が、噛み合っていないと思うのは、私だけかな？
１）いま、簡単にa>0（a 正）とする
実数の範囲では
関数 f(a)=a^{1/n} f：a→a^{1/n}
このグラフを数式処理で書かせるのは、簡単なことだ
ところが、a＝1のときは、f(a)=a^{1/n}＝1でしかない
２）では、関数 f(a)を複素数の範囲に広げると？
f(a)は、多価関数になる
従って、一価関数に落とすことを考える必要があるのです（多価のままでは、不都合）
３）そこで、「1の冪根」や「円分多項式」の理論が出てくる
あと、下記「円分多項式」にも書いてあるが、 1^{1/n} を解とする方程式 x^n＝1 から得られる x^n -1＝0 で、多項式 x^n -1 は既約ではない（可約）
なので、1のｎ乗根は、必ずn-1乗根以下で間に合うのです
（なお、円分多項式は、大学入試ネタでもある。相反多項式になることも、常識として知っておくべし）
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
1の冪根（root of unity）とは、数学において冪乗して 1 になる（冪単である）数のことである。すなわち、ある自然数 n が存在して
z^n = 1
となる z のことである。通常は複素数の範囲で考えるが、場合によっては p進数のような他の数の体系内で考える場合もある。以下では主として複素数の場合について述べる。
ド・モアブルの定理より、略
URLﾘﾝｸ(en.wikipedia.org)
URLﾘﾝｸ(ja.wikipedia.org)
円分多項式
URLﾘﾝｸ(manabitimes.jp)
高校数学の美しい物語 円分多項式とその性質 2021/03/07
URLﾘﾝｸ(ja.wikipedia.org)
相反多項式
例
他の例としては円分多項式やオイラー多項式を挙げることができる。
403:１３２人目の素数さん
23/11/25 18:44:57.44 x8I8o+n6.net
>>367
>>>366
>>物理学者が数学を学ぶのは、
>>それを物理学に役立てるためだ
> あなた、物理学者じゃないでしょ
> 物理は数学以上に分かってないんじゃない
> ここで物理の話聞いたことないけど
議論が噛み合ってないなｗ
１）”> 各ステップを確認する必要があります
> 数学科では確実に必要となります
> 研究を行うのに不可欠ですから”>>366
だった
２）それなら、（数学）研究を行うためでないのなら
各ステップを確認する必要は、必ずしもないよね
（数学科でない人も、いまどき多数の人が数学を学ぶよ）
３）その一例として、物理学者を挙げた
物理学者が、自分の研究 例えば 素粒子論にある数学を適用することを考えたとする
まず、チェックすべきは その使おうとする数学が素粒子論に使えるかどうか？だ
使えないなら、各ステップを確認する必要は、必ずしもない
かつ、使えるとしても、各ステップを確認する必要は、必ずしもない（∵数学研究でもなく、数学科でもないからｗ）
404:１３２人目の素数さん
23/11/25 18:48:33.53 x8I8o+n6.net
>>371
・落ちこぼれさんで、数学研究と無縁
・よって、数学研究成果なく
・一本の査読投稿掲載論文の無い人が
・いっちょ前の顔をして、数学研究を語る
滑稽だよ
405:１３２人目の素数さん
23/11/25 18:55:21.89 zw7rHkp6.net
>>370
これはこれは、スレの深淵に住むというシンカイクサウオ様
お加減はよろしいのでしょうか？
>いま、簡単にa>0（a 正）とする
>実数の範囲では
>関数 f(a)=a^{1/n} f：a→a^{1/n}
>このグラフを数式処理で書かせるのは、簡単なことだ
グラフなら数式処理ソフトなんか使わなくても、Excelでも書けますよ
>ところが、a＝1のときは、f(a)=a^{1/n}＝1でしかない
その通りですね したがって>>368の主張では、
他のｎ－１個の根は全く記述ができません
ガチっと噛み合ってますね
シンカイクサウオ様もここは認めるでしょう
ご自分がいっていることですから
>では、関数 f(a)を複素数の範囲に広げると？ f(a)は、多価関数になる
406:>従って、一価関数に落とすことを考える必要があるのです（多価のままでは、不都合） ここ、問いと回答が、噛み合っていないと思うのは、私だけでしょうか？ そもそも一価か多価かが問題なのではありませんね >そこで、「1の冪根」や「円分多項式」の理論が出てくる 「そこで」ではないでしょう そもそも１の冪根も円分多項式も最初から存在します >あと、 1^{1/n} を解とする方程式 x^n＝1 から得られる x^n -1＝0 で、多項式 x^n -1 は既約ではない（可約） その通りです >なので、1のｎ乗根は、必ずn-1乗根以下で間に合うのです だから、私の369の指摘がガチっと噛み合いますね おかしいのは、一価と多価のところだけ そんなおかしなこというのはシンカイクサウオ様が初めて したがって、370冒頭の 「問いと回答が、噛み合っていないと思うのは、私だけかな？」 の答えは以下の通り 「ええ、あなただけですよ」
407:１３２人目の素数さん
23/11/25 18:57:41.60 zw7rHkp6.net
>>371
シンカイクサウオ様が数学者でないことはよく分かっておりますが
物理学者でもない、ということでよろしかったでしょうか？
408:１３２人目の素数さん
23/11/25 19:02:35.00 zw7rHkp6.net
>>372
私の知り合いに
「10年間”ガロア理論”と名のつくスレッドを立てていた人が
ZnとZn✕を混同していたんだよね」
という話をいたしましたら、こういわれました
「縁なき衆生は度し難し」
409:１３２人目の素数さん
23/11/25 19:05:33.23 zw7rHkp6.net
そもそも「１の冪根を三角関数で表せばいい」という人には
円分体の理論もガロア理論も「馬の耳に念仏」でしょうな
410:１３２人目の素数さん
23/11/25 19:09:43.20 zw7rHkp6.net
ガウスの円分体の理論は、ヲタク的純粋数学の極致という点で素晴らしい
そういうものに興味を持たないのは
良く言えば一般人
悪く言えば俗人
411:１３２人目の素数さん
23/11/25 19:13:44.01 zw7rHkp6.net
「深淵の人」は根本的に俗人かと思います
つまり、使えることにしか価値を見出さない
円分体の理論が他に使えることがないかどうかは知りませんが
そもそも他に使うために考えられたものではない
そこが「純粋数学」として素晴らしい
ヲタクがハマる趣味は別に役にたつようなことではなく
単に自分が面白いからやっている
そこが「ヲタク」としてすばらしい
ヲタク心がない人は世間的には健全かもしれませんが
・・・つまりませんな
412:１３２人目の素数さん
23/11/25 19:14:44.27 x8I8o+n6.net
>>372
余談だが、共同研究がある
下記は、藤野 修先生の話で、橋詰健太氏との共同研究があがっている
また、BCHMと呼ばれる大論文があるそうだ
BCHMの頭文字の４人の論文
４人が隅々まで、事細かく理解しているよりも
４人それぞれが、得意の専門分野をもち
４人の知恵を寄せ合って、BCHMが成り立っている
そう理解すべきじゃないですか？
三人寄れば文殊の知恵というが、４人の知恵を寄せ合ったんだね
４人がチマチマと重箱の隅を突いたのではなく、得意の専門分野とアイデアを寄せ合った結果だろう
そう考えるべきでは？
数学研究成果なく
一本の査読投稿掲載論文の無い人が
いっちょ前の顔をして、数学研究を語る
「各ステップを確認する必要があります」という
最終的には、その通りだが
それは初期段階では ないだろう
(参考)
URLﾘﾝｸ(kaken.nii.ac.jp)
高次元代数多様体の双有理幾何学
研究代表者 藤野 修 京都大学
この2006年から2008年ぐらいにかけて実行した小平消滅定理の一般化と双有理幾何学への応用に対して日本数学会の代数学賞をいただくことが出来た。
大変光栄なことだと思う。
2021年度の前半は橋詰健太氏との共同研究で対数的標準中心についてのadjunctionとinversion of adjunctionを完全に解決することができた。
2021年度の後半は極小モデル理論の複素解析化を実行した。
代数多様体に対する極小モデル理論ではBCHMと呼ばれる大論文が存在するが、BCHMの結果をほぼ全て複素解析化することに成功した。すでにプレプリントは公表済みである。
2022年度の前半は極小モデル理論の複素解析化をさらにおし進める予定である。
413:１３２人目の素数さん
23/11/25 19:16:17.69 zw7rHkp6.net
数学者は物理には興味がありません
物理現象に興味がないのはもちろん
世の中の役に立つという考え方にも興味がない
数学
414:を学んできた人間が企業に就職したがらないのは 企業の仕事に面白みを感じないからでしょう
415:１３２人目の素数さん
23/11/25 19:18:35.26 zw7rHkp6.net
>>379
シンカイクサウオ氏はご自分の話をしたがりませんな
今までの人生で面白いことを一つも為し得なかった人のようだ
416:１３２人目の素数さん
23/11/25 19:19:16.39 zw7rHkp6.net
ネットでサーチするだけの人生・・・つまりませんなあ
417:１３２人目の素数さん
23/11/25 19:20:33.30 zw7rHkp6.net
Zn✕ に何の興味も持ち得ない人が
いったい何を面白がるのか
想像もつきませんが
418:１３２人目の素数さん
23/11/25 19:21:50.18 zw7rHkp6.net
下らぬことで他人にマウントし他人を論破する
そんな、ひろゆきやホリエモンのような人生は
つまりませんなあ
419:１３２人目の素数さん
23/11/25 19:24:51.87 zw7rHkp6.net
私は別にシンカイクサウオ氏にマウントしてるわけではない
何が数学として本当に面白いのか、お示ししているつもりです
「最前線」とか「頂点」とか「高み」とかいって
つまらぬことに狂いまくっている哀れな人に
そこらに咲いているタンポポの面白さを伝えてるわけです
420:１３２人目の素数さん
23/11/25 19:26:32.73 zw7rHkp6.net
試験の点数しか見えない人は
学問の意味がわからない
421:１３２人目の素数さん
23/11/25 19:32:47.12 x8I8o+n6.net
>>379 参考
>BCHMの頭文字の４人の論文
下記ですね
因みに、Birkar氏は、フィールズ賞で、フェセンコ氏のところのDR生だったそうな
(参考)
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
第52回代数学シンポジウム報告集 p141--153 (2007)
Recentdevelopments inthelog minimalmodelprogramII
対数的極小モデル理論の最近の発展についてII
名古屋大学大学院多元数理科学研究科藤野修∗
概要Birkar-Cascini-Hacon-McKernanの大結果について述べる。
数学的に厳密な話ではなく、個人的な感想、極小モデル理論の勉強方法などを中心に述べたい。
URLﾘﾝｸ(ja.wikipedia.org)
コーチェル・ビルカー FRS (Caucher Birkar, 1978年 - )
博士課程 イヴァン・フェセンコ
指導教員 ヴャチェスラフ・ショクロフ[3]
研究と経歴
パオロ・カッシーニ（イタリア語版）、クリストファー・ハコン、ジェームズ・マッカーナンと共に、ビルカーは対数一般型の多様体に対する対数フリップの存在、対数正則環の有限生成、極小モデルの存在を含む幾つもの予想を解決し、ヴャチェスラフ・ショクロフと、ハコン-マッカーナンの初期の仕事上に業績を構築していった[16]。
対数正則特異点の解決において、ビルカーは極小モデルとアバンダンス予想（英語版）の鍵となる場合とともに対数フリップの存在性を証明した[17]。(これはハコンとチェンヤン・シュー（英語版）により独立に証明された。)
異なる方向で、ビルカーは非負の小平次元の多様体上の多正則系により誘導される飯高ファイブレーションの有効性に対する飯高の昔からの問題を研究した。この問題は二つからなる。一つはフィブレーションの一般ファイバーに関連し、一つはフィブレーションの基底に関連する。
422:１３２人目の素数さん
23/11/25 19:34:19.54 zw7rHkp6.net
ああつまらん
423:１３２人目の素数さん
23/11/25 19:38:12.27 zw7rHkp6.net
わかりもせん話をコピペするとかつまらん
424:１３２人目の素数さん
23/11/25 19:38:41.86 zw7rHkp6.net
それで他人にドヤる●違いぶりもつまらん
425:とおりすがり
23/11/25 20:23:12.53 dB5XVzlh.net
素朴な疑問。
0426はIUT応援スレ1通称set Aのレスで数学.物理.科学と無縁
426:なトンデモの方です。 1と数学談義するプロの数学者はいるのですか？ 存在したら業界怪談数学編では 0426 １３２人目の素数さん 2023/10/29(日) 14:22:15.63 IUTは、ガリレオ天動説です だんだん、理解され受け入れられてきたよ
427:１３２人目の素数さん
23/11/25 20:33:41.13 dB5XVzlh.net
たとえば id:x8I8o+n6 は1
428:１３２人目の素数さん
23/11/25 20:39:48.71 zw7rHkp6.net
>>391-392
確かにシンカイクサウオ氏と数学談義はできませんなあ
シンカイクサウオ氏は数学の初歩からわかってませんし
わかる気すらありませんから
Zn✕をZnと誤解しつづけてきたことからも明らかです
429:１３２人目の素数さん
23/11/25 20:41:48.48 x8I8o+n6.net
>>380
>数学者は物理には興味がありません
>物理現象に興味がないのはもちろん
>世の中の役に立つという考え方にも興味がない
落ちこぼれが、したり顔で数学と物理を語る？
笑止千万、滑稽極まりない？
そもそも、根拠なく現実と真逆の説を唱えるとはｗ
信用を失う発言ですね
貴方の言うことは
今後、信用されないよｗ
１）ちょっと古いが
URLﾘﾝｸ(planck.exblog.jp)
大栗博司のブログ 2010年 08月 21日
フィールズ賞
１９９０年以来の過去５回のICMでは、フィールズ賞受賞者のおよそ４割が場の量子論や超弦理論に関係する分野で研究をされていたので、今回はどうなるのだろうかと思っていました。
今回の受賞者のひとりはスタニスラフ・スミルノフさんで、ある種の２次元の統計模型がスケール極限で共形対称性を持つことを示し、物理学者のジョン・カーディさんの予想していた公式に数学的証明を与えました。
もうひとりの受賞者のセドリック・ビラニさんへの授賞対象は気体分子の運動論で、非平衡の状態からどのように平衡状態への移行が起きるのかの理解を進められたのだそうです。
物理学の提起する問題は、依然として数学の新しい発展を触発し続けているようです
２）近年の例
URLﾘﾝｸ(ja.wikipedia.org)
フィールズ賞
2022年
ユーゴー・デュミニル＝コパン（Hugo Duminil-Copin, 1985年 - ）フランス
「 For solving longstanding problems in the probabilistic theory of phase transitions in statistical physics, especially in dimensions three and four.
2014年
マリアム・ミルザハニ（Maryam Mirzakhani, 1977年 - 2017年 ）イラン （女性初）
「 for her outstanding contributions to the dynamics and geometry of Riemann surfaces and their moduli spaces.
アルトゥル・アビラ（Artur Avila, 1979年 - ）ブラジル フランス
「 for his profound contributions to dynamical systems theory have changed the face of the field, using the powerful idea of renormalization as a unifying principle.
３）大数学者で物理に関係する仕事もした人
佐藤幹夫、ヘルマン・ワイル、ヒルベルト（一般相対性理論）、ガウス、フーリエ（熱伝導の研究からフーリエ級数フーリエ変換へ）、ニュートン（天体物理から微分積分学へ）
430:１３２人目の素数さん
23/11/25 20:42:40.16 zw7rHkp6.net
シンカイクサウオ氏は数学で他人にマウントしたいだけですな
数学に対する嫉妬と羨望に満ち溢れちゃってます
そのくせ数学の真に面白い点には全く興味がない
数学を誤解し、数学でないものに憧れてるんでしょう
哀れなもんです
431:１３２人目の素数さん
23/11/25 20:46:53.44 zw7rHkp6.net
>>394
数学的現象に対する興味を物理現象に対する興味と取り違えてますな
数学的興味という動機を実用性の追求という動機と取り違えてますな
ま、前者は完全に詭弁ですが（笑）、後者はそうではないですね
そういう意味でいうと物理学者も実は実用性とかどうでもよくて
面白いから研究してるんでしょうけどね（笑）
432:１３２人目の素数さん
23/11/25 20:49:05.12 zw7rHkp6.net
ガウスはもちろん物理に関わる数学の研究もしているが
やはりガウスの真骨頂は円分体の理論だろう
これほどヲタク的なものはない
ガウス本人もこんなのカネもらってやる仕事じゃないと思ってるだろう
本当に面白い成果は仕事じゃできないんだよ 遊びだよ遊びｗ
433:１３２人目の素数さん
23/11/25 20:50:19.27 zw7rHkp6.net
大学で良い研究ができにくいのは、
国家とかいう暴力団から金もらってる
疚しさがあるからだろう
434:１３２人目の素数さん
23/11/25 20:53:04.87 zw7rHkp6.net
シンカイクサウオ氏と遊ぶのも飽きてきた
Zn✕とZnを取り違える大ボケを越える笑いはとれないだろう
ここらでズラかるのが潮時だ
435:１３２人目の素数さん
23/11/25 20:53:18.64 zw7rHkp6.net
あばよ
436:１３２人目の素数さん
23/11/25 20:53:54.17 x8I8o+n6.net
数学＆物理の追加例
山下真由子
共著 Y. Tachikawa＝立川 裕二 理論物理学者
Proceedings QFT 量子場の理論です
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
山下真由子
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
論文
2.Remarks on mod-2 elliptic genus, with Y. Tachikawa and K. Yonekura. preprint. URLﾘﾝｸ(arxiv.org)
Proceedings
1.Invertible QFTs and differential Anderson duals (proceedings to Stringmath 2022). URLﾘﾝｸ(arxiv.org)
URLﾘﾝｸ(ja.wikipedia.org)
立川 裕二（たちかわ ゆうじ、1979年10月5日 - ）は、日本の理論物理学者。東京大学国際高等研究所カブリ数物連携宇宙研究機構教授。専門分野は素粒子物理学、特に超弦理論における場の理論や数理物理など[1]。大阪府富田林市出身。
経歴
1998年、灘高等学校卒業。灘中学校・高等学校在学中には、国際数学オリンピックの日本代表に2回選出された。1995年（日本予選：中学3年[2][3]、国際大会：高校1年）の第36回カナダ大会、1996年（日本予選：高校1年[2][3]、国際大会：高校2年）の第37回インド大会に連続出場し、共に銀メダルを獲得した[4]。
研究
超弦理論に関する重力理論、数理物理、及び超対称性のある4次元場の理論。AGT対応の発見者。
437:１３２人目の素数さん
23/11/25 23:08:23.27 x8I8o+n6.net
>>397
>ガウスはもちろん物理に関わる数学の研究もしているが
>やはりガウスの真骨頂は円分体の理論だろう
・ガウスDAは、1797年（19～20歳）にはほぼ原稿は完成していた
・高校在学中にはニュートンの著書「プリンシピア」（ニュートン力学体系の解説書）と出会って深く感動し、ニュートンへの尊敬の念をいだきそれを一生胸の奥にあたため続け�
438:ﾜした ・ゲッチンゲン大学天文台長へ。その後およそ５０年の研究 生活をその地で過ごす ということは、ガウスDAは20歳前の仕事であって 一方 ニュートンの著書「プリンシピア」（ニュートン力学体系の解説書）と出会って深く感動しニュートンへの尊敬の念をいだき、天文台長５０年 どう見ても、物理にも本気で取り組んでいますよね つーか、当時は物理と数学の垣根は、それほど高くなくて、普通に物理と数学の両方を研究しています 落ちこぼれさんが、知ったかぶり 滑稽です (参考) https://ja.wikipedia.org/wiki/Disquisitiones_Arithmeticae Disquisitiones Arithmeticae ラテン語で算術研究の意、以下 D. A. と略す 1801年、ガウス24歳のときに公刊された。その研究の端緒はガウス17歳の1795年にまでさかのぼり、1797年にはほぼ原稿は完成していた[1]。 https://www.px.tsukuba.ac.jp/~iarai/Courses-j.html 新井一郎の授業 筑波大 物理 https://www.px.tsukuba.ac.jp/~iarai/Doc/UG/Physics_BI/Personae.html 物理学を作った人々 https://www.px.tsukuba.ac.jp/~iarai/Doc/UG/Physics_BI/Gauss.html [13]ガウス -偉大な天才数学者- ドイツの数学者。１７７７年４月３０日、プロシャ北部ハノーバー近郊 ブラウンシュバイク生。数論の研究で輝かしい業績。純粋数学に留まら ず、現代天文学、測地学、電磁気学などの数学の実際的な応用において も活躍し、数学と隣接科学に大きな貢献。 高校在学中にはニュートンの著書「プリンシピア」と出会って深く感動し、ニュートンへの尊敬の念をいだきそれを一生胸の奥にあたため続けました。 ガウスの才能の流出を惜しんだフンボルトの 尽力により、ゲッチンゲン大学天文台長へ。その後およそ５０年の研究 生活をその地で過ごし、１８５５年２月２３日没。 https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%93%B2%E5%AD%A6%E3%81%AE%E6%95%B0%E5%AD%A6%E7%9A%84%E8%AB%B8%E5%8E%9F%E7%90%86 『自然哲学の数学的諸原理』（しぜんてつがくのすうがくてきしょげんり、羅: Philosophiæ Naturalis Principia Mathematica）は、アイザック・ニュートンの著書で、ニュートン力学体系の解説書である。1687年7月5日刊、全3巻。古典力学の基礎を築いた画期的なもので、近代科学における最も重要な著作の1つ。運動の法則を数学的に論じ、天体の運動や万有引力の法則を扱っている。Principia という略称でもよく知られている。日本語では『自然哲学の数学的原理』、『プリンキピア』、あるいは『プリンシピア』とも表記される（岡邦雄訳、春秋社、1930年や、中野猿人訳、講談社、1977年等） 18世紀にはラグランジュがニュートン力学以後の力学の研究成果を統合し『解析力学』（1788）にまとめることになった（解析力学。ラグランジュ力学）。
439:１３２人目の素数さん
23/11/26 08:13:57.93 EtUXTn+n.net
>>399-400
どうせ、すぐ舞い戻ると思うので書いておくが
１）妄想サイコパスのおサル>>6さん、自分の劣等感を他人に投影して
おまえは中卒だの、これが分かってない、あれが理解できてない
と喚く君
２)数学科で勉強したことだけが、心の支えかもしれないが
要するに落ちこぼれさんでしょ？
勉強法が間違っていた気がする
３）「数学に王道なし」「一歩一歩の積み重ね」「厳密に厳密に」「直感、直観ダメダメ」
これ、多分わんこらさんが 言っている間違った勉強法（下記）
正しいのは、遠山流水道方式を換骨奪胎して、自分の勉強法に取り入れることだ
４）そして、プロになろうという人は、直感、直観を鍛えること
プロ棋士の修行法と同じだ。レベルが低いから、ヘボ筋しか浮かばないのです
レベルが上がると、第一感の手が「棋力の高い人ほど正確・好手である確率が高くなる」のです（下記）
間違った勉強法だから
ガロア理論で挫折したんだねｗ
(参考)
URLﾘﾝｸ(www.youtube.com)
どうやってニートから立ち直ったのか？留年繰り返した末に大学院も全て落ちてニートへ
わんこらチャンネル 2020/09/15
URLﾘﾝｸ(www.youtube.com)
僕がたどり着いた数学の勉強の仕方…わんこら式数学の勉強法はこうやって生まれた
わんこらチャンネル 2020/05/30
留年繰り返して7年で大学卒業した後
ニートになった僕ですが
そんな僕が挫折を繰り返してきた歴史と、たどり着いた数学の勉強の仕方について動画にしました
この勉強法がわんこら式と呼ばれるようになりました
大学の数学の専門書、解析入門1を使って
数学の勉強法について話します
色々な人の参考になれば嬉しいです
URLﾘﾝｸ(xn--pet04dr1n5x9a.com)
【将棋用語】第一感
その局面をちょっと見て感じたこと。特に、局面を見て最初に感じた形勢や思い付いた手を言う場合に「深く読んでいないから間違っているかもしれないけど」という意味合いを持たせるために使われることが多い。「一目」と同様の使い方、及び、意味合いになる。
主に過去の経験に基づいた判断となっているため、棋力の高い人ほど正確・好手である確率が高くなる
440:１３２人目の素数さん
23/11/26 08:40:31.43 EtUXTn+n.net
>>398
>大学で良い研究ができにくいのは、
>国家とかいう暴力団から金もらってる
>疚しさがあるからだろう
・なんか、アカデミックポストを得られなかったサルが>>6、ほざいているとしか思えない
自分は、私大の数学科と言っていたのにね、笑える
（私大も補助金を多少もらっているのだが、国公立ほどではない）
・余談だが、グロタンディークが「IHÉSに軍からの資金援助があることを知ると、彼は即座にIHÉSを辞職」（下記）
とある
・別に、ノーベル賞の眞鍋 淑?ｶ氏は、「日本の縦割り行政が学術研究を阻害していることへの不満」でプロジェクトの長を辞任したという
こちらは、お金の問題ではないのだが
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
アレクサンドル・グロタンディーク
反戦運動と環境問題に熱心だったことから、1970年頃にIHÉSに軍からの資金援助があることを知ると、彼は即座にIHÉSを辞職。その後は、数学から距離を置いた隠遁生活を送るようになった
URLﾘﾝｸ(ja.wikipedia.org)
眞鍋 淑?ｶ（新字体：真鍋 淑郎、英語: Syukuro "Suki" Manabe、1931年（昭和6年）9月21日 - ）
日本へ一時帰国
1997年には日本へ帰国し、同国の宇宙開発事業団と海洋科学技術センターによる共同プロジェクト「地球フロンティア研究システム」の地球温暖化予測研究領域の領域長に就任した
しかし、2001年に辞任・再び渡米し、プリンストン大学研究員に転じた。当時のマスメディア報道では、地球シミュレータを利用しての他研究機関との共同研究が、所管元である日本の科学技術庁の官僚から難色を示されたことが辞任のきっかけとされ[26]、日本の縦割り行政が学術研究を阻害していることへの不満による「頭脳流出」であると報じられた[26][27][28]
441:１３２人目の素数さん
23/11/26 09:05:11.22 EtUXTn+n.net
>>404 補足
>>国家とかいう暴力団から金もらってる
>ノーベル賞の眞鍋 淑郞氏
>「地球フロンティア研究システム」の地球温暖化予測研究領域の領域長に就任
１）類似で、気象庁の天気予報システムがある(下記)
何年か周期で、システムのハードおよびソフトを更新している
２）もし、あなたがシステム更新のプロジェクトのメンバーあるいは長になったら？
やるべきことは、行列式の4ｘ4の勉強ではない！ｗｗｗ
３）全体像を把握すること
現状どうなっているか？ 今後どうすべきか？ 他の先進国のシステムはどうか？ など
４）数学で分からないことがあれば、どうする？
それが必須なら勉強するしかないが、大学・学校の勉強と違うのは
分かっている人に教えて貰うとか、分かっている人を雇ってくるとかはあり！
５）そうして、多くの人の協力を得て、システム更新を行うこと
これが、最終目標
”おい、おまえ何をやっているんだ？”（おサルの上司）
”基礎の線形代数の勉強で、4ｘ4の行列式の手計算をしています”（おサル>>6）
って
完全にアホでしょ？
大学・学校の試験を受けるんじゃないんだよね、社会人は！ｗｗｗ
(参考)
URLﾘﾝｸ(www.jma.go.jp)
気象に関する数値予報モデルの種類 気象庁
気象庁では、予報する目的に応じて幾つかの数値予報モデルを運用しています。下表に記載してあるのは、現在、天気・天候の予報に使用している主な数値予報モデルの概要です。目先数時間程度の大雨等の予想には2km格子の局地モデルを、数時間～1日先の大雨や暴風などの災害をもたらす現象の予報には5km格子のメソモデルとメソアンサンブル予報システムを、台風予報や1週間先までの天気予報には約13km格子の全球モデルと約27km格子の全球アンサンブル予報システムを使用しています。全球アンサンブル予報システムは、2週間先までの予報や1か月先までの予報にも使用されています。さらに、1か月を越える予報には、大気海洋結合モデルを用いた季節アンサンブル予報システムを使用しています
気象に関する数値予報モデルの概要
略
URLﾘﾝｸ(ja.wikipedia.org)
数値予報(天気予報)
気象庁における数値予報
気象庁では、1959年（昭和34年）に大型コンピュータIBM704を導入して、数値予報業務を開始した。
2019年12月現在[1]、主要な以下のモデルについて計算を行い、結果を外部に提供している。
脚注
URLﾘﾝｸ(www.jma.go.jp)
^ “数値予報研修テキスト 第52巻 付録A” (PDF). 気象庁 (2019年12月). 2020年8月8日閲覧。