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

■ このスレッドは過去ログ倉庫に格納されています
1132人目の素数さん
垢版 |
2025/12/17(水) 20:59:24.41ID: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
宇宙際タイヒミューラー理論を提唱、望月新一氏らに賞金10万ドル
同理論の発展に重要な貢献を果たした論文の執筆者に贈られる「IUTinnovator賞」の最初の受賞者として望月氏ら5人が選ばれ

://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]
つづく
793132人目の素数さん
垢版 |
2025/12/29(月) 07:18:20.32ID:QBIsQZ17
>>789
もう良いよ、根本的な私との争いが終わったんだから。
みんな仕事で忙しいかもしれないから、寝なちゃい。3歳なんだからwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
794132人目の素数さん
垢版 |
2025/12/29(月) 07:20:58.70ID:twCwiNxL
>>781
>>752の素元の定義に「単元でない」という条件は無い。
単元でないことは定義から導出される定理。
定義と定理を混同するような粗雑な精神の持ち主に数学は無理。

教授「○○を証明しなさい」
学生「それは定義です」
教授「ん?○○は定義のステートメントに書かれてないが?」
学生「実質同じだから定義なんです」
教授「君、落第ね」
795132人目の素数さん
垢版 |
2025/12/29(月) 07:23:28.90ID:06TW2XTK
素人は見かけの違いを重大な違いだと錯覚する

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

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

🚽 ジャー
796132人目の素数さん
垢版 |
2025/12/29(月) 07:27:38.27ID:QBIsQZ17
>>791
明日大変なの。
私はよいから、皆の予定は考えような。
これで4歳になれるよwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
797132人目の素数さん
垢版 |
2025/12/29(月) 07:29:15.55ID:06TW2XTK
口頭試問は正しくやろう

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

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

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

🚽 ジャー
798132人目の素数さん
垢版 |
2025/12/29(月) 07:34:53.42ID:QBIsQZ17
>>794
興奮して寝られないよね。分かるよ、その気持ちwwwwwwwwwwwwwwwwwwww
799132人目の素数さん
垢版 |
2025/12/29(月) 07:36:36.37ID:twCwiNxL
>>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
800132人目の素数さん
垢版 |
2025/12/29(月) 07:38:29.14ID:06TW2XTK
>>799
君、その証明、今、初めて知っただろ?

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

🚽 ジャー
801132人目の素数さん
垢版 |
2025/12/29(月) 07:39:11.76ID:twCwiNxL
>>792
だから定義じゃなく定理じゃんw
負け惜しみかい?
802132人目の素数さん
垢版 |
2025/12/29(月) 07:40:08.45ID:twCwiNxL
>>800
邪悪な精神の持ち主は他人の頭の中を邪推する
803132人目の素数さん
垢版 |
2025/12/29(月) 07:43:33.75ID:QBIsQZ17
>>748
>>797
ありがとう、助かりました。
お二人以外にも助けてもらったかもしれませんが、レスが多すぎて読めませんw
今回は💩を置いてる暇が無かったですが、今後は冷静に行こうと思います。

しかし、凄い洗礼を浴びたな。この板には魔物が潜んでいるw
804132人目の素数さん
垢版 |
2025/12/29(月) 07:45:10.22ID:06TW2XTK
>>801
>だから定義じゃなく定理じゃん

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

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

🚽 ジャー
805132人目の素数さん
垢版 |
2025/12/29(月) 07:46:33.54ID:06TW2XTK
>>802
邪悪なのは、つまらん違いでマウントとろうとするマウント●違い

🚽 ジャー
806132人目の素数さん
垢版 |
2025/12/29(月) 07:47:45.58ID:twCwiNxL
>>781
素元なり素イデアルなりを使った重要な定理は素元分解の一意性だけ
が君の考えでよい?
807132人目の素数さん
垢版 |
2025/12/29(月) 07:48:23.83ID:twCwiNxL
>>804
否定できてないじゃんw
808132人目の素数さん
垢版 |
2025/12/29(月) 07:50:11.31ID:QBIsQZ17
>>802
それはあなただろwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
809132人目の素数さん
垢版 |
2025/12/29(月) 07:50:57.04ID:twCwiNxL
>>805
いや邪悪なのは他人の頭の中を勝手に邪推する君
810132人目の素数さん
垢版 |
2025/12/29(月) 07:51:51.09ID:twCwiNxL
>>808
君、用済みw
忙しいんでしょ? 付き合わなくていいよw
811132人目の素数さん
垢版 |
2025/12/29(月) 07:53:32.65ID:twCwiNxL
偉い先生の言ってることは正しいもん
とか言っちゃう御仁と話してもしょうがないから
812132人目の素数さん
垢版 |
2025/12/29(月) 07:56:51.73ID:twCwiNxL
06TW2XTK君まだかい?
まだなら寝るけど
813132人目の素数さん
垢版 |
2025/12/29(月) 07:57:08.95ID:06TW2XTK
>凄い洗礼を浴びたな
>この板には魔物が潜んでいる

