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

**１３２人目の素数さん** · 2025/12/17(水) 20:59:24.41

前スレ：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]
つづく

**１３２人目の素数さん** · 2025/12/29(月) 08:26:23.40

>>832
それはお前だろwwwwwwwwwwwwwwww

俺はそんなに出来ないが、>>829とは仲間で馬鹿にされたことなんてないぞ。
貴方も仲間を連れてきたらどう？その性格じゃいないだろwwwwwwwwwwwwww

**１３２人目の素数さん** · 2025/12/29(月) 08:29:13.99

君、暇だねえｗ　今日は特別な日とか見栄張らなくいいのにｗ

**１３２人目の素数さん** · 2025/12/29(月) 08:29:28.17

>>835
だから、その先生に投書しろってw
そしたら、1ミリも相手にされないからwwwwwwwwwwwwwwwwwwwwwwwwww

もう寝ろって。そして、二度と来んな。

**１３２人目の素数さん** · 2025/12/29(月) 08:33:02.33

大事な日は明日か。。。

でもいいよ、君に用は無いから　ばいば～い

**１３２人目の素数さん** · 2025/12/29(月) 08:37:54.65

>>839
バイバイって、この板から引退するバイバイだよな？
俺は居させてもらうからな？
仲が良い人もここに居るんだし。
これだけ荒らしたんだから、今までお疲れ様でしたwwwwwwwwwwwwwwwwwww

**１３２人目の素数さん** · 2025/12/29(月) 08:41:23.38

>>781
>>833に対して素因数分解のことしか言ってない>>781は的外れだと思わん？

**１３２人目の素数さん** · 2025/12/29(月) 08:42:00.91

>>839
ここに居ても、ヤバイ人が一人いると警戒されるから、肩身が狭いよ？
私はよほど間違ってる人にくらいしか訂正は求めないから、まず疑われないよ。
まあ貴方は今後、身の振り方に気をつけなよ。みんな見てるからね。

**１３２人目の素数さん** · 2025/12/29(月) 08:42:20.81

>>840
どうぞご自由に　いちいち居ます宣言しなくていいよ

**１３２人目の素数さん** · 2025/12/29(月) 08:42:50.31

私は君に用無いけどねｗ

**１３２人目の素数さん** · 2025/12/29(月) 08:45:08.58

06TW2XTK君反応わりーな　>>841に答えといてね

**１３２人目の素数さん** · 2025/12/29(月) 08:45:39.60

この一年の動向を見ると
IUTの将来は暗くない

**１３２人目の素数さん** · 2025/12/29(月) 08:48:13.02

>>829
ヤバイ人に無理にレスしなくても良いですよ。
お前は💩に負けたから、💩未満って言っとけば良いですから。
論破する自信があれば、してもらってもかまいませんが、時間が勿体ないので一応伝えておきます。

**１３２人目の素数さん** · 2025/12/29(月) 08:51:21.56

>>845
あのなぁ、この板は社会人が使ってると考えといた方が良いぞ？
みんな暇じゃないんだよ、貴方と違ってw
それか、相手にしてもらえてないかのどちらかだから、もうここには来んな。
分かったな？

**１３２人目の素数さん** · 2025/12/29(月) 08:53:44.62

>>844
荒らしは来んな。
142レスする荒らしは、このスレにはいらないからwwwwwwwwwwwwwwwwwwww

**１３２人目の素数さん** · 2025/12/29(月) 09:25:41.94

>>717
素元の定義が無茶苦茶w

**１３２人目の素数さん** · 2025/12/29(月) 09:34:31.26

>>725
定義が>>717で分かってなかったから、十分じゃないじゃんwwwwwwwwwwwww

**１３２人目の素数さん** · 2025/12/29(月) 09:51:20.73

>>721
定理の帰結って何？
定理から定義が導かれるの？
こんな曖昧なこと言っておいて、よく他人の批判ができるよねw.

