ガロア第一論文と乗数イデアル他関連資料スレ18

ガロア第一論文と乗数イデアル他関連資料スレ18 (468ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

15: １３２人目の素数さん [] 2025/05/27(火) 23:13:01.86 ID:mVXlvt9d

つづき

・自然数 ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
　『形式的な定義 自然数の公理
　以上の構成(注 ノイマン構成)は、自然数を表すのに有用で便利そうな定義を選んだひとつの結果であり、他にも自然数の定義は無限にできる。これはペアノの公理を満たす後者関数 suc(a) と最小値の定義が無限に選べるからである。
　例えば、0 := {}, suc(a) := {a} と定義したならば、
　0 := {}
　1 := {0} = {{}}
　2 := {1} = {{{}}}
　3 := {2} = {{{{}}}}
　と非常に単純な自然数になる』
・0＜1＜2＜3＜・・・
　{}＜{{}}＜{{{}}}＜{{{{}}}}＜・・・
　ここで
　{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・
　と書ける
　何が言いたいか？
　{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・を逆に辿れば
　{}＜{{}}＜{{{}}}＜{{{{}}}}＜・・・ となり
　0＜1＜2＜3＜・・・ となる
・つまり、{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・ において
　∈を＜に書き換える
　そうして、{}→0、{{}}→1、{{{}}}→2、{{{{}}}}→3、・・・
　と順序数の背番号がついていると思え
　あるいは、例えば {{{}}}→2 ならば、括弧{}の多重度を基準に整列していると考えれば良い（括弧{}の多重度-1が、順序数に相当している）
・このように、列 {}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・を、順序関係＜に置き換えて
　{}＜{{}}＜{{{}}}＜{{{{}}}}＜・・・ として、整列集合と考えることができる（整列可能定理の主張はこれ）
・おサルさん、なにをとち狂ったか、列 {}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・ が、整列していることを否定する
　上記『{}∈{{{}}} は偽』とか、勝手な妄想でお茶沸かす。ほんと、エンタの王で笑いを取る名人だね
　私には、単なるアホとしか思えないがｗ ；ｐ）
以上

あと
＜乗数イデアル関連（含む層）＞の話や
文学論、囲碁の話もあります
これも、5ｃｈらしくて良いと思いますｗ

テンプレは、以上です

http://rio2016.5ch.net/test/read.cgi/math/1748354585/15

255: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/06/29(日) 09:31:13.86 ID:HQSTLRKE

>>250
>> 1の冪根と（整数論の）”原始根”は密接に関連していて、一方「1の原始n乗根」もある
>> 数学では一つの議論における数学の用語は、冒頭で定義して
>> その議論中では一貫してその定義通りに厳密に使うべし
>どの本を読んだか知らないが、
>その言葉で、全く分かってないことが露見
>そこ、全然関係ないから

君は、石井の頂本（下記）を買ったというが、全然読めてないぞ
関連箇所を 引用しておくから、百回音読してね ；ｐ）

要点は、1の冪根の方程式 x^n-1=0 (2≦n) において
この方程式のガロア群は 本質的に巡回群だ
巡回群の説明のために、第１章で（整数論の）”原始根”とか オイラー関数φとかが出てくるんだよ

まあ、君には難しいのだろうが・・

(参考)
https://www.beret.co.jp/book/43638
ベレ出版
ガロア理論の頂を踏む
石井俊全 2013年08月22日発売

（目次）
https://www.beret.co.jp/uploads/2023/02/%E3%82%AC%E3%83%AD%E3%82%A2%E7%90%86%E8%AB%96%E7%9B%AE%E6%AC%A1.pdf
第１章「整数」
?(Z/Zp)*  は，巡回群である････73
?  素数pの原始根は確かにある････80
?  既約剰余類群を解剖する････ 87
　▶(Z/Zp)*の構造
第4章　「複素数」
4  1の原始n乗根を解に持つ方程式････245
▶円分多項式
 定義 4.1  円分多項式････ 245
 定理 4.10  素数次の円分多項式････246
 定理 4.11  1のn乗根の和の公式･････247
第6章　「根号で表す」
1  1のn乗根をベキ根で表す････412
▶円分方程式の可解性
 定理 6.1  1のn乗根のベキ根表現････ 416

（立ち読み）
https://www.beret.co.jp/uploads/2022/12/487.pdf
はじめに
P5
ルートの説明
登り口は，第1章「整数」です
整数の章の最終目標は，既約剰余類群の構造の解明です。これはピーク
の定理の証明でも使われる事項で重要項目です
P6
第5章は，「体の拡大と自己同型群」がテーマです
このガロア拡大体の概念を定義するには大きく分けて3つのルートがあ
ります。
ガロア拡大体の定義
（１） 方程式の最小分解体
（２） 有限次正規拡大体
（３） （ガロア群の位数）＝（拡大体の次数）
この本がとったルートは，（１）（最小分解体道）です。
第6章「根号で表す」では，いよいよピークの定理の証明に挑みます。
章の冒頭では1のn乗根が根号で表されることを具体的に計算で示します。
1のn乗根が根号で表されることは，ピークの定理から導かれる事実です
が，具体的な計算は他書ではなかなかお目にかかれないところです

http://rio2016.5ch.net/test/read.cgi/math/1748354585/255

314: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/07/06(日) 21:27:10.86 ID:+k1m9OFg

>>309
ご苦労さま

1）AIの解説は、私もすでに2カ所で投稿している
　一つは、>>308 "Copilot：What is Demailly's Strong Openness Conjecture"
　もう一つは、>>299 "google検索 多変数関数論 開性定理とは ＜AI による概要＞・・・"
2）あんたのは、>>299のgoogle の＜AI による概要＞とほぼ同じ
　だが、あんたの問題は i)どのAIをつかったのか？ ii)どういう質問をしたのか？
　この2点の明示がないこと
　特に、”ii)どういう質問をしたのか？”は、大きな問題だな
　つまり、これを見た人が、自分の手持ちのAIに同じ質問をしようとしたときに
　それができない。あるいは、将来 半年とか1年後に AIの進化やネット情報の更新があったとして
　もう一度同じ質問をしたいとき、それが出来ないってことだ

まあ、採点は 御大がしてくれるだろうさ ；ｐ）

さてしかし、>>299のgoogle の＜AI による概要＞のあとに
御大の>>301
"openness conjectureが解決された結果
開性定理が生まれた
そのeffective versionsが
複素幾何に応用されている"
が投稿されているだろ？

つまり、
1）openness conjecture とは？
2）それを いつ だれが どのように解決したのか？
3）”effective versions”は、どんなものか？ （複数形だよ）
4）”複素幾何に応用されている" の部分は、どうか？

1）と2）については、>>304-306にある
3）の”effective versions”は、まだ不十分だが
　(>>308 で ”You can explore the original proof in the Annals of Mathematics article1) or the expanded version on arXiv2).”とあるから、the expanded version on arXiv2)が該当の一つかも)
4）”複素幾何に応用されている"は、>>308 の”multiplier ideal sheaves”がキモらしい（以前 御大がそう述べていたから）

結論として、>>309-312は、
上記の>>299のgoogle の＜AI による概要＞と ほぼ同じじゃね？ ；ｐ）

http://rio2016.5ch.net/test/read.cgi/math/1748354585/314

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ

ぬこの手ぬこTOP 0.019s