通常運転ですよ

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

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

🚽 ジャー
814132人目の素数さん
垢版 |
2025/12/29(月) 07:58:04.72ID:QBIsQZ17
>>811
じゃあその先生に投書でもすれば?
あなたの講演内容は間違っていますってねwwwwwwwwwwwwwwwwwwwwwww

相手にされないよwwwwwwwwwwwwww
815132人目の素数さん
垢版 |
2025/12/29(月) 07:58:48.85ID:twCwiNxL
>>813
>>806への回答まだ?
816132人目の素数さん
垢版 |
2025/12/29(月) 07:59:26.64ID:06TW2XTK
>>806
>「素元なり素イデアルなりを使った重要な定理は素元分解の一意性だけ」が君の考えでよい?

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

🚽 ジャー
817132人目の素数さん
垢版 |
2025/12/29(月) 07:59:36.77ID:twCwiNxL
>>814
君、用済み って言ったけど言葉通じない? ばいばい
818132人目の素数さん
垢版 |
2025/12/29(月) 08:00:06.82ID:twCwiNxL
>>816
じゃ具体的に言ってみて
819132人目の素数さん
垢版 |
2025/12/29(月) 08:01:36.98ID:twCwiNxL
反応わりーな
さくっと答えられんの?
820132人目の素数さん
垢版 |
2025/12/29(月) 08:01:48.47ID:QBIsQZ17
>>812
仕事かもしれないだろ?
あなたはもう寝なちゃい。
興奮して寝られなければ、子守唄でも歌ってあげようか?
ねんねんころりよ〜wwwwwwwwwwwww
821132人目の素数さん
垢版 |
2025/12/29(月) 08:02:07.78ID:twCwiNxL
別に全部とは言ってないよ 2〜3個の例でいいよ
822132人目の素数さん
垢版 |
2025/12/29(月) 08:02:54.63ID:twCwiNxL
>>820
用済み君うるさいよw 君相手されてないこと分からない?
823132人目の素数さん
垢版 |
2025/12/29(月) 08:02:56.97ID:06TW2XTK
今日のイタイできごと

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

🚽 ジャー
824132人目の素数さん
垢版 |
2025/12/29(月) 08:03:41.80ID:QBIsQZ17
>>817
あなたが用済みだろ。
負けたんだからwwwwwwwwwwwwwwww
825132人目の素数さん
垢版 |
2025/12/29(月) 08:04:27.24ID:twCwiNxL
>>823
答えられないのね? 素直にそう言いなよ 時間の無駄じゃん
826132人目の素数さん
垢版 |
2025/12/29(月) 08:06:25.83ID:twCwiNxL
今日のイタイできごと

定義と定理が区別できないど素人が数学板でドヤ顔してた
827132人目の素数さん
垢版 |
2025/12/29(月) 08:06:37.12ID:06TW2XTK
>>825
君、僕に可換環論を教えてもらおうなんて・・・時間の無駄だよ(笑)

🚽 ジャー
828132人目の素数さん
垢版 |
2025/12/29(月) 08:07:03.09ID:QBIsQZ17
>>822
これだけ荒らしといて、ここに居座るつもりかい?
これを暗に示しているのが分からないかな?
邪悪な精神しか持たないから、邪推しかできないんだね、オモロwwwwwwwwww
829132人目の素数さん
垢版 |
2025/12/29(月) 08:08:41.13ID:06TW2XTK
今日のイタイできごと

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

🚽 ジャー
830132人目の素数さん
垢版 |
2025/12/29(月) 08:09:31.11ID:QBIsQZ17
>>826
↑今日のイタイ人ですwwwwwwwwwwww
831132人目の素数さん
垢版 |
2025/12/29(月) 08:14:14.07ID:QBIsQZ17
>>826
君、今後絶対にここに来るなよ。
出来れは、板からも出ていくことを検討したまえ、以上。
832132人目の素数さん
垢版 |
2025/12/29(月) 08:18:12.17ID:twCwiNxL
>>829
>>703
>一般には定義と帰結が同値であればどちらを定義にしてもよい。