**１３２人目の素数さん** · 2025/12/29(月) 09:56:04.85

https://www.asahi.com/articles/ASTDM3W0YTDMUHBI02KM.html
なんかこの記事を読んでsetaのことを連想した
　自分には自分の信じる数学がある
　あなたたちの数学を押し付けないで
みたいな反知性主義的な言い分を主張するところ

**１３２人目の素数さん** · 2025/12/29(月) 10:04:16.52

>>833
＞「Pは環Rのイデアルであって，P≠R なるものと仮定せよ。
＞　このとき，Pが環Rの素イデアルであるための必要十分条件は，
＞　剰余類環R/Pが整域となることである。」
＞これ素元分解の一意性とは無関係だよ。

ふーん、君は単元が素元でも素元分解の一意性は成立する、といってるわけだ

無関係なんだから

＞つまり素元や素イデアルの定義は素元分解の一意性のためだけに決めている訳じゃない。

「だけ」が卑怯だね　高卒ド素人君

>>719が全て

🚽　ジャー

**１３２人目の素数さん** · 2025/12/29(月) 10:08:29.53

>>841
的外れなのは
「単元が素元でないのは、素元分解の一意性とは無関係」
という君のトンデモ発言かと　

それって
「単元が素元でも、素元分解の一意性は成り立つ」
っていってるのと同じだから

トンデモですね

🚽　ジャー

**１３２人目の素数さん** · 2025/12/29(月) 10:16:25.01

>>853
科学だけでは政策は決まらない

「ウイルスで死のうが何しようが、日常生活を変えたくない」
という考えは科学で否定できるようなものではない

「人命第一だから、政府は非常事態時に人民の行動を完全に統制すべきである」
という考えも科学で肯定できるようなものではない

つまり科学と「人生にとって何が大事」は別問題かと

「生きていくのに科学とか要らねえわ　死んだら死んだで仕方ない」
とう無知性主義もありかもしれん（笑）

🚽　ジャー

**１３２人目の素数さん** · 2025/12/29(月) 10:20:50.44

「二酸化炭素の増大でいかほど地球が温暖化しようが、金儲けのために経済成長したい」
という考えは科学で否定できるようなものではない

「地球温暖化が進めば人類は絶滅するから、経済成長は抑制すべき
　極少数でも人類が生き残れば絶滅しない」
という考えも科学で肯定できるようなものではない

「みんな死んでも、今この瞬間を全力で楽しみたい」
という刹那主義もありかもしれん（笑）

🚽　ジャー

**１３２人目の素数さん** · 2025/12/29(月) 10:33:43.82

>>852
>>721を見て思ったけど、批判してる人は素元を素イデアルから定義する流儀だろうけど、0イデアルが素イデアルかどうかについては分かってるのかね？

**１３２人目の素数さん** · 2025/12/29(月) 10:59:29.07

>>853
有料記事かな？
こんな状況でみんな忙しいからねって、一番の被害者が言ってみるw
正常化したらこんな話で盛り上がろう。

**１３２人目の素数さん** · 2025/12/29(月) 11:09:52.73

>>859
記事は科学についての話で数学については書いてないよ
念のため

**１３２人目の素数さん** · 2025/12/29(月) 11:18:35.34

>>860
そうでしたか。
今はあまり情報が頭に入ってこない、環論しかw

**１３２人目の素数さん** · 2025/12/29(月) 11:46:22.49

>>854
>>>719が全て
いや、>>719は素因数分解についてしか語ってない。
しかし素元や素イデアルは素因数分解のためだけに定義されている訳ではない。その実例を示した。
だから「素元や素イデアルは素因数分解が成り立つように定義した」は的外れ。なぜなら結果的に成り立つんじゃね？と突っ込まれても何も言い返せないから。

**１３２人目の素数さん** · 2025/12/29(月) 11:55:26.72

>>862
誤
素元や素イデアルは素因数分解が成り立つように定義した
正　
素元から単元を除くことや素イデアルが可換環の真部分集合であることは
整数における素因数分解の一意性を考慮した上での定義である

正確に文章を書けないと、数学を正しく学べないよ

🚽　ジャー

**１３２人目の素数さん** · 2025/12/29(月) 11:56:45.22

>>854
>君は単元が素元でも素元分解の一意性は成立する、といってるわけだ
君、>>566が読めんの？

>無関係なんだから
「R/Pが整域⇔Pが素イデアル」と素因数分解がどう関係するのか説明よろ

**１３２人目の素数さん** · 2025/12/29(月) 11:58:18.29

>>863
>素元から単元を除くことや素イデアルが可換環の真部分集合であることは
>整数における素因数分解の一意性を考慮した上での定義である
根拠は？

**１３２人目の素数さん** · 2025/12/29(月) 12:06:11.05

>>855
>的外れなのは
>「単元が素元でないのは、素元分解の一意性とは無関係」
>という君のトンデモ発言かと　
？？？
いつそんな発言した？　レス番号示して
勝手に人の発言捏造しといてトンデモ発言とな？　それこそがトンデモ発言ｗ

**１３２人目の素数さん** · 2025/12/29(月) 12:18:54.71

>>858
>0イデアルが素イデアルかどうか
素イデアルじゃないに決まってんだろｗ
実際環Rが整域でないなら、ある零因子a,b∈Rが存在して ab=0∈{0}∧￢a∈{0}∧￢b∈{0}

**１３２人目の素数さん** · 2025/12/29(月) 12:42:11.25

>>863
仮に単元が素元であるような定義の場合、Rは素イデアルであり、R/R={0}だが、これは整域でない。つまり、「単元を除外したのは「R/Pが整域⇔Pが素イデアル」を成立させるのが目的」とも言えてしまう。
このことは素元や素イデアルを陽に陰に用いるすべての定理についても言えるのだから、そもそもなぜそう定義したかを問うこと自体が無意味なのである。
だから最初から言っている。なぜそう定義したかを考えるのはただの個人の趣味だと。

**１３２人目の素数さん** · 2025/12/29(月) 12:44:17.90

>だから最初から言っている。なぜそう定義したかを考えるのはただの個人の趣味だと。
>>709な

**１３２人目の素数さん** · 2025/12/29(月) 13:10:27.27

そりゃ歴史的経緯からすりゃ当然素因数分解の一意性を意識してのことだろう。しかしそれは歴史的経緯であってそれ以上ではない。

https://ja.wikipedia.org/wiki/%E7%BE%A4_(%E6%95%B0%E5%AD%A6)#%E6%AD%B4%E5%8F%B2
「群の概念が初めてはっきりと取り出されたのは、エヴァリスト・ガロアによる根の置換群を用いた代数方程式の研究だとされている。」
群の公理が代数方程式の研究を経て定められたとしても、群論は代数方程式だけ対象とした理論ではない。だからなぜ群の公理がそう定められたのかを問うても無意味なのである。個人の趣味として考えをめぐらせばいいだけの話。

**１３２人目の素数さん** · 2025/12/29(月) 13:14:54.70

気狂い

**１３２人目の素数さん** · 2025/12/29(月) 13:26:55.28

自己紹介は要らない

**１３２人目の素数さん** · 2025/12/29(月) 14:24:55.23

>>846
期待してるんですね

**１３２人目の素数さん** · 2025/12/29(月) 14:56:45.08

>>870
群は対象が１つで全ての射が同型射であるような特殊な圏である
そして対象の同型射というのがいわば置換なのである

したがって置換されるものが根であろうが体であろうが空間であろうが構わないが
置換ということには意味があるのである

すべてが無意味なわけではない　意味を考えたがらないのは頭が悪い

**１３２人目の素数さん** · 2025/12/29(月) 15:02:13.83

また言ってないこと言ったことにされてて草
君、捏造得意だね　なんで？　卑怯だから？

