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(月) 06:29:05.81

ちなみにZ[i]で
5=(1+2i)(1-2i)=(2+i)(2-i)
となるけど
i×(1+2i)=-(2-i)
なので、単数の違いを無視すれば一意

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

>>752
あの、>>748はどう思いますか？
偉い先生が私と全く同じことを話されているんですがw

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

>>754
＞偽と言ってるんじゃなく、そもそも主張自体が違うと言ってるの。

偽じゃないなら違わない

違う、つまり偽なのは、君

君の降伏で終了

ジャー

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

>>752
ついでに

Rは可換環で，1≠0 なるものとする。

素イデアルの定義
PはRのイデアルとする。次の条件を満たすとき，PはRの素イデアルであるという。
(1) P⊂R∧P≠R である。
(2) a,b∈R のとき，ab∈P ならば，a∈P であるかまたは b∈P が成り立つ。
Rの素イデアル全体のなす集合を SpecR によって表す。

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

>>757
アホすぎわろた

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

>>754
ね〜、>>748のpdfを読んでよ。
証明も忙しそうだけどw

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

>>752
なんだ、君、数学知らんド素人か

この勝負　君の完全敗北

ジャー

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

>>757
>偽じゃないなら違わない

なんで
>素因数分解の一意性が些末なこととは言わないが、もっと遥かに大きな理論の一つの系に過ぎない。
>そのたった一つの系を成り立たせることを目的とした定義という認識は大きな誤解。
と
>「単元を素元から除外しても、それだけで素因数分解が一意的となるわけでない」
が同じ主張だと思った？　アホだから？

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

>>759
あの、もう>>748で終わってると思います。
何と戦ってるんですか？w

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

>>761
どゆこと？
気でも触れた？

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

>>763
そう思うなら黙れば？

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

>>761
勝手に勝利宣言してて草

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

>>761
勝手に勝利宣言して逃亡ｗ
これはまいったｗ

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

>>762
長文書かなくても良いよ、もう>>748で終わったからw
あなた、このままいくと出禁になるよw

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

>>768
この程度で長文てｗ　君現代国語赤点だったの？
それで終わりだと思うならなんで黙らないの？　未練かい？

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

おーい　06TW2XTK
勝手に勝利宣言して逃亡すんなよｗ

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

>>765
偉い先生が言ってるのなら私の勝利。
あなたより偉い先生でしょ？
勝利して逃亡しますwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww

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

>>771
うわあああｗ　セタみたいな台詞で歯浮いたｗ

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

>>769
負けた人がなんか言ってるw
これだけ粘着しても謝れないなんて、人として終わってるwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww

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

>>773
うわあああ　今度は勝手に勝利宣言か

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

>>773
「偉い先生が言ってることは正しい」
君が大学で学んだことがそれなんだ　4年間無駄にしたね　学費も

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

>>772
セタって何？
完全敗北wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww

みんなあなたみたいに暇じゃないのよw

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

暇じゃないと言いつつ粘着が止まらないｗ

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

セタ？
数学板の有名なトンデモだよ　君の言うことが彼にそっくり

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

>>761
逃亡したのかな？
じゃ寝るから起きるまでに回答しといてね～　よろ～

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

>>775
え〜、それじゃあ信じられるのは自分だけってか？
エゴの塊人間wwwwwwwwwwwwwwwww

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

>>762
＞「素因数分解の一意性という大きな理論の一つの系の成立を目的とした定義という認識は大きな誤解。」

１．単元が素元でないのは素因数分解の必要条件の１つである
（素人の君もさすがに認める常識）
２．一方上記だけでは、素因数分解を満たさない、つまり十分条件ではない
（素人の君も認めざるを得ない事実）

したがって、素人の君が誤解してる

>>764
＞どゆこと？

君が「じゃあお返し」といって752で書き、758で補足した素元の定義が
実は741と実質的に同じであることに、君が気づいてない

その理由は・・・君は数学用語の意味を理解できない素人だから

普通、同じ定義をわざわざ繰り返さない
そんなことしたら
「わたし🐎🦌よね　お🐎🦌さんよね」
って白状するのと同じだから

🚽　ジャー

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

>>778
偉い先生が言ったことを否定する人って何？
それがトンデモじゃんwwwwwwwwwwww

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

>>779
起きたときに貴方の居場所なんてないと思うよ？
スレから出て行ってほしいというか、板から出て行ってほしいw

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