今日のイタイできごと

他人はバカと思い込む精神病患者に出会ってしまった
833132人目の素数さん
垢版 |
2025/12/29(月) 08:19:10.70ID:twCwiNxL
>>827
素直じゃないね君 分からないなら素直にそう言いなよ

じゃこっちで答え書くよ

例えば

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

これ素元分解の一意性とは無関係だよ。
つまり素元や素イデアルの定義は素元分解の一意性のためだけに決めている訳じゃない。
834132人目の素数さん
垢版 |
2025/12/29(月) 08:19:16.91ID:QBIsQZ17
>>813
正直言って、この板にいられるか不安ですね…。
細々とやっていこう💩
835132人目の素数さん
垢版 |
2025/12/29(月) 08:23:47.74ID:twCwiNxL
>>834
君、居なくていいよ
「偉い先生の言うことは正しいんだもん」とか言っちゃう人はよそ行った方が良い
836132人目の素数さん
垢版 |
2025/12/29(月) 08:26:23.40ID:QBIsQZ17
>>832
それはお前だろwwwwwwwwwwwwwwww

俺はそんなに出来ないが、>>829とは仲間で馬鹿にされたことなんてないぞ。
貴方も仲間を連れてきたらどう?その性格じゃいないだろwwwwwwwwwwwwww
837132人目の素数さん
垢版 |
2025/12/29(月) 08:29:13.99ID:twCwiNxL
君、暇だねえw 今日は特別な日とか見栄張らなくいいのにw
838132人目の素数さん
垢版 |
2025/12/29(月) 08:29:28.17ID:QBIsQZ17
>>835
だから、その先生に投書しろってw
そしたら、1ミリも相手にされないからwwwwwwwwwwwwwwwwwwwwwwwwww

もう寝ろって。そして、二度と来んな。
839132人目の素数さん
垢版 |
2025/12/29(月) 08:33:02.33ID:twCwiNxL
大事な日は明日か。。。

でもいいよ、君に用は無いから ばいば〜い
840132人目の素数さん
垢版 |
2025/12/29(月) 08:37:54.65ID:QBIsQZ17
>>839
バイバイって、この板から引退するバイバイだよな?
俺は居させてもらうからな?
仲が良い人もここに居るんだし。
これだけ荒らしたんだから、今までお疲れ様でしたwwwwwwwwwwwwwwwwwww
841132人目の素数さん
垢版 |
2025/12/29(月) 08:41:23.38ID:twCwiNxL
>>781
>>833に対して素因数分解のことしか言ってない>>781は的外れだと思わん?
842132人目の素数さん
垢版 |
2025/12/29(月) 08:42:00.91ID:QBIsQZ17
>>839
ここに居ても、ヤバイ人が一人いると警戒されるから、肩身が狭いよ?
私はよほど間違ってる人にくらいしか訂正は求めないから、まず疑われないよ。
まあ貴方は今後、身の振り方に気をつけなよ。みんな見てるからね。
843132人目の素数さん
垢版 |
2025/12/29(月) 08:42:20.81ID:twCwiNxL
>>840
どうぞご自由に いちいち居ます宣言しなくていいよ
844132人目の素数さん
垢版 |
2025/12/29(月) 08:42:50.31ID:twCwiNxL
私は君に用無いけどねw
845132人目の素数さん
垢版 |
2025/12/29(月) 08:45:08.58ID:twCwiNxL
06TW2XTK君反応わりーな >>841に答えといてね
846132人目の素数さん
垢版 |
2025/12/29(月) 08:45:39.60ID:onT9kxF6
この一年の動向を見ると
IUTの将来は暗くない
847132人目の素数さん
垢版 |
2025/12/29(月) 08:48:13.02ID:QBIsQZ17
>>829
ヤバイ人に無理にレスしなくても良いですよ。
お前は💩に負けたから、💩未満って言っとけば良いですから。
論破する自信があれば、してもらってもかまいませんが、時間が勿体ないので一応伝えておきます。
848132人目の素数さん
垢版 |
2025/12/29(月) 08:51:21.56ID:QBIsQZ17
>>845
あのなぁ、この板は社会人が使ってると考えといた方が良いぞ?
みんな暇じゃないんだよ、貴方と違ってw
それか、相手にしてもらえてないかのどちらかだから、もうここには来んな。
分かったな?
849132人目の素数さん
垢版 |
2025/12/29(月) 08:53:44.62ID:QBIsQZ17
>>844
荒らしは来んな。
142レスする荒らしは、このスレにはいらないからwwwwwwwwwwwwwwwwwwww
850132人目の素数さん
垢版 |
2025/12/29(月) 09:25:41.94ID:QBIsQZ17
>>717
素元の定義が無茶苦茶w
851132人目の素数さん
垢版 |
2025/12/29(月) 09:34:31.26ID:QBIsQZ17
>>725
定義が>>717で分かってなかったから、十分じゃないじゃんwwwwwwwwwwwww
852132人目の素数さん
垢版 |
2025/12/29(月) 09:51:20.73ID:QBIsQZ17
>>721
定理の帰結って何?
定理から定義が導かれるの?
こんな曖昧なこと言っておいて、よく他人の批判ができるよねw.
853132人目の素数さん
垢版 |
2025/12/29(月) 09:56:04.85ID:mWjHRRRa
https://www.asahi.com/articles/ASTDM3W0YTDMUHBI02KM.html
なんかこの記事を読んでsetaのことを連想した
 自分には自分の信じる数学がある
 あなたたちの数学を押し付けないで