**１３２人目の素数さん** · 2025/12/29(月) 15:03:34.36

置換ということには意味が無いと言ったレスのレス番号書いて
書けないなら君は卑怯者

**１３２人目の素数さん** · 2025/12/29(月) 15:03:55.71

>>875
>また言ってないこと言ったことにされてて
それはこっちの台詞

>君、捏造得意だね　なんで？　卑怯だから？
君、いつも他人に文句つけてなくない？　なんで？　不遇だから？

**１３２人目の素数さん** · 2025/12/29(月) 15:05:35.96

>>876

870　「なぜ群の公理がそう定められたのかを問うても無意味なのである。」

君　意味嫌いでしょ

**１３２人目の素数さん** · 2025/12/29(月) 15:07:27.47

>>852
君、実数の連続性と同値な命題が多数あること知らんの？
同値なんだからいずれを定義にしてもいいんだよ　いずれかひとつを定義にすれば他は定理　分かる？
君本当に大卒？

**１３２人目の素数さん** · 2025/12/29(月) 15:09:30.18

もちろん、
群の公理を知り、その設定理由を知ったところで、群が分かるわけではない
位相空間の公理を知り、その設定理由を知ったところで、位相空間が分かるわけではない
圏の公理を知り、その設定理由を知ったところで、圏が分かるわけではない

粘着君が勝手に意味を大袈裟に考え、そんなものがないと言って意味を全否定してるだけ

境界性人格障害みたいに、相手を絶対視して、
相手の実際はそうでないと相手を全否定するような
●違いプレイは迷惑だからやめような

🚽　ジャー

**１３２人目の素数さん** · 2025/12/29(月) 15:12:54.41

>>879
＞実数の連続性と同値な命題が多数あること知らんの？
＞同値なんだからいずれを定義にしてもいいんだよ　
＞いずれかひとつを定義にすれば他は定理　分かる？

しかしながら、その心は
「コーシー列が収束列となるような完備化」
である

列をフィルターに置き換えたところでやはり同じこと

**１３２人目の素数さん** · 2025/12/29(月) 15:16:40.69

>>878
>置換ということには意味が無いと言ったレスのレス番号書いて
>書けないなら君は卑怯者
↓
>870　「なぜ群の公理がそう定められたのかを問うても無意味なのである。」

はい、書けなかったので君は卑怯者と確定しました　おめでとー

**１３２人目の素数さん** · 2025/12/29(月) 15:17:53.26

>>877
>君、いつも他人に文句つけてなくない？　なんで？　不遇だから？
人の発言を捏造する卑怯者には文句言うけど？　当然じゃね？

**１３２人目の素数さん** · 2025/12/29(月) 15:20:54.02

>>874
>すべてが無意味なわけではない　意味を考えたがらないのは頭が悪い
これも捏造。
すべてが無意味なんて一言も言ってない。
卑怯者は数学板から出てけよ。

**１３２人目の素数さん** · 2025/12/29(月) 15:21:57.06

>>877
>>また言ってないこと言ったことにされてて
>それはこっちの台詞
レス番号よろ
示せないだろうね　君、卑怯者だから

**１３２人目の素数さん** · 2025/12/29(月) 15:24:20.52

レス番号どころかその中の文章まで具体的に示したよ

「なぜ群の公理がそう定められたのかを問うても無意味なのである。」

無条件でなぜを問うのは無意味だと言い切った　これが全て

あとからそれは例外というのは卑怯者

ということで🚽で流しまーす

ジャー

**１３２人目の素数さん** · 2025/12/29(月) 15:26:14.05

>>880
>群の公理を知り、その設定理由を知ったところで
設定理由をどうやって知るの？　知るための具体的なプロセスを書いてみて

**１３２人目の素数さん** · 2025/12/29(月) 15:27:29.26

>>887
君　●違い？

🚽　ジャー

**１３２人目の素数さん** · 2025/12/29(月) 15:27:45.18

>>880
>粘着君が勝手に意味を大袈裟に考え
と卑怯者が勝手に妄想してる

**１３２人目の素数さん** · 2025/12/29(月) 15:29:01.22

>>880
>境界性人格障害みたいに、相手を絶対視して、
>相手の実際はそうでないと相手を全否定するような
>●違いプレイは迷惑だからやめような

いみふすぎて草
君、日本語不自由？

**１３２人目の素数さん** · 2025/12/29(月) 15:29:46.24

>>881
>しかしながら、その心は
>「コーシー列が収束列となるような完備化」
>である
反論になってなくて草

**１３２人目の素数さん** · 2025/12/29(月) 15:32:10.48

>>886
>あとからそれは例外というのは卑怯者
？？？
いつ「それは例外」と言った？
君、頭だいじょうぶ？　ボコられ過ぎて頭イカレタの？

**１３２人目の素数さん** · 2025/12/29(月) 15:33:42.46

>>888
はい、答えにつまると人格否定
これ卑怯者の常とう手段な

**１３２人目の素数さん** · 2025/12/29(月) 15:40:13.83

>>888
>群の公理を知り、その設定理由を知ったところで、群が分かるわけではない
↑
群の公理の設定理由を知る術が無いならこの主張まったくのナンセンス。
だからその術を質したんだが、答えられないなら「ナンセンスなことを言ってすみませんでした。」と素直に謝ればよいだけなのに、あろうことかこちらを
>君　●違い？
と人格攻撃ｗ

だからおまえは卑怯者と呼ばれる　卑怯者は数学板から去れ

**１３２人目の素数さん** · 2025/12/29(月) 15:45:58.05

「相手を絶対視」ってなに？　いみふすぎｗ
で、いつこちらがその「相手を絶対視」とやらをやったの？　レス番号示して

**１３２人目の素数さん** · 2025/12/29(月) 15:49:00.06

>>867
あなたは既約元の定義と素元は既約元である定理から、素元は0でないと帰結すると書いていたはず。
ただ、素元は既約元というのは整域を前提とした定理のはずで、素元を素イデアルで定義したら整域の条件で素元は0ではなくなるはず。
このあたりがかなりデリケートであるのに、>>721の段階で整域が前提であることに触れず、定義を全然書いていないのは酷いと思う。
整域と素元を素イデアルで定義した段階で素元が0になることは否定されているはずだから、そこで既約元を持ち出して0でないことを帰結させるのはナンセンスではないのか？

>>721で定義していないことが罪すぎるので、他の人から定義を聞かれるのは当たり前だよ。定義は結局書いてもらっていた始末だった気がするけど。

**１３２人目の素数さん** · 2025/12/29(月) 15:53:33.46

>>896
ちょっと待った。
これは怪しいから待ってくれ

**１３２人目の素数さん** · 2025/12/29(月) 16:07:30.16

>>896
そうだね。素元が０でないことは定義だね。訂正します。

で、なんで>>867に対してレスしてるのか分からないけど、>>867には素元なんてまったく書いてないよ？

**１３２人目の素数さん** · 2025/12/29(月) 16:10:22.03

>>896
整域のとき、素元を素イデアルで定義すると0の可能性を排除できないから、きちんと0でないと定義しないといけないんじゃないかの間違い。

**１３２人目の素数さん** · 2025/12/29(月) 16:14:53.25

>>898
そこが最新の貴方だっただけ。
意味はないよ。
私は通信制限食らってるから、今月はあまり書きこめないからよろw

**１３２人目の素数さん** · 2025/12/29(月) 16:17:00.48

>>898
>素元が０でないことは定義だね。訂正します。

ID:twCwiNxL、ついに>>571の誤りを認める

>１が素数でないことは・・・素元や素イデアルの定義から導出される定理であり、

https://www.youtube.com/watch?v=bFx8fQNRjC0

**１３２人目の素数さん** · 2025/12/29(月) 16:18:24.61