>>779
悪い夢見ろよーw

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

>>781
ああ勝手に独善解釈して勝手に勝利宣言してたわけね
実質同じというのは定義から証明される定理ということであって、定義そのものではない。
実際>>752の素元の定義に「単元でない」という条件は無い。単元でないことは定義から導出される定理。初めからそう言っている。

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

>>782
偉い先生は間違えないとでも？
その見識稚拙すぎだよ

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

コンパクト集合の定義について
「その集合内の無限点列が集積点をもつ」と
「その集合の任意の開被覆から有限部分被覆がとれる」は
ある条件下で論理的に同値だが、これを同じとは私もいわない

しかし中身の記述がほぼ同じであれば、そんなものは同じ定義である

Specとかいう言葉だけでうわぁすげぇと驚いて
調子ぶっこいてコピペするのは
アサハカな素人がやること

🚽　ジャー

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

>>785
寝て良いよ、セタもどきさんw
>>748でこちらが大勝利したからwwwwwwwwwwwwwwwwwwwwwwwwwwwwww

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

>>787
>しかし中身の記述がほぼ同じであれば、そんなものは同じ定義である
そんな粗雑な精神だから君は数学を理解できないんだよ

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

>>786
日本数学会の講演会で堂々と間違ったこと言うかね？
人間性が捻じ曲がってるwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww

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

>>790
君、暇じゃないんじゃなかったっけ？　めちゃくちゃ暇みたいだけどｗ

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

>>785
>　752の素元の定義に「単元でない」という条件は無い。

758見た？　君これ読まずにコピペしたろ
「(1) P⊂R∧P≠R である。」

「イデアルPが単元を含むときP＝R」
って、君、証明できる？

これを踏まえて、単元を除くためにP≠Rっていってるんだよ

知らなかった？　じゃ、今覚えてな　高卒ド素人

🚽　ジャー

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

>>789
もう良いよ、根本的な私との争いが終わったんだから。
みんな仕事で忙しいかもしれないから、寝なちゃい。3歳なんだからwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww

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

>>781
>>752の素元の定義に「単元でない」という条件は無い。
単元でないことは定義から導出される定理。
定義と定理を混同するような粗雑な精神の持ち主に数学は無理。

教授「○○を証明しなさい」
学生「それは定義です」
教授「ん？○○は定義のステートメントに書かれてないが？」
学生「実質同じだから定義なんです」
教授「君、落第ね」

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

素人は見かけの違いを重大な違いだと錯覚する

しかしこの件に関しては只の御都合にすぎない

「素元は単元でない」と「素イデアルは環全体ではない」が重大な違いで
前者より後者がエッセンシャルとかいうのは、もう高卒ド素人の勝手な妄想

🚽　ジャー

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

>>791
明日大変なの。
私はよいから、皆の予定は考えような。
これで4歳になれるよwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww

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

口頭試問は正しくやろう

定義を示さないと定理かどうかは言えない

ついでにいうと
単元は素イデアルに含まれないは
「A:単元を含むイデアルは可換環全体と同じ」と
「B:素イデアルは可換環全体ではない・・・なイデアル」から
導かれるので、Bで、実質的に単元を排除してる

Aが証明できないド素人が見た目の違いに幻惑される

🚽　ジャー

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

>>794
興奮して寝られないよね。分かるよ、その気持ちwwwwwwwwwwwwwwwwwwww

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

>>792
こりゃまたずいぶんと初歩的なこと聞くんだね

「イデアルPが単元を含むときP＝R」
eはRの単元とする。e∈Pとする。
単元の定義より1/e∈R
イデアルの定義より(1/e)e=1∈P
イデアルの定義より∀r(r∈R⇒r1=r∈P) だから R⊂P・・・(1)
イデアルの定義よりP⊂R・・・(2)
(1),(2)よりP=R

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

>>799
君、その証明、今、初めて知っただろ？

ひとつお利口さんになったね

🚽　ジャー

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

>>792
だから定義じゃなく定理じゃんｗ
負け惜しみかい？

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

>>800
邪悪な精神の持ち主は他人の頭の中を邪推する

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

>>748
>>797
ありがとう、助かりました。
お二人以外にも助けてもらったかもしれませんが、レスが多すぎて読めませんw
今回は💩を置いてる暇が無かったですが、今後は冷静に行こうと思います。

しかし、凄い洗礼を浴びたな。この板には魔物が潜んでいるw

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