みたいな反知性主義的な言い分を主張するところ
854132人目の素数さん
垢版 |
2025/12/29(月) 10:04:16.52ID:06TW2XTK
>>833
>「Pは環Rのイデアルであって,P≠R なるものと仮定せよ。
> このとき,Pが環Rの素イデアルであるための必要十分条件は,
> 剰余類環R/Pが整域となることである。」
>これ素元分解の一意性とは無関係だよ。

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

無関係なんだから

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

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

>>719が全て

🚽 ジャー
855132人目の素数さん
垢版 |
2025/12/29(月) 10:08:29.53ID:06TW2XTK
>>841
的外れなのは
「単元が素元でないのは、素元分解の一意性とは無関係」
という君のトンデモ発言かと 

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

トンデモですね

🚽 ジャー
856132人目の素数さん
垢版 |
2025/12/29(月) 10:16:25.01ID:06TW2XTK
>>853
科学だけでは政策は決まらない

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

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

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

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

🚽 ジャー
857132人目の素数さん
垢版 |
2025/12/29(月) 10:20:50.44ID:06TW2XTK
「二酸化炭素の増大でいかほど地球が温暖化しようが、金儲けのために経済成長したい」
という考えは科学で否定できるようなものではない

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

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

🚽 ジャー
858132人目の素数さん
垢版 |
2025/12/29(月) 10:33:43.82ID:QBIsQZ17
>>852
>>721を見て思ったけど、批判してる人は素元を素イデアルから定義する流儀だろうけど、0イデアルが素イデアルかどうかについては分かってるのかね?
859132人目の素数さん
垢版 |
2025/12/29(月) 10:59:29.07ID:QBIsQZ17
>>853
有料記事かな?
こんな状況でみんな忙しいからねって、一番の被害者が言ってみるw
正常化したらこんな話で盛り上がろう。
860132人目の素数さん
垢版 |
2025/12/29(月) 11:09:52.73ID:mWjHRRRa
>>859
記事は科学についての話で数学については書いてないよ
念のため
861132人目の素数さん
垢版 |
2025/12/29(月) 11:18:35.34ID:7rjJ19ZI
>>860
そうでしたか。
今はあまり情報が頭に入ってこない、環論しかw
862132人目の素数さん
垢版 |
2025/12/29(月) 11:46:22.49ID:twCwiNxL
>>854
>>>719が全て
いや、>>719は素因数分解についてしか語ってない。
しかし素元や素イデアルは素因数分解のためだけに定義されている訳ではない。その実例を示した。
だから「素元や素イデアルは素因数分解が成り立つように定義した」は的外れ。なぜなら結果的に成り立つんじゃね?と突っ込まれても何も言い返せないから。
863132人目の素数さん
垢版 |
2025/12/29(月) 11:55:26.72ID:06TW2XTK
>>862

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

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

🚽 ジャー
864132人目の素数さん
垢版 |
2025/12/29(月) 11:56:45.22ID:twCwiNxL
>>854
>君は単元が素元でも素元分解の一意性は成立する、といってるわけだ
君、>>566が読めんの?

