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(月) 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

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

>>952
まだ認められていない論文の話は知らん。
世界に認めてもらう活動なんじゃないの？
複雑な事情がある例を挙げないでくれる？

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

なんで>>868に答えないんでしょうねえ
異議ありや無しや　たったそれだけのことを
そんなに都合の悪い問いなの？　訳が分かりません

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

>>956
なにをおっしゃるうさぎさん　査読通って掲載されたですよ？
査読が信用できないと？　じゃあなんで日本数学会の講演PDFは信用するの？　ダブスタじゃね？

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

>>953
発狂じゃなくて、勝ち確で喜んでんのw
それだけ自信がみなぎってるんだから、投書くらい簡単だよね？せいぜい頑張って下さいwwwwwwwwwwwwwwwwwwww

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

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

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

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

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

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

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

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

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

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

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

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

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

>>964
信憑性の根拠は？

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

信憑性あるある詐欺かｗ

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

🚽　ジャー

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

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

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

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

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

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

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

🚽　ジャー