>>801
＞だから定義じゃなく定理じゃん

素人の必死のマウント不発

どうせそんなことだろうとおもってました

🚽　ジャー

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

>>802
邪悪なのは、つまらん違いでマウントとろうとするマウント●違い

🚽　ジャー

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

>>781
素元なり素イデアルなりを使った重要な定理は素元分解の一意性だけ
が君の考えでよい？

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

>>804
否定できてないじゃんｗ

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

>>802
それはあなただろwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww

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

>>805
いや邪悪なのは他人の頭の中を勝手に邪推する君

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

>>808
君、用済みｗ
忙しいんでしょ？　付き合わなくていいよｗ

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

偉い先生の言ってることは正しいもん
とか言っちゃう御仁と話してもしょうがないから

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

06TW2XTK君まだかい？
まだなら寝るけど

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

＞凄い洗礼を浴びたな
＞この板には魔物が潜んでいる

通常運転ですよ

数学の苦手意識をこじらせちゃった人は沢山いるみたいなんでね

私にもそんな時代がありました・・・

🚽　ジャー

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

>>811
じゃあその先生に投書でもすれば？
あなたの講演内容は間違っていますってねwwwwwwwwwwwwwwwwwwwwwww

相手にされないよwwwwwwwwwwwwww

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

>>813
>>806への回答まだ？

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

>>806
＞「素元なり素イデアルなりを使った重要な定理は素元分解の一意性だけ」が君の考えでよい？

それ、それしか知らない君の妄想

🚽　ジャー

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

>>814
君、用済み　って言ったけど言葉通じない？　ばいばい

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

>>816
じゃ具体的に言ってみて

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

反応わりーな
さくっと答えられんの？

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

>>812
仕事かもしれないだろ？
あなたはもう寝なちゃい。
興奮して寝られなければ、子守唄でも歌ってあげようか？
ねんねんころりよ〜wwwwwwwwwwwww

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

別に全部とは言ってないよ　2～3個の例でいいよ

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

>>820
用済み君うるさいよｗ　君相手されてないこと分からない？

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

今日のイタイできごと

「単元は素元でない、は定義でなく定理」
とドヤ顔で主張する素人が
ネット検索のニワカ勉強で知った
素イデアルの定義の中に
「可換環全体でないイデアル」
と書いてあって、
そのあほらしさに膝から崩れ落ちた

🚽　ジャー

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

>>817
あなたが用済みだろ。
負けたんだからwwwwwwwwwwwwwwww

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

>>823
答えられないのね？　素直にそう言いなよ　時間の無駄じゃん

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

今日のイタイできごと

定義と定理が区別できないど素人が数学板でドヤ顔してた

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

>>825
君、僕に可換環論を教えてもらおうなんて・・・時間の無駄だよ（笑）

🚽　ジャー

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

>>822
これだけ荒らしといて、ここに居座るつもりかい？
これを暗に示しているのが分からないかな？
邪悪な精神しか持たないから、邪推しかできないんだね、オモロwwwwwwwwww

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

今日のイタイできごと

何を定義とするかの絶対的記述がないことも知らん素人が
自分が検索して出てきた定義が絶対的な根本だと思い込んで
数学板でドヤ顔で語ってスベリまくった

🚽　ジャー

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

>>826
↑今日のイタイ人ですwwwwwwwwwwww

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

>>826
君、今後絶対にここに来るなよ。
出来れは、板からも出ていくことを検討したまえ、以上。

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

>>829
>>703
>一般には定義と帰結が同値であればどちらを定義にしてもよい。

今日のイタイできごと

他人はバカと思い込む精神病患者に出会ってしまった

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

>>827
素直じゃないね君　分からないなら素直にそう言いなよ

じゃこっちで答え書くよ

例えば

「Pは環Rのイデアルであって，P≠R なるものと仮定せよ。このとき，Pが環Rの素イデアルであるための必要十分条件は，剰余類環R/Pが整域となることである。」

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

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

>>813
正直言って、この板にいられるか不安ですね…。
細々とやっていこう💩

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

>>834
君、居なくていいよ
「偉い先生の言うことは正しいんだもん」とか言っちゃう人はよそ行った方が良い

**１３２人目の素数さん** · 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
的外れなのは
「単元が素元でないのは、素元分解の一意性とは無関係」
という君のトンデモ発言かと　

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

トンデモですね

🚽　ジャー