ハッタリクソ漏らしキチガイ日記まであと数日w

**１３２人目の素数さん** · 2025/12/29(月) 16:25:47.59

>>901
>ID:twCwiNxL、ついに>>571の誤りを認める
君は日本語読めないの？　じゃあ小学校の国語からやり直し

**１３２人目の素数さん** · 2025/12/29(月) 16:30:01.28

>>901
素元が０でないことは定義と言ったけど、素元が１でないことは定義なんて一言も言ってないんだけど
また捏造かい？　君、捏造好きだね　ずーーーーーーーーーーーっと捏造しっぱなしじゃん

で、>>887の回答まだ？　待ってんだけど

**１３２人目の素数さん** · 2025/12/29(月) 16:30:27.43

李娘2階の掲示板にアカヒの太鼓持ちのコタツ記事貼りまくってるのは本人？
世捨て人を気取ってるくせに俗に塗れてるよね　情けないなぁ　w

**１３２人目の素数さん** · 2025/12/29(月) 16:34:00.56

>で、>>887の回答まだ？　待ってんだけど
捏造ばっかしてる卑怯者だからどうせまたシレっと無かったことにして逃げるんでしょうね
これだから卑怯者は

**１３２人目の素数さん** · 2025/12/29(月) 16:36:05.04

息するように捏造する輩ってどういう精神してんだろうね
精神病院行った方がよくね？　周囲は大迷惑してると思うよ

**１３２人目の素数さん** · 2025/12/29(月) 16:37:25.23

>>895
あのー、最初に問題だったこと解決したよね？
もうやめてくんないかな、邪魔だから。
最初に言ったことは間違いでした、すみませんで終わる話だろ？

**１３２人目の素数さん** · 2025/12/29(月) 16:41:22.66

>>908
解決してないよ？　君でもいいけど>>868に回答してもらえる？

**１３２人目の素数さん** · 2025/12/29(月) 16:43:21.50

>>907
お前の仲間がここにいるか？
邪魔なんだよ。
賛同してもらえなくても良いって言って、頭下げなくて済む道理なんて無いんだけど？

**１３２人目の素数さん** · 2025/12/29(月) 16:43:44.56

>>908
>最初に言ったことは間違いでした、すみませんで終わる話だろ？
間違いという前提が間違い
その前提はどこから湧いて出たんだい？

**１３２人目の素数さん** · 2025/12/29(月) 16:45:48.91

>>910
なに突然発狂してんの？
邪魔ってここはお前専用のスレか？　どこから目線で言ってるんだ？

**１３２人目の素数さん** · 2025/12/29(月) 16:46:44.60

>>909
俺の話は自然数の話で、日本数学会の講演の話もそうじゃなかった？
勝手に拡張されると困るんだよね、それこそ捏造じゃない？

**１３２人目の素数さん** · 2025/12/29(月) 16:49:23.86

>>912
発狂って、日本数学会の講演のpdfが出て議論が集結してるのに、喋ってるあなたの行為そのものだろ？

**１３２人目の素数さん** · 2025/12/29(月) 16:49:51.80

>>913
>勝手に拡張されると困るんだよね
それこそが間違いの本質。
自然数とか整数とかは環論と切り離して考えることはできない。
例えば素数は１を除外、素元は１を除外しない、とかできない。整合している必要がある。

**１３２人目の素数さん** · 2025/12/29(月) 16:49:59.78

>>874
>そして対象の同型射というのがいわば置換なのである
その圏のオブジェクトが集合で射が自分自身への可逆写像（全単射）ならまさに置換だけど
群Gを圏として見る場合はオブジェクトは1点集合ob={p}で射の集合をmor({p},{p})=Gとするよ

**１３２人目の素数さん** · 2025/12/29(月) 16:50:54.12

>>914
ごちゃごちゃ言い訳せずに、>>868に回答してもらえる？

**１３２人目の素数さん** · 2025/12/29(月) 16:51:44.16