>無関係なんだから
「R/Pが整域⇔Pが素イデアル」と素因数分解がどう関係するのか説明よろ
865132人目の素数さん
垢版 |
2025/12/29(月) 11:58:18.29ID:twCwiNxL
>>863
>素元から単元を除くことや素イデアルが可換環の真部分集合であることは
>整数における素因数分解の一意性を考慮した上での定義である
根拠は?
866132人目の素数さん
垢版 |
2025/12/29(月) 12:06:11.05ID:twCwiNxL
>>855
>的外れなのは
>「単元が素元でないのは、素元分解の一意性とは無関係」
>という君のトンデモ発言かと 
???
いつそんな発言した? レス番号示して
勝手に人の発言捏造しといてトンデモ発言とな? それこそがトンデモ発言w
867132人目の素数さん
垢版 |
2025/12/29(月) 12:18:54.71ID:twCwiNxL
>>858
>0イデアルが素イデアルかどうか
素イデアルじゃないに決まってんだろw
実際環Rが整域でないなら、ある零因子a,b∈Rが存在して ab=0∈{0}∧¬a∈{0}∧¬b∈{0}
868132人目の素数さん
垢版 |
2025/12/29(月) 12:42:11.25ID:twCwiNxL
>>863
仮に単元が素元であるような定義の場合、Rは素イデアルであり、R/R={0}だが、これは整域でない。つまり、「単元を除外したのは「R/Pが整域⇔Pが素イデアル」を成立させるのが目的」とも言えてしまう。
このことは素元や素イデアルを陽に陰に用いるすべての定理についても言えるのだから、そもそもなぜそう定義したかを問うこと自体が無意味なのである。
だから最初から言っている。なぜそう定義したかを考えるのはただの個人の趣味だと。
869132人目の素数さん
垢版 |
2025/12/29(月) 12:44:17.90ID:twCwiNxL
>だから最初から言っている。なぜそう定義したかを考えるのはただの個人の趣味だと。
>>709
870132人目の素数さん
垢版 |
2025/12/29(月) 13:10:27.27ID:twCwiNxL
そりゃ歴史的経緯からすりゃ当然素因数分解の一意性を意識してのことだろう。しかしそれは歴史的経緯であってそれ以上ではない。

https://ja.wikipedia.org/wiki/%E7%BE%A4_(%E6%95%B0%E5%AD%A6)#%E6%AD%B4%E5%8F%B2
「群の概念が初めてはっきりと取り出されたのは、エヴァリスト・ガロアによる根の置換群を用いた代数方程式の研究だとされている。」
群の公理が代数方程式の研究を経て定められたとしても、群論は代数方程式だけ対象とした理論ではない。だからなぜ群の公理がそう定められたのかを問うても無意味なのである。個人の趣味として考えをめぐらせばいいだけの話。
871132人目の素数さん
垢版 |
2025/12/29(月) 13:14:54.70ID:UvWosIrd
気狂い
872132人目の素数さん
垢版 |
2025/12/29(月) 13:26:55.28ID:twCwiNxL
自己紹介は要らない
873132人目の素数さん
垢版 |
2025/12/29(月) 14:24:55.23ID:GZeAEEMC
>>846
期待してるんですね
874132人目の素数さん
垢版 |
2025/12/29(月) 14:56:45.08ID:06TW2XTK
>>870
群は対象が1つで全ての射が同型射であるような特殊な圏である
そして対象の同型射というのがいわば置換なのである

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

すべてが無意味なわけではない 意味を考えたがらないのは頭が悪い
875132人目の素数さん
垢版 |
2025/12/29(月) 15:02:13.83ID:twCwiNxL
また言ってないこと言ったことにされてて草
君、捏造得意だね なんで? 卑怯だから?
876132人目の素数さん
垢版 |
2025/12/29(月) 15:03:34.36ID:twCwiNxL
置換ということには意味が無いと言ったレスのレス番号書いて
書けないなら君は卑怯者
877132人目の素数さん
垢版 |
2025/12/29(月) 15:03:55.71ID:06TW2XTK
>>875
>また言ってないこと言ったことにされてて
それはこっちの台詞

>君、捏造得意だね なんで? 卑怯だから?
君、いつも他人に文句つけてなくない? なんで? 不遇だから?
878132人目の素数さん
垢版 |
2025/12/29(月) 15:05:35.96ID:06TW2XTK
>>876

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

