Inter-universal geometry と ABC予想 (応援スレ) 80

[1 １３２人目の素数さん 2025/12/17(水) 20:59:24.41 ID:4K0rh2sH]

前スレ：Inter-universal geometry と ABC予想 (応援スレ) 79
https://rio2016.5ch.net/test/read.cgi/math/1764578260/
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13
＜IUT最新文書＞
About the study of IUT by Ivan Fesenko http://ivanfesenko.org/wp-content/uploads/rapg.pdf https://ivanfesenko.org/?page_id=80
望月新一＠数理研 https://www.kurims.kyoto-u.ac.jp/~motizuki/
https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
宇宙際タイヒミュラー理論 ＜新展開＞ 2025年5月、中国の若手数学者の周忠鵬はフェルマーの最終定理の一般化がIUT理論から得られると発表した
・日仏遠アーベル共同研究 Arithmetic & Homotopic Galois Theory IRN https://ahgt.math.cnrs.fr/activities/
＜Grokipedia＞
Inter-universal Teichmüller theory https://grokipedia.com/page/Inter-universal_Teichm%C3%BCller_theory
遠アーベル幾何学 https://grokipedia.com/page/Anabelian_geometry

https://zen.ac.jp/lp/icp
IUT Challenger Prizeの紹介 2023年7月
審査の対象とする論文については、MathSciNetに載っていて、かつ、過去10年間に数論幾何の論文が10本以上掲載されている数学の専門誌に査読の上でアクセプトまたは掲載されたもの

://www.sankei.com/article/20240402-WNUUSYIAO5PRVNCBQSEEUETGMU/
産経 2024/4/2
宇宙際タイヒミューラー理論を提唱、望月新一氏らに賞金１０万ドル
同理論の発展に重要な貢献を果たした論文の執筆者に贈られる「ＩＵＴｉｎｎｏｖａｔｏｒ賞」の最初の受賞者として望月氏ら５人が選ばれ

://ahgt.math.cnrs.fr/activities/
Anabelian Geometry and Representations of Fundamental Groups. Oberwolfach workshop MFO-RIMS Sep. 29-Oct. 4, 2024
Org.: A. Cadoret, F. Pop, J. Stix, A.. Topaz
（J. Stixさん、IUT支持側へ）

://collas.perso.math.cnrs.fr/documents/Collas-Anabelian%20Arithmetic%20Geometry-IUT.pdf
“ANABELIAN ARITHMETIC GEOMETRY - A NEW GEOMETRY OF FORMS AND NUMBERS: Inter-universal Teichmüller theory or “beyond Grothendieck’s vision” Benjamin Collas Version 11/15/2023”

このスレの番号は前スレ43を継いでNo.44からの連番としています
（なお、このスレは本体IUTスレの43からの分裂スレですが、分裂したNo43スレの中では このスレ立ては最初だったのです！）
(余談)
Langlands program Geometric conjectures https://en.wikipedia.org/wiki/Langlands_program
In 2024, a 9-person collaborative project led by Dennis Gaitsgory announced a proof of the (categorical, unramified) geometric Langlands conjecture leveraging Hecke eigensheaves as part of the proof.[3][4][5][6]
つづく

[960 １３２人目の素数さん 2025/12/29(月) 18:00:16.57 ID:BSDYM4u2]

>>958
>>748でこれは良くある話って言ってたでしょ？
資料なんて探したら出てくるんだろうけど、めんどくさくてもう良いわ。
お前ごときに使える時間はもうないから黙れ

[961 １３２人目の素数さん 2025/12/29(月) 18:00:16.48 ID:twCwiNxL]

>>959
君は自信無いってこと？　じゃ負け認めたら？

[962 １３２人目の素数さん 2025/12/29(月) 18:03:50.83 ID:twCwiNxL]

>>960
敗北宣言ですか？　じゃあ黙るのは君

[963 １３２人目の素数さん 2025/12/29(月) 18:04:11.67 ID:BSDYM4u2]

>>961
この説明はしばしばなされるって言ってるでしょ？
あの資料以外にも、他にあるよっていうことなんだよ。
複数あったらもう良いだろ？
俺は寝る、くだらん話に付き合わせるなよ。ネコも食わないよ、こんな話w

[964 １３２人目の素数さん 2025/12/29(月) 18:08:52.92 ID:BSDYM4u2]

>>962
いやいや、こちらの説の信憑性はある。
お前は一人で言ってるだけ。
ここにお前の居場所はない。
出ていかないのなら、皆をスレから離れるように誘導するわ。
好きにすると良いよw

[965 １３２人目の素数さん 2025/12/29(月) 18:09:33.27 ID:twCwiNxL]

どんな資料出しても無駄って分からんのかな？
頭弱い子なんだろう

[966 １３２人目の素数さん 2025/12/29(月) 18:10:07.76 ID:twCwiNxL]

>>964
信憑性の根拠は？

[967 １３２人目の素数さん 2025/12/29(月) 18:10:41.99 ID:twCwiNxL]

信憑性あるある詐欺かｗ

[968 １３２人目の素数さん 2025/12/29(月) 18:13:57.12 ID:BSDYM4u2]

>>965
じゃあ、お前の説が認められてるところを見せてみろよ？
なんでこちらばかりに信憑性の要求をするんだよ？
お前の説なんて、今のところ誰にも認められてないから、一対ゼロで俺の勝ちやがなw

[969 １３２人目の素数さん 2025/12/29(月) 18:18:18.67 ID:twCwiNxL]

>>968
信憑性がどうこうじゃなく、
>>868に答えてもらえばいいんだけど、なんでそんな頑なに逃げるの？

[970 １３２人目の素数さん 2025/12/29(月) 18:25:46.61 ID:BSDYM4u2]

>>969
俺は拡張する必要はないと思ってるからだ。もう俺らの間の議論で解決しないのは、一日もかかってるから分かるだろ？
じゃあ資料を持って来いっていってんの。

お前の書いた字とか読みたくないから、他の人が正しいって言ってるものを持って来い。こちらは提示済みなんだから。

[971 １３２人目の素数さん 2025/12/29(月) 18:27:18.75 ID:twCwiNxL]

>>970
>俺は拡張する必要はないと思ってるからだ
理由は？

[972 １３２人目の素数さん 2025/12/29(月) 18:30:21.96 ID:BSDYM4u2]

>>969
俺が言ったのは自然数の話で、そこで整合性が取れているのなら問題ない話だ。
日本数学会の資料もそれで問題ないということだろ。
日本数学会にケチつけたいのなら、スレでも立ててこの話でもしたら？w

[973 １３２人目の素数さん 2025/12/29(月) 18:36:07.00 ID:BSDYM4u2]

>>971
拡張しないといけない理由が分からないんだよ。
それに、1が素数かどうか迷う人は多くて、一意性で納得してもらおうとするのは、俺も日本数学会も同じ。
素元から単元を抜いて〜なんて話は知らない、勝手に拡張すんな。
レスしなかったら逃亡とか言うだろうが、もう俺しかレスしてないから皆呆れてる。
もう俺も疲れたから寝る。勝手に一人で虚しくやってろ。

[974 １３２人目の素数さん 2025/12/29(月) 18:41:24.04 ID:twCwiNxL]

>>973
>拡張しないといけない理由が分からないんだよ。
素数の定義と素元の定義は別々バラバラでよいと？

[975 １３２人目の素数さん 2025/12/29(月) 19:05:20.09 ID:06TW2XTK]

なんか数学の初歩も知らん素人が868を読んで反論しろと絶叫発狂してるけど
素元を直接でなく素イデアルを経由して定義するなら
「素元は単元でない」と直接言うかわりに
「素イデアルは可換環全体からなるイデアルでない」というわけで
対応関係は明白　高校で数学終わった素人が対応読めてないだけ

🚽　ジャー

[976 １３２人目の素数さん 2025/12/29(月) 19:08:56.60 ID:06TW2XTK]

>>974
＞素数の定義と素元の定義は別々バラバラでよいと？

条件は全部対応してるけど　君には見えない？

[977 １３２人目の素数さん 2025/12/29(月) 19:16:59.87 ID:06TW2XTK]

Zの場合、２＝１・２＝１・１・２＝１・１・１・２＝・・・となるし　また２＝−１・ー２でもある

したがって
・１はいちいち書かない
・１＝ー１・ー１なので単元　ー２＝ー１・２で、単元ー１を掛けることで２と移り合うから違わないとする
とかいうこと

だから「整数環における素因数分解の一意性」のためというのはウソではないし
こんなことをムキになって否定するのは、環論を全く知らない素人

🚽　ジャー

[978 １３２人目の素数さん 2025/12/29(月) 19:19:29.15 ID:twCwiNxL]

>>975
屁理屈はいいから>>868に異議ありや無しやだけ答えてくんない

[979 １３２人目の素数さん 2025/12/29(月) 19:20:32.63 ID:06TW2XTK]

整数環は只の可換環ではなく零因子を持たない整域であるし
なんなら一意分解整域、単項イデアル整域である

ついでにいうと
・体上の一変数多項式環は、単項イデアル整域
・体上の二変数以上の多項式環は、一意分解整域だが、単項イデアル整域ではない

[980 １３２人目の素数さん 2025/12/29(月) 19:21:12.00 ID:twCwiNxL]

>>976
それはバラバラじゃダメだからの結果だろｗ
じゃあバラバラじゃダメなんだから自然数単独で考えちゃダメじゃんｗ