>>916
>mor({p},{p})=G
mor(p,p)=Gだった

**１３２人目の素数さん** · 2025/12/29(月) 16:52:25.40

>>914
終結な。
ここはお前のスレでもない、みんなのスレだ。そして、私は大分擁護してもらっていて、お前は一人。
誰が迷惑かけてるのか分かるよな？

**１３２人目の素数さん** · 2025/12/29(月) 16:54:34.97

>>919
なんで逃げるの？
なんか逃げなきゃいけない事情があるん？

**１３２人目の素数さん** · 2025/12/29(月) 16:56:41.33

>>917
だーかーらー、俺は自然数限定で話したろ？
卑怯者はお前だろ。堂々と話すりかえんなよ。
日本数学会の講演資料で駄目だったら、あと何個持って来れば良いの？
他の人には、この作業だけやってもらいたいね。難しい環論をこねくり回す必要なんてどこにもない。

**１３２人目の素数さん** · 2025/12/29(月) 16:59:12.07

>>921
だーかーらー　自然数に限定できないっていってんの　限定するのが間違いなの
卑怯者はお前だろ。堂々と話すりかえんなよ。

**１３２人目の素数さん** · 2025/12/29(月) 16:59:53.06

>>920
俺の主張と日本数学会の講演資料の内容で、一致しない部分を示してほしい。
どう考えてもシンクロしてると思うが？

**１３２人目の素数さん** · 2025/12/29(月) 17:01:11.86

別にBSDYM4u2じゃなくてもいいんだけど

じゃあ誰も答えないならこちらの勝ちってことね　いいよそれでも

**１３２人目の素数さん** · 2025/12/29(月) 17:02:06.70

はい、誰も答えない（逃げた）のでこちらの勝ちってことで

はい、しゅーりょーーー

**１３２人目の素数さん** · 2025/12/29(月) 17:03:39.62

>>922
勝手に拡張すんなよ。
講演資料と俺が一致してるのに、いちゃもんつけられる訳がないじゃん？

**１３２人目の素数さん** · 2025/12/29(月) 17:04:39.82

拡張しちゃダメな理由はすでに述べた
おまえは駄々っ子みたいに拡張するなするなと喚くだけ
おまえの負け

**１３２人目の素数さん** · 2025/12/29(月) 17:05:09.45

逆ｗ　限定しちゃダメな理由ｗ

**１３２人目の素数さん** · 2025/12/29(月) 17:06:52.88

別に資料見たきゃ見てもいいけど、結果として>>868に答えればよいだけ

答えられなかったからおまえの負け

**１３２人目の素数さん** · 2025/12/29(月) 17:08:15.73

>>927
拡張しなくて良いんだよ。
何を言ってんの？
訳わかんないんだけど？
自然数以上に拡張した話をすんなって。

**１３２人目の素数さん** · 2025/12/29(月) 17:09:17.90

おまえは駄々っ子のように喚くだけで拡張しなくてよい理由をひとつも述べられてない
その時点でおまえの負け

**１３２人目の素数さん** · 2025/12/29(月) 17:10:03.45

こちらは限定しちゃダメな理由を述べた
勝敗は明らか

**１３２人目の素数さん** · 2025/12/29(月) 17:11:40.53

>>915
環論でも、可換環 R の元 p が素元であることの定義は
「p は 0 でも単元でもなく、
　R のある元 a と b に対して p が ab を割り切るときにはいつでも、
　p が a を割り切るか p が b を割り切る。」
つまり単元を除外している
１は単元　したがって１は除外されている

残念でした　整合してないのは素人の君だけ

🚽　ジャー

**１３２人目の素数さん** · 2025/12/29(月) 17:14:21.57

>>932
どこにあんの？
今スマホは上手く動かんからな

**１３２人目の素数さん** · 2025/12/29(月) 17:14:25.05

>>933
自分の知ってる定義が世界で唯一と思ってるバカ発見