君 意味嫌いでしょ
879132人目の素数さん
垢版 |
2025/12/29(月) 15:07:27.47ID:twCwiNxL
>>852
君、実数の連続性と同値な命題が多数あること知らんの?
同値なんだからいずれを定義にしてもいいんだよ いずれかひとつを定義にすれば他は定理 分かる?
君本当に大卒?
880132人目の素数さん
垢版 |
2025/12/29(月) 15:09:30.18ID:06TW2XTK
もちろん、
群の公理を知り、その設定理由を知ったところで、群が分かるわけではない
位相空間の公理を知り、その設定理由を知ったところで、位相空間が分かるわけではない
圏の公理を知り、その設定理由を知ったところで、圏が分かるわけではない

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

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

🚽 ジャー
881132人目の素数さん
垢版 |
2025/12/29(月) 15:12:54.41ID:06TW2XTK
>>879
>実数の連続性と同値な命題が多数あること知らんの?
>同値なんだからいずれを定義にしてもいいんだよ 
>いずれかひとつを定義にすれば他は定理 分かる?

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

列をフィルターに置き換えたところでやはり同じこと
882132人目の素数さん
垢版 |
2025/12/29(月) 15:16:40.69ID:twCwiNxL
>>878
>置換ということには意味が無いと言ったレスのレス番号書いて
>書けないなら君は卑怯者

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

はい、書けなかったので君は卑怯者と確定しました おめでとー
883132人目の素数さん
垢版 |
2025/12/29(月) 15:17:53.26ID:twCwiNxL
>>877
>君、いつも他人に文句つけてなくない? なんで? 不遇だから?
人の発言を捏造する卑怯者には文句言うけど? 当然じゃね?
884132人目の素数さん
垢版 |
2025/12/29(月) 15:20:54.02ID:twCwiNxL
>>874
>すべてが無意味なわけではない 意味を考えたがらないのは頭が悪い
これも捏造。
すべてが無意味なんて一言も言ってない。
卑怯者は数学板から出てけよ。
885132人目の素数さん
垢版 |
2025/12/29(月) 15:21:57.06ID:twCwiNxL
>>877
>>また言ってないこと言ったことにされてて
>それはこっちの台詞
レス番号よろ
示せないだろうね 君、卑怯者だから
886132人目の素数さん
垢版 |
2025/12/29(月) 15:24:20.52ID:06TW2XTK
レス番号どころかその中の文章まで具体的に示したよ

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

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

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

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

ジャー
887132人目の素数さん
垢版 |
2025/12/29(月) 15:26:14.05ID:twCwiNxL
>>880
>群の公理を知り、その設定理由を知ったところで
設定理由をどうやって知るの? 知るための具体的なプロセスを書いてみて
888132人目の素数さん
垢版 |
2025/12/29(月) 15:27:29.26ID:06TW2XTK
>>887
君 ●違い?

🚽 ジャー
889132人目の素数さん
垢版 |
2025/12/29(月) 15:27:45.18ID:twCwiNxL
>>880
>粘着君が勝手に意味を大袈裟に考え
と卑怯者が勝手に妄想してる
890132人目の素数さん
垢版 |
2025/12/29(月) 15:29:01.22ID:twCwiNxL
>>880
>境界性人格障害みたいに、相手を絶対視して、
>相手の実際はそうでないと相手を全否定するような
>●違いプレイは迷惑だからやめような

いみふすぎて草
君、日本語不自由?
891132人目の素数さん
垢版 |
2025/12/29(月) 15:29:46.24ID:twCwiNxL
>>881
>しかしながら、その心は
>「コーシー列が収束列となるような完備化」
>である
反論になってなくて草
892132人目の素数さん
垢版 |
2025/12/29(月) 15:32:10.48ID:twCwiNxL
>>886
>あとからそれは例外というのは卑怯者
???
いつ「それは例外」と言った?
君、頭だいじょうぶ? ボコられ過ぎて頭イカレタの?
893132人目の素数さん
垢版 |
2025/12/29(月) 15:33:42.46ID:twCwiNxL
>>888
はい、答えにつまると人格否定
これ卑怯者の常とう手段な
■ このスレッドは過去ログ倉庫に格納されています
5ちゃんねるの広告が気に入らない場合は、こちらをクリックしてください。

ニューススポーツなんでも実況