[981 １３２人目の素数さん 2025/12/29(月) 19:21:25.38 ID:06TW2XTK]

>>978　

>>975が全て

🚽　ジャー

[982 １３２人目の素数さん 2025/12/29(月) 19:22:30.46 ID:06TW2XTK]

>>980
いつだれがどこで自然数単独で考えるとかいう馬鹿なこといったんだい？

そもそも自然数は環ではなく・・・モノイド

[983 １３２人目の素数さん 2025/12/29(月) 19:27:27.22 ID:twCwiNxL]

>>977
>環論を全く知らない素人
>>868に答えられないおまえがな

[984 １３２人目の素数さん 2025/12/29(月) 19:29:19.93 ID:twCwiNxL]

>>979
聞いても無いこと急に言い出してどうした？　頭大丈夫？

[985 １３２人目の素数さん 2025/12/29(月) 19:29:25.82 ID:06TW2XTK]

>>983
●違いな素人がうるさいですね

🚽　ジャー

[986 １３２人目の素数さん 2025/12/29(月) 19:30:28.72 ID:06TW2XTK]

>>984
ん？もしかして全部知らないことばかりだった？

🚽　ジャー

[987 １３２人目の素数さん 2025/12/29(月) 19:32:35.79 ID:SmMLXcfg]

勢い凄くてﾜﾛﾀｗ

レス数が950を超えています。1000を超えると書き込みができなくなります。

[988 １３２人目の素数さん 2025/12/29(月) 19:34:54.46 ID:twCwiNxL]

>>981
それは素元が単元でないことが定義から直ちに言えるってことだろ？　そんなことは聞いてない
素元分解の一意性を成立させるためにそう定義されたのか、それとも別の事情のためにそう定義され結果的に素元分解の一意性も成立しているのか、を聞いている
回答になってない　零点

[989 １３２人目の素数さん 2025/12/29(月) 19:35:54.19 ID:twCwiNxL]

>>982
BSDYM4u2

[990 １３２人目の素数さん 2025/12/29(月) 19:37:17.19 ID:twCwiNxL]

>>985
>●違いな素人がうるさいですね
>>868から逃げまくるおまえがな

[991 １３２人目の素数さん 2025/12/29(月) 19:37:55.04 ID:twCwiNxL]

>>986
また邪推かよ　もういいってその邪推芸ｗ

[992 １３２人目の素数さん 2025/12/29(月) 19:38:19.35 ID:06TW2XTK]

＞素元が単元でないことが定義から直ちに言えるってことだろ？　そんなことは聞いてない

定義からただちに言えるほど自明なことは、定義してることと実質的に同じ　要するにただの言い換え

＞素元分解の一意性を成立させるためにそう定義されたのか、
＞それとも別の事情のためにそう定義され結果的に素元分解の一意性も成立しているのか、

単元を素元とすると、素元分解の一意性は成立しない　これが全て

君こそ間違ってる　マイナス１００点

🚽　ジャー

[993 １３２人目の素数さん 2025/12/29(月) 19:41:16.30 ID:06TW2XTK]

💩君は、１を素数としない理由を、
整数環で１を素数としてしまうと
２＝１・２＝１・１・２＝１・１・１・２
と際限なく分解できてしまってキリがなくなるから
といってるんだろ？

その通りじゃん　否定しようもない
君、まさか、これを否定するの？

🐎🦌？

[994 １３２人目の素数さん 2025/12/29(月) 19:42:38.31 ID:twCwiNxL]

>>992
回答になってない　零点

[995 １３２人目の素数さん 2025/12/29(月) 19:44:23.76 ID:UvWosIrd]

立てちゃった

Inter-universal geometry と ABC予想 (応援スレ) 81
https://rio2016.5ch.net/test/read.cgi/math/1767004988/

[996 １３２人目の素数さん 2025/12/29(月) 19:45:17.01 ID:06TW2XTK]

>>994
君が間違ってる　マイナス１００点

マイナス１００点の人がボクに０点をつけるということは
君が０点としたときボクは１００点ということ

ひゃっほう！

[997 １３２人目の素数さん 2025/12/29(月) 19:46:16.77 ID:06TW2XTK]

>>995
💩スレ立てるなよ

🚽　ジャー

[998 １３２人目の素数さん 2025/12/29(月) 19:47:53.16 ID:06TW2XTK]

中二HNをつけた高卒素人が数学情報を分かりもせずにコピペするのは完全な誇大妄想症

等身大の自分を見つめ直そう

[999 １３２人目の素数さん 2025/12/29(月) 19:47:56.69 ID:twCwiNxL]

>>993
おまえは１を素数としない理由は「R/Pが整域⇔Pが素イデアル」を成立させるためではないと言いたいのか？
根拠は？

[1000 １３２人目の素数さん 2025/12/29(月) 19:48:08.65 ID:06TW2XTK]

ということで