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(月) 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
自分の知ってる定義が世界で唯一と思ってるバカ発見

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

>>934
>>915

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

>>935
あなたの定義は何？

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

>>933の定義を素イデアルの定義に対応させて読むと

Pが{0}でない素イデアル：pが素元
Pが{0}でない：pが0でない
PがRでない：pが単元でない
a, b ∈R, ab ∈P のとき、a ∈ P または b ∈ P：
a, b ∈Rに対して p が ab を割り切るときにはいつでも、p が a を割り切るか p が b を割り切る。

な、単元を排除してるだろ？　素人の君が読めてないだけ

🚽　ジャー

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

>>937
>752 >758

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

>>938
>>935

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

1を素数から除くのは一意性を成り立たせるためと私は言い、日本数学会の資料もそう言っている。
これにいちゃもんをつけられる人を探してきてほしいよ。今のところあなただけ。
そして日本数学会の資料以外にも、探せば資料はわんさか出てくるんじゃないの？あなたの方がかなり分が悪いと思うけど。

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

>>939
素人君は単元が素元ではないと主張するのに
既約元の定義と「素元が既約元である」を使う必要があると思い込んでるが、実は要らない
「可換環RのイデアルPが単元を含めばRと一致すること」を使えばいい
素イデアルの定義にP≠Rと書いてあるんだから（笑）

素イデアルの定義にP≠Rとあることで、単元は排除される

これ豆な

🚽　ジャー

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

へー日本数学会は正しいんだ
じゃーIUTも正しいの？ RIMS発行の論文誌PRIMSの特別号に掲載されたけど

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

>>940
正直ね、これ以上あなたに時間をかけたくないんだよ。
明日忙しいから準備をしたい。
私がするとしたら、日本数学会以外の資料を集めるくらいだね💩

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

>>942
いいけどそれ定義から帰結される定理ね

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

>>942
>>868に異議があるや無しやの回答もよろ　

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

>>944
誰もあなたの都合を聞いてないし誰もあなたの時間を拘束していない
好きなようにしたらよろしいがな

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

>>945
もうこの人には一意性を成り立たせるために1が素数から除外されている資料をレスするだけで良いよ。
時間が勿体無いから解散

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

逃亡したければご自由に

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

>>949
日本数学会だよ？
どこか分かってんの？
そこにたてつけるって、相当イカれてんじゃん。
皆さん、こんな卑怯者を相手にしてはいけませんよwwwwwwwwwwwwwwwwwww

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

結局誰も>>868に答えられないってことで
じゃ勝ち確で　しょうがないよね　答えられないんだから

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

>>950
発狂しないで　>>943に答えてもらえばそれでいいから

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

ぎゃーぎゃー発狂しないで欲しいんだけど　普通に答えてもらえばそれでよい

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

>>951
あなたが日本数学会に投書して、それがアクセプトされたら負けを認めます。
どうぞ、投書を頑張って下さいwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww

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

>>954
そう思うならあなたがやれば？
それがアクセプトされたら負けを認めます。
どうぞ、投書を頑張って下さいwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww