25/12/29 00:05:35.12 YdKUQGa6.net
>>556
>O-竹腰拡張定理の検証はあとでもできるし、だれか詳しい人に教えて貰えば良いんだよ
査読は大切よな
その拡張定理は知らないけれど正しいと認められてるんでしょ
IUTの場合査読を通っているのに正しいと認められていない
みんな眉唾なので査読過程にまで疑いの目が向けられてしまった
あと ID:/MsEo5qi さんの言ってるのは最先端のことでもなくて
皆が理解していることをどう自分のものにしていくかって営みのことだろうよ
もちろんその拡張定理も常識になってる基本中の基本なら
結果だけ使うんじゃなくて定義から理解してなくちゃね
>>559の人も言うようにその分野の人なら簡単に理解できるらしいし
578:１３２人目の素数さん
25/12/29 00:20:13.81 twCwiNxL.net
つまり、１が素数でないことは素因数分解の一意性を満たすためにそう決めているという訳ではなく、素元や素イデアルの定義から導出される定理であり、
素元や素イデアルは一意分解性を論ずるための存在ではなく（もちろんまったく無関係という訳ではないが）、環論においてより普遍的な存在。
579:１３２人目の素数さん
25/12/29 00:25:05.17 twCwiNxL.net
素因数分解が一意であるのはZが一意分解整域であるからであって1を素数でないと決めたからではない。
580:unko
25/12/29 00:36:14.83 QBIsQZ17.net
>>572
1が素数じゃないのは、定義だと思うんですが…。それに、素数以前に環論があったとは思えません。
あまり暴論を振るわないでほしいです。
あなた、多分この板の人と衝突してるでしょ？
とりあえず、ウンコ撒いときます💩
581:１３２人目の素数さん
25/12/29 00:47:02.03 twCwiNxL.net
あなたのいう以前・以後は歴史の話であって、当然素数や素因数分解は環論よりも古い歴史を持っている。
数列の極限はコーシー列よりも古い歴史を持っている。だからといって、現代において極限とは限りなく近づく値なんて言う人はいない。
私が言ってるのはそういうことであって、歴史の話なんてしていない。
582:１３２人目の素数さん
25/12/29 00:49:14.51 twCwiNxL.net
>あまり暴論を振るわないでほしいです。
それはこっちの台詞
あなたの見解は環論の冒とくである
583:unko
25/12/29 00:56:12.34 QBIsQZ17.net
>>574
とりあえず確実なことは、1が素数でないのは定義から言え、定理なんて関係ないと思います。これは譲りません。
バトルをしたいのなら、私以外の人とやって下さい💩
584:１３２人目の素数さん
25/12/29 00:59:21.99 QBIsQZ17.net
>>575
三角化定理で済むことを、わざわざジョルダン標準形の話まで持ち出してきた人なんですかね？
そうだとしたら、あまり知ったかぶりで書かない方が良いですよ。この板は詳しい人が多いんですから。
585:１３２人目の素数さん
25/12/29 01:13:19.33 YdKUQGa6.net
>>577
牛刀使っても良いじゃない
586:１３２人目の素数さん
25/12/29 01:17:17.19 QBIsQZ17.net
>>578
確かに出来てはいますが、本当に分かってる？って疑いたくなるんですよ。
大学でゼミを経験した人なら、ある程度気をつけるとは思いますよ。
587:１３２人目の素数さん
25/12/29 01:28:24.18 twCwiNxL.net
>>576
URLﾘﾝｸ(ja.wikipedia.org)
「一般には、素数は代数体の整数環の素元として定義される」
昔はともかく現代では素数や素因数分解を環論と切り離して語ることはできません。
1が素数でないことは素数の定義ではなく素元や素イデアルの定義から導出される定理です。これは譲りません。
>>577
妄想の症状があるようですね。
588:１３２人目の素数さん
25/12/29 01:30:31.42 QBIsQZ17.net
>>578
>>429はジョルダンと三角化の話が混同されているから、線形代数の話で揉めているところに丁度良いと、引き合いに出しました。
この板では、自分が分かっていることをしっかりと書けば、批判は受けないはず。多少のケアレスミスは、目を瞑ってあげても良いんじゃないかと思います。
589:１３２人目の素数さん
25/12/29 01:34:39.10 twCwiNxL.net
１が素数か否かを目先の都合で勝手に決めたら環論と整合しなくなります。
私が環論の冒とくと言ったのはそういうことです。
590:unko
25/12/29 01:36:09.45 QBIsQZ17.net
>>580
定義って自分で言ってんじゃん。
さっき定理って言ったよね？
それが暴論って言ってるの💩
591:１３２人目の素数さん
25/12/29 01:37:06.17 QBIsQZ17.net
>>582
難癖つける癖やめような。
だから板が荒れるんだよ💩
592:１３２人目の素数さん
25/12/29 01:38:01.10 QBIsQZ17.net
>>582
単元・素元の話くらいなら知ってるよ。
593:unko
25/12/29 01:42:32.95 QBIsQZ17.net
>>582
自然数がユークリッド整域だからpidであり、UFDになることも知ってる。
言葉尻を取ってマウントを取るのはやめよう💩
594:１３２人目の素数さん
25/12/29 01:42:54.27 twCwiNxL.net
>>583
「素数はZの素元として定義される。」のどこにも「1は素数でない」なんて書かれてません。
難癖つけてるのはあなたです
595:１３２人目の素数さん
25/12/29 01:43:56.60 twCwiNxL.net
>>586
知ってる知ってる連呼してマウント取りに来てるのがあなたですよ 鏡を見てごらんなさい
596:１３２人目の素数さん
25/12/29 01:45:47.48 twCwiNxL.net
言葉尻取る？ いつ言葉尻取った？ なにをどう勘違いした？
597:１３２人目の素数さん
25/12/29 01:48:28.11 QBIsQZ17.net
>>587
定義から言えることね。
これは難癖だよ。
こんなんいちいち批判してたら、誰も貴方と関わらなくなるよ。
598:１３２人目の素数さん
25/12/29 01:48:57.97 twCwiNxL.net
私が一貫して言ってるのは
１が素数か否かを目先の都合で勝手に決めたら環論と整合しなくなる。
昔はともかく現代では素数や素因数分解を環論と切り離して語ることはできない。
ということであって、言葉尻取られたというのは被害妄想でしょう。妄想はやめて頂きたい。
599:１３２人目の素数さん
25/12/29 01:50:01.32 twCwiNxL.net
>>590
定義から言えない定理の例を挙げてもらえますか？
600:１３２人目の素数さん
25/12/29 01:50:05.61 QBIsQZ17.net
>>589
あなたはこの板をどうしたいの？
私物化したいの？
こんな調子じゃ、誰もいなくなるよ？
601:１３２人目の素数さん
25/12/29 01:52:55.83 QBIsQZ17.net
>>591
別に自然数の中だけで素因数分解の一意性を成り立たせようと考えても、1は素数から除外されるよね？
今回は特殊な状況下でも、大丈夫な例なんじゃないの？
602:１３２人目の素数さん
25/12/29 01:54:11.44 QBIsQZ17.net
>>592
これには答えない。
>>594の説明で十分に思えるから。
603:１３２人目の素数さん
25/12/29 01:56:21.11 QBIsQZ17.net
>>592
5chを論破する場として利用するのは辞めたまえ。
純粋に楽しもうとしているユーザーに迷惑だから。
604:１３２人目の素数さん
25/12/29 02:04:14.29 QBIsQZ17.net
>>592
wikiでは、定理は証明された真なる命題とあるけど、「1は素数でない」って証明するまでのことか？
定理は「重要な命題」っていう、主観が混じっているような紹介のされ方も見たことがあるが、「1は素数でない」って重要な命題かね？
605:１３２人目の素数さん
25/12/29 02:06:50.03 twCwiNxL.net
>>594
私が言いたいことは>>591の通り。
あなたがそう思うならそう思っとけばよい話であって、別に私の賛同を得る必要はありません。
606:１３２人目の素数さん
25/12/29 02:08:23.90 twCwiNxL.net
>>596
その言葉
>定義から言えることね
と論破を試みたあなたにそっくりお返しします
607:１３２人目の素数さん
25/12/29 02:10:57.12 QBIsQZ17.net
>>592
URLﾘﾝｸ(ja.wikipedia.org)素数
素数とは、2 以上の自然数で、正の約数が 1 とその数自身のみであるもののことである。
「2以上の自然数」って言ってる時点で、1は素数でないことは自明でしょ。
これを定理とわざわざ言うかね？
608:１３２人目の素数さん
25/12/29 02:11:18.38 twCwiNxL.net
>>597
>「1は素数でない」って証明するまでのことか？
はい。
そんな定義は無い（というかそんなことを勝手に定義しちゃダメ）ので他の定義から証明するしかありません。
609:１３２人目の素数さん
25/12/29 02:12:52.04 twCwiNxL.net
>>600
それは定義でしょうよ。
私にレスするのであれば私が言ってることを理解してから発言してもらえませんか？
610:１３２人目の素数さん
25/12/29 02:14:15.19 twCwiNxL.net
というかどうでもいい。
あなたが思うことをあなたが思っとけばいい話。あなたに賛同してもらおうと思わない。
611:１３２人目の素数さん
25/12/29 02:15:53.57 QBIsQZ17.net
>>598
素因数分解の一意性を成り立たせるために1は素数から除外することに、環論と整合しなくなる要素がどこにあるのか分からない。
すんごい難癖人間に出会ったもんだよw
612:１３２人目の素数さん
25/12/29 02:17:44.18 twCwiNxL.net
そんなこと言ってない
人の発言を捻じ曲げて論破を試みないで頂きたい
何度も言うが、あなたに賛同してもらおうと思わないので、あなたが思うことを思っておいて下さい。
613:１３２人目の素数さん
25/12/29 02:18:58.01 QBIsQZ17.net
>>603
ちょっと言葉があやふやすぎて分からない。
まあ私はこういうのに耐性があるから良いけど、メンタル弱い人はこの板を利用しなくなるから、ほどほどにした方が良いよ。
614:１３２人目の素数さん
25/12/29 02:22:37.55 twCwiNxL.net
あやふやもクソも無い
あなたは散々あなたの考えを発言した
そう考え続けなさいな あなたの考えを変えようという意図はサラサラ無いから
と言ってるまで
615:１３２人目の素数さん
25/12/29 02:23:28.59 twCwiNxL.net
>ほどほどにした方が良いよ
なぜあなたごときが指図を？ あなたは何様？
616:１３２人目の素数さん
25/12/29 02:23:54.27 QBIsQZ17.net
>>605
言葉が曖昧すぎて分からない。
扱っている内容はシロクロつくけど、説明が双方で数学的でないから、めちゃくちゃになる。
それは細かすぎる話をするから変になるんだよ。
このレベルの細かい話は専門家としてくれ。
5chのスレですべきレベルを超えていると思うから。
617:１３２人目の素数さん
25/12/29 02:25:57.20 QBIsQZ17.net
>>608
細かすぎる難癖つけられたら、誰だってそう思うよ。
早い段階で引き下がらないから、こんな感じになるんでしょ？
今後は明らかにおかしな議論をしている人の訂正でもしてくれ。
618:１３２人目の素数さん
25/12/29 02:28:23.20 QBIsQZ17.net
>>608
難癖つけてきたあなたごときが何様なんだよ？
今後もこういう絡み方を続けるのなら、絶対に同じようなことが起きるだろうから、忠告してるの。
619:１３２人目の素数さん
25/12/29 02:30:09.67 twCwiNxL.net
「１を素数から除外すると環論と整合しなくなる」
なんて一言も言ってない
言ってないことを言ったかの如く扱うことに強烈な悪意を感じる
そんな人に私の考えに賛同してもらおうなんてまったく思わない 勝手に自分の考えに凝り固まってればよろしい
620:１３２人目の素数さん
25/12/29 02:30:46.40 twCwiNxL.net
>忠告してるの
おまえごときがどこから目線だよ
621:１３２人目の素数さん
25/12/29 02:32:05.81 twCwiNxL.net
>細かすぎる難癖つけられたら
細かい話なんて言ってない
そこから捻じ曲げてる 悪意の塊
622:１３２人目の素数さん
25/12/29 02:33:22.52 twCwiNxL.net
>早い段階で引き下がらないから
何をどう勘違いしたらこんな言葉が出てくるのやら
623:１３２人目の素数さん
25/12/29 02:33:39.16 twCwiNxL.net
呆れて物も言えない 言ってるけどｗ
624:１３２人目の素数さん
25/12/29 02:35:04.33 twCwiNxL.net
>早い段階で引き下がらないから
それがおまえ
625:１３２人目の素数さん
25/12/29 02:37:33.54 twCwiNxL.net
こちらの言いたいことは>>591で言ったので
あとはおまえがどう思おうとおまえの自由 勝手にしな
626:１３２人目の素数さん
25/12/29 02:37:40.47 QBIsQZ17.net
>>612
１が素数か否かを目先の都合で勝手に決めたら環論と整合しなくなる。
昔はともかく現代では素数や素因数分解を環論と切り離して語ることはできない。
この後半の内容は、絡まれたから無理矢理考えたものであるから無視する。そもそも絡まれなかったら、歴史の話はしていないから。
前半は、私が目先の都合で勝手に決めている書き込みをコピペしてほしい。それができないのなら、謝ってほしいとは言わないが、一切反論してほしくない。
それだけ💩
627:１３２人目の素数さん
25/12/29 02:39:09.02 QBIsQZ17.net
コピペできないのなら、黙って引き下がってね。
言葉が悪くなりすぎだよw
628:１３２人目の素数さん
25/12/29 02:40:41.99 twCwiNxL.net
ばかかおまえは
素因数分解が一意になるように１を素数にしない
と言ってるだろ
629:１３２人目の素数さん
25/12/29 02:41:29.56 twCwiNxL.net
それが目先だと言ってるの
ワカランならレス返してくんなよバカ
630:１３２人目の素数さん
25/12/29 02:45:24.48 QBIsQZ17.net
>>621
これで整合性が取れなくなるのかい？
631:１３２人目の素数さん
25/12/29 02:46:20.39 twCwiNxL.net
だからｗ
おまえこちらが言ってることひとつも理解してないじゃん
悪意をもって意図的にか知らんが
632:１３２人目の素数さん
25/12/29 02:47:18.10 twCwiNxL.net
だからもういいって
おまえが思ってることをそのまま思っとけよ おまえに賛同してもらおうと思ってないって言っとるやん 言葉ワカラン？
633:１３２人目の素数さん
25/12/29 02:49:01.16 QBIsQZ17.net
>>624
他の人で分かる人がいたら、教えてほしい。
ちょっと私には難しすぎるから。
634:１３２人目の素数さん
25/12/29 02:49:57.10 QBIsQZ17.net
いや、やっぱり関わらない方が良いね。
こじれるだけだから。
635:１３２人目の素数さん
25/12/29 02:52:27.38 QBIsQZ17.net
>>625
難癖つけるとこうなるから。
その癖は直した方が絶対良い。
これも賛同して貰おうとは思わないから。
636:１３２人目の素数さん
25/12/29 03:01:32.83 twCwiNxL.net
難癖付けてるのが自分ってことも分らんとは 頭弱いね君
637:１３２人目の素数さん
25/12/29 03:02:31.99 twCwiNxL.net
>その癖は直した方が絶対良い。
だからどこから目線だよｗ
638:１３２人目の素数さん
25/12/29 03:03:08.78 twCwiNxL.net
会話が通じないから会話する気にならん
639:１３２人目の素数さん
25/12/29 03:05:03.36 twCwiNxL.net
こちらの発言を思いっきり曲解してくるから会話にならん
640:１３２人目の素数さん
25/12/29 03:06:22.91 twCwiNxL.net
マウント取りたくて論破する目的で曲解するんだろうね 悪意の塊 会話が成立せん
641:１３２人目の素数さん
25/12/29 03:07:11.76 QBIsQZ17.net
>>571
これって厳密なことを言ってるようには思えないんだよ。
642:１３２人目の素数さん
25/12/29 03:13:51.89 QBIsQZ17.net
実数の公理とかはたくさんあるけど、どれかを公理として採用すれば、他のは定理となる。（杉浦先生の解析入門では、ワイエルシュトラスの上限公理を公理としている）
こういう定理・命題・定義・公理の話を5chで深くすると、争いになるだろうから辞めてほしい。
定義の仕方が複数あるものも、存在するだろうから。
643:１３２人目の素数さん
25/12/29 03:15:20.07 QBIsQZ17.net
>>633
あなたが先にマウント取ったんだろw
私は余程おかしなことを言っていなければ、変なちょっかいはかけないよ。
644:１３２人目の素数さん
25/12/29 03:17:40.46 twCwiNxL.net
よほどおかしなこと言ってる自覚が無いんだね
645:１３２人目の素数さん
25/12/29 03:18:31.23 twCwiNxL.net
素因数分解の一意性を成立させるために１は素数から除く
↑
よほどおかしなこと
646:１３２人目の素数さん
25/12/29 03:20:24.93 QBIsQZ17.net
>>637
まあ、難癖つけたらこうなるって分かったから、良い勉強になったじゃんw
647:１３２人目の素数さん
25/12/29 03:21:33.62 QBIsQZ17.net
>>638
整合性が取れなかったらね。
取れてんじゃんw
648:１３２人目の素数さん
25/12/29 03:23:03.77 twCwiNxL.net
素因数分解の一意性が些末なこととは言わないが、もっと遥かに大きな理論の一つの系に過ぎない。
そのたった一つの系を成り立たせることを目的とした定義という認識は大きな誤解。
649:１３２人目の素数さん
25/12/29 03:24:13.43 twCwiNxL.net
>>640
まだ分かってないｗ
だからいいって。おまえに分かってもらおうと思ってないから。
650:１３２人目の素数さん
25/12/29 03:26:29.19 QBIsQZ17.net
>>638
これに噛みつけるって、普段からいろんな人を批判しまくってるんだろうね。
無理だよ、こんな人と関わるのはw
651:１３２人目の素数さん
25/12/29 03:26:54.19 twCwiNxL.net
>>639
自分が難癖つけてる自覚が無いんだね
652:１３２人目の素数さん
25/12/29 03:28:16.69 twCwiNxL.net
>>643
君、人格攻撃大好きだね
よほど。。。いいやｗ
653:１３２人目の素数さん
25/12/29 03:30:52.01 QBIsQZ17.net
>>638
まず、2以上の自然でって言われなら、なんで？って普通思うよ。
これで1を素数に入れると、無限に分解できてしまうことになるから、やめておこうという考え方は自然だと思うよ。
そんなに批判することかね？
654:１３２人目の素数さん
25/12/29 03:31:41.15 QBIsQZ17.net
>>645
先に絡んどいて、そりゃないでしょw
655:１３２人目の素数さん
25/12/29 03:34:47.50 twCwiNxL.net
>>646
>>641
656:１３２人目の素数さん
25/12/29 03:34:57.96 QBIsQZ17.net
>>645
「人を呪わば穴二つ」という格言がある。
批判する前に、反論されるだろうという覚悟のもと、今後は批判すると良い。
このレベルで細かいことを言われると、私は何も話せなくなってしまう。それはあなたも同様ということ。
657:１３２人目の素数さん
25/12/29 03:35:51.31 twCwiNxL.net
まあ環論勉強してくださいとしか言い様が無いね
分からない人には分からない なにを言っても
658:１３２人目の素数さん
25/12/29 03:36:22.07 twCwiNxL.net
細かくねーよバカｗ
659:１３２人目の素数さん
25/12/29 03:37:57.58 QBIsQZ17.net
>>650
さっき話した知識レベルで十分だと思われる。
660:１３２人目の素数さん
25/12/29 03:39:19.07 QBIsQZ17.net
>>651
先に批判しておいて、反論されたら暴言か…。
呆れるよ、私はそんなに汚い言葉は吐いてないぞw
661:１３２人目の素数さん
25/12/29 03:40:06.98 twCwiNxL.net
>>600
「一般には」と書かれている以上、そっちが優先するだろ
その一般論からの帰結が
「素数（そすう、英: prime あるいは prime number）とは、2 以上の自然数で、正の約数が 1 とその数自身のみであるもののことである。」
だろ
君の読み方がおかしいんだよ
662:１３２人目の素数さん
25/12/29 03:41:16.53 twCwiNxL.net
分ったかい？ いいかげん絡んでこないで
663:１３２人目の素数さん
25/12/29 03:48:16.21 QBIsQZ17.net
>>654
文系で1が素数だと勘違いしている人は多い。
2以上は何故って聞かれたら、1を含めると無限に分解できるから都合が悪い、と答えて何が悪いのか分からない。
これ以上の議論は無駄だからやめよう。
堂々巡りの会話にしかなっていないから。
664:１３２人目の素数さん
25/12/29 03:50:49.84 twCwiNxL.net
文系への説明の仕方の話なんてしてないｗ
堂々巡りの原因は君が勝手に違う話をしてただけ
665:１３２人目の素数さん
25/12/29 03:54:54.4
666:9 ID:QBIsQZ17.net
667:１３２人目の素数さん
25/12/29 03:56:24.55 twCwiNxL.net
数学板なら>>566で終わり
そもそも文系なんて数学板なんて来ないんだからｗ
668:１３２人目の素数さん
25/12/29 03:56:54.61 QBIsQZ17.net
>>657
整合性を取るために素数かどうか迷うような1を、素因数分解の一意性を考慮して除く。
トンデモな話かね、これ？
669:１３２人目の素数さん
25/12/29 04:00:42.38 twCwiNxL.net
>>658
なら最初から文系への説明の仕方としてって言っとけ
後だしじゃんけんはやめてもらえますか？
670:１３２人目の素数さん
25/12/29 04:02:48.90 twCwiNxL.net
>>660
>>659
ここ、いつから文系に教えるスレになったの？
671:１３２人目の素数さん
25/12/29 04:05:53.04 twCwiNxL.net
>>660
数学板ではトンデモだね
文系に言い含めるならそれでいいけど
672:１３２人目の素数さん
25/12/29 04:06:50.70 QBIsQZ17.net
>>661
素数が初めて出てくるのはいつか知らないが、中学生あたりじゃない？そこの定義をピックアップする立場もあるでしょ。
何かと知識を披露したい人はすぐに拡張した話をするよね？それを私はあまり好まない。
私が環論をかじっているのは、やり取りで分かったろう？知っていながらも、レベルを下げて話すのが私のスタンスだ。そのウンチクを垂れたい性格は直すべきだ💩
673:１３２人目の素数さん
25/12/29 04:07:07.27 twCwiNxL.net
あくまで文系に言い含める方便としてね
数学板で真顔で言ったらトンデモ
674:１３２人目の素数さん
25/12/29 04:08:12.51 twCwiNxL.net
>>664
ここって大学数学を論じる場じゃないんだｗ
いつから中学数学を論じる場になったん？ｗ
675:１３２人目の素数さん
25/12/29 04:09:50.79 QBIsQZ17.net
>>645
他人の性格を批判する前に、知識を披露してマウントを取る自分の性格を直したらどうだい？
676:１３２人目の素数さん
25/12/29 04:12:10.70 QBIsQZ17.net
>>666
この板で自己顕示欲が強いとか、承認欲求が強いって批判を見たことがある。
あなたもそれに含まれるよ、きっとw
677:１３２人目の素数さん
25/12/29 04:14:59.52 twCwiNxL.net
>>664
君の好みは聞いてない
知識を披露してるんじゃなく大学数学としての解答を書いている。
大学の試験で
0.999・・・は先の桁にいくほどいくらでも1に近くなるから全体としては1に等しい
って解答したら落第だろ？ｗ
678:１３２人目の素数さん
25/12/29 04:16:03.66 twCwiNxL.net
>>667
>知識を披露してマウントを取る
その被害妄想を直したらどうだい？
679:１３２人目の素数さん
25/12/29 04:16:19.85 QBIsQZ17.net
素元や単元のことも知っていながら発言しているんだから、別に良いだろう。
背景を知りながら話しているのだとわかれば、常人なら引き下がるよ。
つまり、あなたは異常だよ。
680:１３２人目の素数さん
25/12/29 04:16:50.53 twCwiNxL.net
>>668
それおまえｗ
681:１３２人目の素数さん
25/12/29 04:17:50.55 twCwiNxL.net
>>671
おまえが何を知ってるかなんて知らんわ 自意識過剰かよ
682:１３２人目の素数さん
25/12/29 04:18:06.31 QBIsQZ17.net
>>670
ハラスメントは被害者基準でかんがえるよね？
あなたのはアカハラに似た、知識ハラスメントだよw.
683:１３２人目の素数さん
25/12/29 04:19:28.77 QBIsQZ17.net
>>673
話してる内に環論の話が出てきただろ？
そこで大人しく引き下がれば良いんだよ。
684:１３２人目の素数さん
25/12/29 04:20:09.65 twCwiNxL.net
屁理屈で自己弁護してないで>>662に答えてみなよ
685:１３２人目の素数さん
25/12/29 04:22:01.00 twCwiNxL.net
>>674
あんた被害妄想激しいね
数学板で大学数学の話をしたらなんで知識ハラスメントになるの？
686:１３２人目の素数さん
25/12/29 04:22:07.30 QBIsQZ17.net
>>672
私のは、話の流れに沿った意見だったと思うよ。
あなたはただ絡んできて、知識をひけらかしてマウントを取ってきた。
ここにものすごい差が存在する。
687:１３２人目の素数さん
25/12/29 04:22:44.77 twCwiNxL.net
>>675
どこまでも自分の都合を優先させようとする君の性格は異常だよ
688:１３２人目の素数さん
25/12/29 04:25:02.58 twCwiNxL.net
話の流れに沿おうが沿わなかろうがダメなも
689:のはダメ 大学数学としては君の解答は >0.999・・・は先の桁にいくほどいくらでも1に近くなるから全体としては1に等しい レベル
690:１３２人目の素数さん
25/12/29 04:25:33.60 QBIsQZ17.net
>>676
文系も習う用語を文系の目線で話して何が悪いの？
そして、私の知識は一般の理系を超え、数学科でも代数寄りの知識まで網羅できている。
これで噛みつかれる理由が分からない。
691:１３２人目の素数さん
25/12/29 04:26:21.25 twCwiNxL.net
>あなたはただ絡んできて、知識をひけらかしてマウントを取ってきた
それが被害妄想だと言ってるの
692:１３２人目の素数さん
25/12/29 04:27:51.92 twCwiNxL.net
>>681
だからｗ
>>662に答えてくれって言ってるんだけど君完スルーじゃん
693:１３２人目の素数さん
25/12/29 04:28:57.30 twCwiNxL.net
文系に教えると言って正当化しようとしてるが、あくまで方便だよ
嘘も方便ってことわざあるだろ？
694:１３２人目の素数さん
25/12/29 04:30:00.84 QBIsQZ17.net
>>683
俺は答えになっていると感じる。
この考えをあなたに賛同して貰おうとは思わないw
695:１３２人目の素数さん
25/12/29 04:31:10.33 twCwiNxL.net
文系に素イデアルがーーー言うても？？？やろ？
だからとりあえず納得してもらうための方便
大学数学では正当化されない方便
696:１３２人目の素数さん
25/12/29 04:36:19.35 06TW2XTK.net
>>556
>おれは 人から指図されるのが嫌いなんだよ
それ、三歳児の言い草
>ｺﾃつけたら、うんたらかんたらって、おっさんセンス悪いな
ｺﾃつけて自己顕示するのが昭和のおっさんのセンス
>5chなんて、全体が過疎っているよ
じゃ、Xに書けばいいんじゃね？
>ｺﾃつけない方が議論進むなら それもありだと思うね
トンデモはｺﾃつけないほうが恥を引きずらなくていいでしょ、っていう助言ですけど何か
697:１３２人目の素数さん
25/12/29 04:37:28.79 QBIsQZ17.net
>>686
とにかく、整合性が取れているのなら、噛みつかれる筋合いは無いということ。
なんで環論を知っている人にここまで噛みつけるのかが不思議。
スレタイと全く違う方向にいくのが、そろそろ嫌なんですけど。
698:１３２人目の素数さん
25/12/29 04:40:31.02 twCwiNxL.net
>>688
被害妄想激しいね
噛みついてるのおまえ
「大学数学としてはその通り」のひとことがなぜ言えない？
699:１３２人目の素数さん
25/12/29 04:43:01.97 QBIsQZ17.net
>>686
正直、そのレベルでいちゃもんつけてたら、誰もしゃべれなくなるのが分からん？
名誉教授も住人らしいけど、そのレベルの人しか話せなかったら、過疎りすぎて板のスレがほとんど落ちることになるから、やめておこうね。
700:１３２人目の素数さん
25/12/29 04:44:30.63 06TW2XTK.net
>>556
>ある時点で理解できていなくても、何日か何週間か何ヶ月か何年か後に理解できているかもしれない。それで良いんだろ？
理解してから書きなよ それじゃいかんのかい？
>そもそも、他人がさ おれが何を理解できていないとか いるとか エスパー気取りというか 妄想癖だな。 アホでしょ
そもそも自分が理解できないうちから書くとか天才気取りというか誇大妄想 ●違いでしょ
>例えばさ、ある数学者が O-竹腰拡張定理を見て 自分の研究に取り入れたら 論文が一つ書けるとわかったとするよ
その発言が数学分かってない素人の発想
>しかし、その人は 定理の証明までは詳しく検証していないが まあ査読論文だし 正しそうだとするよね
>まず優先でやるべきことは、O-竹腰拡張定理の検証ではなく、それを取り込んだ自分の論文の執筆だろ
その発言も数学分かってない素人の発想
検証じゃなく理解 理解なくして論文書く馬鹿はいないよ
>O-竹腰拡張定理の検証はあとでもできるし、だれか詳しい人に教えて貰えば良いんだよ
教えてもらって理解してから論文書くけどね
君、頭オカシイよ 名声に脳ミソ毒されてる？
>まあ、世間とは そういうものだろうさ
君 数学板に書くのやめて、自分を見つめ直したほうがいいよ
何のために生きてるの？ 世間に対して威張るため？
虚しくない？
701:１３２人目の素数さん
25/12/29 04:45:18.35 twCwiNxL.net
整合性が取れてるからいいってもんじゃない
素因数分解の一意性の都合で決めてよいものじゃない それは環論に対する冒とく
702:１３２人目の素数さん
25/12/29 04:45:28.50 QBIsQZ17.net
>>689
整合性が取れていなかったら私も素直に従うが、取れているんだから批判の意味が分からない。
支配欲の塊なんだねw
703:１３２人目の素数さん
25/12/29 04:46:06.22 twCwiNxL.net
>>690
だからなんでおまえが仕切るんだってｗ
おまえ誰よｗ
704:１３２人目の素数さん
25/12/29 04:47:06.01 twCwiNxL.net
>>693
おまえが勝手に冒とくしとけばよいだけ
支配する気なんてさらさら無い
705:１３２人目の素数さん
25/12/29 04:49:05.39 QBIsQZ17.net
>>692
1が素数かどうかは理系でも悩むと思うぞ。
そこで1を入れると一意性が崩れるって言って何が悪いんだよ。
このレベルが難癖じゃなかったら、もう難癖なんて言葉は要らないよw
706:１３２人目の素数さん
25/12/29 04:50:20.76 QBIsQZ17.net
>>695
お前が勝手に支配しとけばよいだけ
冒とくする気なんてさらさら無い
707:１３２人目の素数さん
25/12/29 04:52:21.71 QBIsQZ17.net
>>695
なあ、あなたこの板で色んな人と喧嘩になってない？
正直に言ってごらん。
708:１３２人目の素数さん
25/12/29 04:52:34.13 twCwiNxL.net
>>696
何が悪いか？ 定義と帰結があべこべになってるのが悪い
難癖はまったくの言いがかり
709:１３２人目の素数さん
25/12/29 04:53:22.01 twCwiNxL.net
>>698
それおまえだろｗ
正直に言ってごらん。
710:１３２人目の素数さん
25/12/29 04:54:53.63 06TW2XTK.net
>>560
＞定理を 使ってから理解するか使う前に理解するか
＞ケースバイケース どっちもありだし
理解せずに使うとかないよ 意味ないし
理解のためにやってるのに、理解すてて使うとか頭オカシイ
＞分らないときに、聞ける友達をつくっておくのもあり
そんなのは当然 君は友達を切り捨ててる それはなしだね
＞グロタンディークが、ジャン＝ピエール・セールに聞きまくって
＞いろいろカンニングしたのは、公然のひみつだ
君が、ここの人のいうことに耳をふさいで
トンデモ発言に固執したのも、公然の秘密
だからいってるでしょ
ｺﾃつけて大恥かきつづけるなんて愚の愚だって
君は他人に指図されるのはイヤだと三歳児みたいな駄々こねるけど
他人の助言を無視した結果が、大学１年レベルの常識すら踏み外したトンデモ発言で
代数・解析・集合論のスリーアウトでしょ
"君の実数論、線形空間論の知識は実際にはゼロだった。
僕自身の実数論、線形空間論の知識は少しましだったが、大したことはなかった。
しかし、それを用いて彼を助けようとした。だが...問題にならない発言が多過ぎた"
これ、僕の感想
君はグロタンディークではないし、僕はセールではないけどね（笑）
ジャー
711:１３２人目の素数さん
25/12/29 04:55:26.90 QBIsQZ17.net
>>700
なってないわ。
712:１３２人目の素数さん
25/12/29 04:57:15.14 twCwiNxL.net
一般には定義と帰結が同値であればどちらを定義にしてもよい。
しかし素数の定義は環論（したがって大学数学）では一通りしかない。
数学板は大学数学を語る場だから大学数学を語ったまで。
それに対して難癖つけてるのはあなた。
713:１３２人目の素数さん
25/12/29 04:59:19.83 twCwiNxL.net
>>702
いま現に喧嘩売ってるやん
714:１３２人目の素数さん
25/12/29 05:01:53.11 06TW2XTK.net
>>570
＞言ってるのは皆が理解していることをどう自分のものにしていくかって営みだろうよ
でも彼はその営みにことごとく失敗してる
大学１年の初歩レベルで
線形代数・微分積分・集合論の三部門全部でアウト
まず、論理がわかってないからそういうことになる
715:１３２人目の素数さん
25/12/29 05:02:31.60 QBIsQZ17.net
>>699
じゃあ、なんで素元をあんな定義にしたのかあなたは分かるのか？
716:１３２人目の素数さん
25/12/29 05:03:49.74 QBIsQZ17.net
>>704
あなたがふっかけてきたんだろw
717:１３２人目の素数さん
25/12/29 05:05:35.72 QBIsQZ17.net
>>699
素元の定義がなぜあんな風に決められたか解っているのなら、批判を受け止めよう。
718:１３２人目の素数さん
25/12/29 05:06:43.91 twCwiNxL.net
>>706
そう定義した理由をどう解釈するかなんて個人の趣味の問題やろ
おまえが解釈したいように解釈すればいいだけの話
719:１３２人目の素数さん
25/12/29 05:07:32.55 06TW2XTK.net
>>571
＞１が素数でないことは素元や素イデアルの定義から導出される定理
１が素元であるのは、１が単元であって、
素元とは０でも単元でもないものと規定されてるからで
定理とかいう以前のことかと
720:１３２人目の素数さん
25/12/29 05:08:45.93 twCwiNxL.net
>>707
大学数学としての解答を書いたらなんで喧嘩ふっかけたことになるの？
721:１３２人目の素数さん
25/12/29 05:08:54.90 06TW2XTK.net
>>572
＞素因数分解が一意であるのはZが一意分解整域であるからであって
＞1を素数でないと決めたからではない
それはそうだね
722:１３２人目の素数さん
25/12/29 05:09:11.86 twCwiNxL.net
おまえが勝手に知識マウントとられたと被害妄想しただけやん
723:１３２人目の素数さん
25/12/29 05:11:21.74 QBIsQZ17.net
>>704
素元に関する重要な定理で思いつくのが分解の一意性だと思う。
それを考慮して定義が考えられた可能性はあると思う。
そして、貴方が素元の定義のでき方の歴史を知らないのなら、私に堂々と噛みつける権利はないと思うぞ。
724:１３２人目の素数さん
25/12/29 05:11:42.39 06TW2XTK.net
>>577
＞三角化定理で済むことを、わざわざジョルダン標準形の話まで持ち出してきた人
それボク 別にもちだしたわけじゃないし 君のいうことがもっともだと認めてるよ
単に、ジョルダン細胞で固有値が０の場合で、
ランクが０でない奴あるでしょって例示のつもりだった
ま、いいわけだけどね（笑）
ジャー
725:１３２人目の素数さん
25/12/29 05:15:24.29 06TW2XTK.net
>>579
（０でない固有値の数＝階数、とは言えないことの説明について）
＞大学でゼミを経験した人なら、ある程度気をつけるとは思いますよ。
それはごもっとも
まあ、ここはゼミでないし、なんかしらんけどジョルダン分解とかだけ知ってる
ヘンな勉強法してる人むけにわかりやすい例を提示するヘンな対応ではあった
ゼミだったらそういう言い方は絶対しない 当然じゃん
ジャー
726:１３２人目の素数さん
25/12/29 05:16:59.97 twCwiNxL.net
>>710
>素元とは０でも単元でもないものと規定されてるからで
流儀の違いかもしれないが、
素元の定義、既約元の定義、素元は既約元であるという定理があって、素元とは０でも単元でもないなんていう規定は無い。
727:１３２人目の素数さん
25/12/29 05:20:54.75 twCwiNxL.net
>>714
>素元に関する重要な定理で思いつくのが分解の一意性だと思う。
だからそのことを言ってるんだよ
素元とか素イデアルはなにも一意分解のためだけにあるのではなく、環論においてもっと基本的で広範囲に使われる概念だろ
728:１３２人目の素数さん
25/12/29 05:22:27.59 06TW2XTK.net
「単元を素元とすると、素因数分解が一意的でなくなる」と
「単元を素元から除外しても、それだけで素因数分解が一意的となるわけでない」は
両立する
前者の主張をした人に、後者の主張で絡むのはおかしい
「単元を素元とすれば、素因数分解が一意的になる」といったわけではないから
💩君、借りは返したよ
🚽 ジャー
729:１３２人目の素数さん
25/12/29 05:25:03.28 06TW2XTK.net
>>717
＞流儀の違いかもしれないが、
では、まっさきに君がやることは、君の素元の定義、既約元の定義を示すこと
なんでやらないの ゼミで必ずつっこまれるぜ
730:１３２人目の素数さん
25/12/29 05:26:06.03 twCwiNxL.net
０でも単元でもないというのは既約元の定義（の一部）であって、素元は既約元であるという定理の帰結として素元は０でも単元でもない。
ちなみに一意分解整域では素元の概念と既約元の概念が一致する。
731:１３２人目の素数さん
25/12/29 05:26:50.36 twCwiNxL.net
>>720
君に指図はされない
732:１３２人目の素数さん
25/12/29 05:27:29.38 QBIsQZ17.net
>>713
>>710で曖昧なことを言ってるのを指摘されてるでしょ。
あなたが言いたいことは、定義→定理の順で数学は演繹で展開されると言いたいんでしょ？
私が言いたいのは、こういう定理が成り立つようにしたいから、こう定義しとこってことがあるんじゃないかという、軽い気持ちで書いていたんだよ。
分解の一意性が成り立ってほしいから、素元の定義を工夫したんじゃないかという予想で書き込んだが、あなたも素元の定義のされ方を知らないのならもうドローということで良いじゃないか？
733:１３２人目の素数さん
25/12/29 05:28:14.74 twCwiNxL.net
>>720
>では、まっさきに君がやることは、君の素元の定義、既約元の定義を示すこと
そういう自分がまっさきにやってない
なんでやらないの ゼミで必ずつっこまれるぜ
734:１３２人目の素数さん
25/12/29 05:29:46.58 twCwiNxL.net
>>723
>あなたも素元の定義のされ方を知らないのなら
定義を知っていれば十分
なぜそういう定義なのかは個人の趣味 別に知らなくてもよい
735:１３２人目の素数さん
25/12/29 05:31:41.54 QBIsQZ17.net
>>719
ありがとう、貸しておいて良かったよw
>>704
仲が良い人が現にいるでしょ？
736:１３２人目の素数さん
25/12/29 05:34:19.65 06TW2XTK.net
>>669
＞大学の試験で
＞0.999・・・は先の桁にいくほどいくらでも1に近くなるから全体としては1に等しい
＞って解答したら落第だろ？
「全体としては」の意味が不明なので要らないので削除した場合場合
「0.999・・・は先の桁にいくほどいくらでも1に近くなる」だけが論拠
「いくらでも1に近くなる」が
「1と0.999・・・の差が任意の0.000・・・1よりも小さい」という意味なら
実数における等号の定義と合致するから正しい
要するに気持ちとしては正しいかもしれないけど、
言葉が検証できるレベルまでつきつめられてないのが惜しい
そんな感じ
まあ、でも大学の微積分のテストなら
「教えたことを理解してませんね」
でアウトかな（笑）
でも、ここの議論はその例とは無関係だね
737:１３２人目の素数さん
25/12/29 05:34:51.91 QBIsQZ17.net
>>722
この態度は良くないよ。
論理には論理で返そうよ。
私も軽い気持ちで書き込んだから、おあいこという形を望んでいる。
この板の本当の怖さを知ったよ。下手なことが何も言えないじゃないかw
738:１３２人目の素数さん
25/12/29 05:38:31.83 06TW2XTK.net
>>722
＞君に指図はされない
二人目の三歳児現る
＞そういう自分がまっさきにやってない
やったけど 「素元とは０でも単元でもなく・・・」といったよね
・・・の後？ wikipediaに書いてあるから見て（笑）
739:１３２人目の素数さん
25/12/29 05:42:26.41 twCwiNxL.net
>>719
>後者の主張で絡む
なにこの妄想ｗ
740:１３２人目の素数さん
25/12/29 05:43:29.36 06TW2XTK.net
>>728
ん－、別に怖くないよ
数学科で鍛えられた人なら、素人のエセ数学科気取りの技なんか簡単に跳ね返せる
素人は理屈もわからずに、なんか聞きかじったことを適当に言ってる
詮索していくと必ずボロを出すね
本当に怖いのは、わかってもいないのにわかったふりをしたがる自分の心だよ
それは自分を殺すよね 何度死んでもわかんない人もいるけど（笑）
ジャー
741:１３２人目の素数さん
25/12/29 05:44:56.42 06TW2XTK.net
>>730
秘孔ついちゃった？
742:１３２人目の素数さん
25/12/29 05:46:54.75 twCwiNxL.net
>>729
>wikipediaに書いてあるから見て（笑）
後だしじゃんけんｗ
743:１３２人目の素数さん
25/12/29 05:47:50.18 twCwiNxL.net
>>732
また妄想ｗ
744:１３２人目の素数さん
25/12/29 05:48:57.11 twCwiNxL.net
>>728
なんで論理と関係すんの？ 君、論理って何か分かってる？
745:１３２人目の素数さん
25/12/29 05:58:24.13 QBIsQZ17.net
>>730
三歳児って言われてるじゃんw
私はこの板の怖さを知らなかったから、結構適当に書き込んでいたらまさかの指摘を食らった。
優しく言われたら厳密に言い直そうかと思ったが、「冒涜」とまで言われたらこちらもカチンと来るよね。そういった態度が3歳児と言われる由縁で、これは直してもらいたい。
私は一意性を考慮して素元は考えられたのではないかという予想を書いたまで。（でも、これは結構なるほどと思える内容だと、自分では密かに思っている。）
そして、貴方が素元の定義の歴史を知らないのなら、私に強く批判できる材料は乏しいと思う。
ドローで決着にしてくれないかな？
これ以上は、お互いに時間の無駄で、どちらかがスレを出て行く必要がありそうだから。
746:１３２人目の素数さん
25/12/29 06:02:49.40 twCwiNxL.net
>素因数分解の一意性が些末なこととは言わないが、もっと遥かに大きな理論の一つの系に過ぎない。
>そのたった一つの系を成り立たせることを目的とした定義という認識は大きな誤解。
>「単元を素元から除外しても、それだけで素因数分解が一意的となるわけでない」
ぜんぜん違うんだけどｗ すげー妄想ｗ
747:１３２人目の素数さん
25/12/29 06:03:13.88 twCwiNxL.net
これが妄想でなくて何なんだよｗ
748:１３２人目の素数さん
25/12/29 06:03:42.69 QBIsQZ17.net
>>735
このスレに関わっている人達に申し訳ないから、ドローということで引き下がってくれ。
せっかく仲良くなった人もいるんだよ。
あなたも正しいことが言えるのなら、仲間を作りなよ。5chをやる素敵な意義の一つだと思うよ。
749:１３２人目の素数さん
25/12/29 06:04:50.99 twCwiNxL.net
>>736
>ドローで決着にしてくれないかな？
だから言ってるじゃん
おまえが思うように思っとけばいい、おまえに賛同してもらおうと思ってないって
750:１３２人目の素数さん
25/12/29 06:05:02.45 06TW2XTK.net
定義を書いてあげたよ
可換環 R の元 p が素元
「p は 0 でも単元でもなく、R のある元 a と b に対して p が ab を割り切るときにはいつでも、p が a を割り切るか p が b を割り切る。」
整域 R の元 a が既約元
「a は 0 でも単元でもなく、あるb,c∈Rを用いてa=bcと分解されたなら常にbかcのいずれかは単元を満たす。」
で、ここで問題となってるのは、どちらの定義でも「0でも単元でもなく」としてるところ
つまり単元（乗法的可逆元）をいれちゃうとおかしくなるから除こうねって話
その先の話（素元と既約元の違い）はしてない そういうこと
ジャー
751:１３２人目の素数さん
25/12/29 06:05:33.40 twCwiNxL.net
>>739
>引き下がってくれ
はぁ？
おまえ自分が何言ってるか分かってんの？
752:１３２人目の素数さん
25/12/29 06:08:18.99 QBIsQZ17.net
>>742
徹底的にやるしかないのか…。
明日は大事な日なのに⤵︎
753:１３２人目の素数さん
25/12/29 06:09:09.46 twCwiNxL.net
>>739
申し訳ないと思うならおまえが勝手に黙ればいいだけ
こちらに何かを要求するのはまったくのお門違い
754:１３２人目の素数さん
25/12/29 06:09:48.59 twCwiNxL.net
>>741
ご苦労
>>737の妄想はどうすんの？
755:１３２人目の素数さん
25/12/29 06:10:44.50 twCwiNxL.net
>>743
おまえの都合なんて知らんがなｗ
黙るなり吠えるなり好きにしろｗ
756:１３２人目の素数さん
25/12/29 06:13:02.52 twCwiNxL.net
>>741
主張がぜんぜん違ってるってことは
>「単元を素元から除外しても、それだけで素因数分解が一意的となるわけでない」
はおまえが勝手に妄想したってことだよな？ 認めるの？ どうなの？
757:１３２人目の素数さん
25/12/29 06:15:43.75 AwXLQg4h.net
横レス、スマソ。別にどちらのカタを持つというわけではないが
「1を素数に入れないのは、素因数分解の一意性を成立させるため」という説明は
しばしばなされるものと思う。たとえば ↓
平成 17 年日本数学会年会市民講演会 素数の翼に乗って 本橋 洋一
URLﾘﾝｸ(www.mathsoc.jp)
のP.9～10あたり
"ここで、先にお約束しました「1 は素数ではない」と云うことの理由を示しておきましょ
う。余談になります。随分と以前ですが、飛行機に搭乗し自分の席に行きましたら、びしょび
しょで困惑。スチュワーデスさんに申し出ましたら、暫くしまして、こちらにどうぞ、とのこ
と。なんと、一等席。落ち着かない気持ちで研究発表の下調べをしていましたら、隣の紳士
が独逸訛の英語で「自分は物理学者であるが、貴殿は数学者か」「イエス」「何を専攻するの
であるか」「素数分布である」「素数について未だ知られぬことなどがあるのか」「極めて多量
に」「うむ、我に少年の頃より疑問あり」「何か」「1 は何故素数でないのか」「貴殿は篩法を
ご存知か」「イエス、ギムナジウムで聞いた」「では、彼の割り算を1 から始めたら如何なる
こととなるか」。やや間があり、「おお、Danke!」
正しくは、素因数分解の一意性を「成立させるため」と云う理由があるのですが、詳しい
ことは止めておきましょう。"
758:１３２人目の素数さん
25/12/29 06:16:34.62 06TW2XTK.net
>「単元を素元から除外しても、それだけで素因数分解が一意的となるわけでない」
>ぜんぜん違うんだけど
全然違わないけど Z[√-5]で
６＝２・３＝（１－√ー５）（１＋√ー５）
ほら、成り立たない
759:１３２人目の素数さん
25/12/29 06:19:25.85 YdKUQGa6.net
>>570
>あと ID:/MsEo5qi さんの言ってるのは最先端のことでもなくて
参照を ID:I6aNbV3K とすべきところ間違えた
どちらの方にもゴメンなさい
760:１３２人目の素数さん
25/12/29 06:20:16.94 QBIsQZ17.net
>>748
私はこのつもりで言ったんですよ。
ソースがあれば大分説得力が増しますね。
761:１３２人目の素数さん
25/12/29 06:22:13.57 twCwiNxL.net
>>741
じゃあお返し
Rは整域とする。
素元の定義
a∈Rは，a≠0 であってかつ(a)∈SpecRであるとき, Rの素元であるという。
既約元の定義
a∈R とする。次の条件を満たすとき，aはR内で既約であるという。
(1) aは零でも単元でもない。
(2) b,c∈R で a=bc なら，bがRの単元であるかまたはcがRの単元であるか，どちらかが成り立つ。
定理
素元は既約元である。
762:１３２人目の素数さん
25/12/29 06:23:36.20 QBIsQZ17.net
>>748
そして著者がめちゃ有名！
763:１３２人目の素数さん
25/12/29 06:24:01.96 twCwiNxL.net
>>749
違う違うｗ
偽と言ってるんじゃなく、そもそも主張自体が違うと言ってるの。
764:１３２人目の素数さん
25/12/29 06:29:05.81 06TW2XTK.net
ちなみにZ[i]で
5=(1+2i)(1-2i)=(2+i)(2-i)
となるけど
i×(1+2i)=-(2-i)
なので、単数の違いを無視すれば一意
765:１３２人目の素数さん
25/12/29 06:31:33.56 QBIsQZ17.net
>>752
あの、>>748はどう思いますか？
偉い先生が私と全く同じことを話されているんですがw
766:１３２人目の素数さん
25/12/29 06:32:01.32 06TW2XTK.net
>>754
＞偽と言ってるんじゃなく、そもそも主張自体が違うと言ってるの。
偽じゃないなら違わない
違う、つまり偽なのは、君
君の降伏で終了
ジャー
767:１３２人目の素数さん
25/12/29 06:34:22.40 twCwiNxL.net
>>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 によって表す。
768:１３２人目の素数さん
25/12/29 06:34:53.92 twCwiNxL.net
>>757
アホすぎわろた
769:１３２人目の素数さん
25/12/29 06:34:53.97 QBIsQZ17.net
>>754
ね〜、>>748のpdfを読んでよ。
証明も忙しそうだけどw
770:１３２人目の素数さん
25/12/29 06:35:38.80 06TW2XTK.net
>>752
なんだ、君、数学知らんド素人か
この勝負 君の完全敗北
ジャー
771:１３２人目の素数さん
25/12/29 06:36:58.12 twCwiNxL.net
>>757
>偽じゃないなら違わない
なんで
>素因数分解の一意性が些末なこととは言わないが、もっと遥かに大きな理論の一つの系に過ぎない。
>そのたった一つの系を成り立たせることを目的とした定義という認識は大きな誤解。
と
>「単元を素元から除外しても、それだけで素因数分解が一意的となるわけでない」
が同じ主張だと思った？ アホだから？
772:１３２人目の素数さん
25/12/29 06:37:54.26 QBIsQZ17.net
>>759
あの、もう>>748で終わってると思います。
何と戦ってるんですか？w
773:１３２人目の素数さん
25/12/29 06:38:14.36 twCwiNxL.net
>>761
どゆこと？
気でも触れた？
774:１３２人目の素数さん
25/12/29 06:39:13.24 twCwiNxL.net
>>763
そう思うなら黙れば？
775:１３２人目の素数さん
25/12/29 06:40:44.23 twCwiNxL.net
>>761
勝手に勝利宣言してて草
776:１３２人目の素数さん
25/12/29 06:42:50.08 twCwiNxL.net
>>761
勝手に勝利宣言して逃亡ｗ
これはまいったｗ
777:１３２人目の素数さん
25/12/29 06:42:50.25 QBIsQZ17.net
>>762
長文書かなくても良いよ、もう>>748で終わったからw
あなた、このままいくと出禁になるよw
778:１３２人目の素数さん
25/12/29 06:44:52.34 twCwiNxL.net
>>768
この程度で長文てｗ 君現代国語赤点だったの？
それで終わりだと思うならなんで黙らないの？ 未練かい？
779:１３２人目の素数さん
25/12/29 06:45:37.22 twCwiNxL.net
おーい 06TW2XTK
勝手に勝利宣言して逃亡すんなよｗ
780:１３２人目の素数さん
25/12/29 06:46:12.06 QBIsQZ17.net
>>765
偉い先生が言ってるのなら私の勝利。
あなたより偉い先生でしょ？
勝利して逃亡しますwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
781:１３２人目の素数さん
25/12/29 06:47:37.74 twCwiNxL.net
>>771
うわあああｗ セタみたいな台詞で歯浮いたｗ
782:１３２人目の素数さん
25/12/29 06:49:09.86 QBIsQZ17.net
>>769
負けた人がなんか言ってるw
これだけ粘着しても謝れないなんて、人として終わってるwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
783:１３２人目の素数さん
25/12/29 06:50:04.76 twCwiNxL.net
>>773
うわあああ 今度は勝手に勝利宣言か
784:１３２人目の素数さん
25/12/29 06:51:59.00 twCwiNxL.net
>>773
「偉い先生が言ってることは正しい」
君が大学で学んだことがそれなんだ 4年間無駄にしたね 学費も
785:１３２人目の素数さん
25/12/29 06:52:07.33 QBIsQZ17.net
>>772
セタって何？
完全敗北wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
みんなあなたみたいに暇じゃないのよw
786:１３２人目の素数さん
25/12/29 06:53:51.47 twCwiNxL.net
暇じゃないと言いつつ粘着が止まらないｗ
787:１３２人目の素数さん
25/12/29 06:54:37.18 twCwiNxL.net
セタ？
数学板の有名なトンデモだよ 君の言うことが彼にそっくり
788:１３２人目の素数さん
25/12/29 06:54:52.29 twCwiNxL.net
>>761
逃亡したのかな？
じゃ寝るから起きるまでに回答しといてね～ よろ～
789:１３２人目の素数さん
25/12/29 06:57:36.15 QBIsQZ17.net
>>775
え〜、それじゃあ信じられるのは自分だけってか？
エゴの塊人間wwwwwwwwwwwwwwwww
790:１３２人目の素数さん
25/12/29 06:59:01.66 06TW2XTK.net
>>762
＞「素因数分解の一意性という大きな理論の一つの系の成立を目的とした定義という認識は大きな誤解。」
１．単元が素元でないのは素因数分解の必要条件の１つである
（素人の君もさすがに認める常識）
２．一方上記だけでは、素因数分解を満たさない、つまり十分条件ではない
（素人の君も認めざるを得ない事実）
したがって、素人の君が誤解してる
>>764
＞どゆこと？
君が「じゃあお返し」といって752で書き、758で補足した素元の定義が
実は741と実質的に同じであることに、君が気づいてない
その理由は・・・君は数学用語の意味を理解できない素人だから
普通、同じ定義をわざわざ繰り返さない
そんなことしたら
「わたし🐎🦌よね お🐎🦌さんよね」
って白状するのと同じだから
🚽 ジャー
791:１３２人目の素数さん
25/12/29 06:59:46.46 QBIsQZ17.net
>>778
偉い先生が言ったことを否定する人って何？
それがトンデモじゃんwwwwwwwwwwww
792:１３２人目の素数さん
25/12/29 07:02:39.81 QBIsQZ17.net
>>779
起きたときに貴方の居場所なんてないと思うよ？
スレから出て行ってほしいというか、板から出て行ってほしいw
793:１３２人目の素数さん
25/12/29 07:06:41.30 QBIsQZ17.net
>>779
悪い夢見ろよーw
794:１３２人目の素数さん
25/12/29 07:07:22.56 twCwiNxL.net
>>781
ああ勝手に独善解釈して勝手に勝利宣言してたわけね
実質同じというのは定義から証明される定理ということであって、定義そのものではない。
実際>>752の素元の定義に「単元でない」という条件は無い。単元でないことは定義から導出される定理。初めからそう言っている。
795:１３２人目の素数さん
25/12/29 07:08:31.52 twCwiNxL.net
>>782
偉い先生は間違えないとでも？
その見識稚拙すぎだよ
796:１３２人目の素数さん
25/12/29 07:11:02.23 06TW2XTK.net
コンパクト集合の定義について
「その集合内の無限点列が集積点をもつ」と
「その集合の任意の開被覆から有限部分被覆がとれる」は
ある条件下で論理的に同値だが、これを同じとは私もいわない
しかし中身の記述がほぼ同じであれば、そんなものは同じ定義である
Specとかいう言葉だけでうわぁすげぇと驚いて
調子ぶっこいてコピペするのは
アサハカな素人がやること
🚽 ジャー
797:１３２人目の素数さん
25/12/29 07:11:14.31 QBIsQZ17.net
>>785
寝て良いよ、セタもどきさんw
>>748でこちらが大勝利したからwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
798:１３２人目の素数さん
25/12/29 07:13:59.31 twCwiNxL.net
>>787
>しかし中身の記述がほぼ同じであれば、そんなものは同じ定義である
そんな粗雑な精神だから君は数学を理解できないんだよ
799:１３２人目の素数さん
25/12/29 07:14:52.50 QBIsQZ17.net
>>786
日本数学会の講演会で堂々と間違ったこと言うかね？
人間性が捻じ曲がってるwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
800:１３２人目の素数さん
25/12/29 07:16:02.23 twCwiNxL.net
>>790
君、暇じゃないんじゃなかったっけ？ めちゃくちゃ暇みたいだけどｗ
801:１３２人目の素数さん
25/12/29 07:17:57.99 06TW2XTK.net
>>785
> 752の素元の定義に「単元でない」という条件は無い。
758見た？ 君これ読まずにコピペしたろ
「(1) P⊂R∧P≠R である。」
「イデアルPが単元を含むときP＝R」
って、君、証明できる？
これを踏まえて、単元を除くためにP≠Rっていってるんだよ
知らなかった？ じゃ、今覚えてな 高卒ド素人
🚽 ジャー
802:１３２人目の素数さん
25/12/29 07:18:20.32 QBIsQZ17.net
>>789
もう良いよ、根本的な私との争いが終わったんだから。
みんな仕事で忙しいかもしれないから、寝なちゃい。3歳なんだからwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
803:１３２人目の素数さん
25/12/29 07:20:58.70 twCwiNxL.net
>>781
>>752の素元の定義に「単元でない」という条件は無い。
単元でないことは定義から導出される定理。
定義と定理を混同するような粗雑な精神の持ち主に数学は無理。
教授「○○を証明しなさい」
学生「それは定義です」
教授「ん？○○は定義のステートメントに書かれてないが？」
学生「実質同じだから定義なんです」
教授「君、落第ね」
804:１３２人目の素数さん
25/12/29 07:23:28.90 06TW2XTK.net
素人は見かけの違いを重大な違いだと錯覚する
しかしこの件に関しては只の御都合にすぎない
「素元は単元でない」と「素イデアルは環全体ではない」が重大な違いで
前者より後者がエッセンシャルとかいうのは、もう高卒ド素人の勝手な妄想
🚽 ジャー
805:１３２人目の素数さん
25/12/29 07:27:38.27 QBIsQZ17.net
>>791
明日大変なの。
私はよいから、皆の予定は考えような。
これで4歳になれるよwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
806:１３２人目の素数さん
25/12/29 07:29:15.55 06TW2XTK.net
口頭試問は正しくやろう
定義を示さないと定理かどうかは言えない
ついでにいうと
単元は素イデアルに含まれないは
「A:単元を含むイデアルは可換環全体と同じ」と
「B:素イデアルは可換環全体ではない・・・なイデアル」から
導かれるので、Bで、実質的に単元を排除してる
Aが証明できないド素人が見た目の違いに幻惑される
🚽 ジャー
807:１３２人目の素数さん
25/12/29 07:34:53.42 QBIsQZ17.net
>>794
興奮して寝られないよね。分かるよ、その気持ちwwwwwwwwwwwwwwwwwwww
808:１３２人目の素数さん
25/12/29 07:36:36.37 twCwiNxL.net
>>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
809:１３２人目の素数さん
25/12/29 07:38:29.14 06TW2XTK.net
>>799
君、その証明、今、初めて知っただろ？
ひとつお利口さんになったね
🚽 ジャー
810:１３２人目の素数さん
25/12/29 07:39:11.76 twCwiNxL.net
>>792
だから定義じゃなく定理じゃんｗ
負け惜しみかい？
811:１３２人目の素数さん
25/12/29 07:40:08.45 twCwiNxL.net
>>800
邪悪な精神の持ち主は他人の頭の中を邪推する
812:１３２人目の素数さん
25/12/29 07:43:33.75 QBIsQZ17.net
>>748
>>797
ありがとう、助かりました。
お二人以外にも助けてもらったかもしれませんが、レスが多すぎて読めませんw
今回は💩を置いてる暇が無かったですが、今後は冷静に行こうと思います。
しかし、凄い洗礼を浴びたな。この板には魔物が潜んでいるw
813:１３２人目の素数さん
25/12/29 07:45:10.22 06TW2XTK.net
>>801
＞だから定義じゃなく定理じゃん
素人の必死のマウント不発
どうせそんなことだろうとおもってました
🚽 ジャー
814:１３２人目の素数さん
25/12/29 07:46:33.54 06TW2XTK.net
>>802
邪悪なのは、つまらん違いでマウントとろうとするマウント●違い
🚽 ジャー
815:１３２人目の素数さん
25/12/29 07:47:45.58 twCwiNxL.net
>>781
素元なり素イデアルなりを使った重要な定理は素元分解の一意性だけ
が君の考えでよい？
816:１３２人目の素数さん
25/12/29 07:48:23.83 twCwiNxL.net
>>804
否定できてないじゃんｗ
817:１３２人目の素数さん
25/12/29 07:50:11.31 QBIsQZ17.net
>>802
それはあなただろwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
818:１３２人目の素数さん
25/12/29 07:50:57.04 twCwiNxL.net
>>805
いや邪悪なのは他人の頭の中を勝手に邪推する君
819:１３２人目の素数さん
25/12/29 07:51:51.09 twCwiNxL.net
>>808
君、用済みｗ
忙しいんでしょ？ 付き合わなくていいよｗ
820:１３２人目の素数さん
25/12/29 07:53:32.65 twCwiNxL.net
偉い先生の言ってることは正しいもん
とか言っちゃう御仁と話してもしょうがないから
821:１３２人目の素数さん
25/12/29 07:56:51.73 twCwiNxL.net
06TW2XTK君まだかい？
まだなら寝るけど
822:１３２人目の素数さん
25/12/29 07:57:08.95 06TW2XTK.net
＞凄い洗礼を浴びたな
＞この板には魔物が潜んでいる
通常運転ですよ
数学の苦手意識をこじらせちゃった人は沢山いるみたいなんでね
私にもそんな時代がありました・・・
🚽 ジャー
823:１３２人目の素数さん
25/12/29 07:58:04.72 QBIsQZ17.net
>>811
じゃあその先生に投書でもすれば？
あなたの講演内容は間違っていますってねwwwwwwwwwwwwwwwwwwwwwww
相手にされないよwwwwwwwwwwwwww
824:１３２人目の素数さん
25/12/29 07:58:48.85 twCwiNxL.net
>>813
>>806への回答まだ？
825:１３２人目の素数さん
25/12/29 07:59:26.64 06TW2XTK.net
>>806
＞「素元なり素イデアルなりを使った重要な定理は素元分解の一意性だけ」が君の考えでよい？
それ、それしか知らない君の妄想
🚽 ジャー
826:１３２人目の素数さん
25/12/29 07:59:36.77 twCwiNxL.net
>>814
君、用済み って言ったけど言葉通じない？ ばいばい
827:１３２人目の素数さん
25/12/29 08:00:06.82 twCwiNxL.net
>>816
じゃ具体的に言ってみて
828:１３２人目の素数さん
25/12/29 08:01:36.98 twCwiNxL.net
反応わりーな
さくっと答えられんの？
829:１３２人目の素数さん
25/12/29 08:01:48.47 QBIsQZ17.net
>>812
仕事かもしれないだろ？
あなたはもう寝なちゃい。
興奮して寝られなければ、子守唄でも歌ってあげようか？
ねんねんころりよ〜wwwwwwwwwwwww
830:１３２人目の素数さん
25/12/29 08:02:07.78 twCwiNxL.net
別に全部とは言ってないよ 2～3個の例でいいよ
831:１３２人目の素数さん
25/12/29 08:02:54.63 twCwiNxL.net
>>820
用済み君うるさいよｗ 君相手されてないこと分からない？
832:１３２人目の素数さん
25/12/29 08:02:56.97 06TW2XTK.net
今日のイタイできごと
「単元は素元でない、は定義でなく定理」
とドヤ顔で主張する素人が
ネット検索のニワカ勉強で知った
素イデアルの定義の中に
「可換環全体でないイデアル」
と書いてあって、
そのあほらしさに膝から崩れ落ちた
🚽 ジャー
833:１３２人目の素数さん
25/12/29 08:03:41.80 QBIsQZ17.net
>>817
あなたが用済みだろ。
負けたんだからwwwwwwwwwwwwwwww
834:１３２人目の素数さん
25/12/29 08:04:27.24 twCwiNxL.net
>>823
答えられないのね？ 素直にそう言いなよ 時間の無駄じゃん
835:１３２人目の素数さん
25/12/29 08:06:25.83 twCwiNxL.net
今日のイタイできごと
定義と定理が区別できないど素人が数学板でドヤ顔してた
836:１３２人目の素数さん
25/12/29 08:06:37.12 06TW2XTK.net
>>825
君、僕に可換環論を教えてもらおうなんて・・・時間の無駄だよ（笑）
🚽 ジャー
837:１３２人目の素数さん
25/12/29 08:07:03.09 QBIsQZ17.net
>>822
これだけ荒らしといて、ここに居座るつもりかい？
これを暗に示しているのが分からないかな？
邪悪な精神しか持たないから、邪推しかできないんだね、オモロwwwwwwwwww
838:１３２人目の素数さん
25/12/29 08:08:41.13 06TW2XTK.net
今日のイタイできごと
何を定義とするかの絶対的記述がないことも知らん素人が
自分が検索して出てきた定義が絶対的な根本だと思い込んで
数学板でドヤ顔で語ってスベリまくった
🚽 ジャー
839:１３２人目の素数さん
25/12/29 08:09:31.11 QBIsQZ17.net
>>826
↑今日のイタイ人ですwwwwwwwwwwww
840:１３２人目の素数さん
25/12/29 08:14:14.07 QBIsQZ17.net
>>826
君、今後絶対にここに来るなよ。
出来れは、板からも出ていくことを検討したまえ、以上。
841:１３２人目の素数さん
25/12/29 08:18:12.17 twCwiNxL.net
>>829
>>703
>一般には定義と帰結が同値であればどちらを定義にしてもよい。
今日のイタイできごと
他人はバカと思い込む精神病患者に出会ってしまった
842:１３２人目の素数さん
25/12/29 08:19:10.70 twCwiNxL.net
>>827
素直じゃないね君 分からないなら素直にそう言いなよ
じゃこっちで答え書くよ
例えば
「Pは環Rのイデアルであって，P≠R なるものと仮定せよ。このとき，Pが環Rの素イデアルであるための必要十分条件は，剰余類環R/Pが整域となることである。」
これ素元分解の一意性とは無関係だよ。
つまり素元や素イデアルの定義は素元分解の一意性のためだけに決めている訳じゃない。
843:１３２人目の素数さん
25/12/29 08:19:16.91 QBIsQZ17.net
>>813
正直言って、この板にいられるか不安ですね…。
細々とやっていこう💩
844:１３２人目の素数さん
25/12/29 08:23:47.74 twCwiNxL.net
>>834
君、居なくていいよ
「偉い先生の言うことは正しいんだもん」とか言っちゃう人はよそ行った方が良い
845:１３２人目の素数さん
25/12/29 08:26:23.40 QBIsQZ17.net
>>832
それはお前だろwwwwwwwwwwwwwwww
俺はそんなに出来ないが、>>829とは仲間で馬鹿にされたことなんてないぞ。
貴方も仲間を連れてきたらどう？その性格じゃいないだろwwwwwwwwwwwwww
846:１３２人目の素数さん
25/12/29 08:29:13.99 twCwiNxL.net
君、暇だねえｗ 今日は特別な日とか見栄張らなくいいのにｗ
847:１３２人目の素数さん
25/12/29 08:29:28.17 QBIsQZ17.net
>>835
だから、その先生に投書しろってw
そしたら、1ミリも相手にされないからwwwwwwwwwwwwwwwwwwwwwwwwww
もう寝ろって。そして、二度と来んな。
848:１３２人目の素数さん
25/12/29 08:33:02.33 twCwiNxL.net
大事な日は明日か。。。
でもいいよ、君に用は無いから ばいば～い
849:１３２人目の素数さん
25/12/29 08:37:54.65 QBIsQZ17.net
>>839
バイバイって、この板から引退するバイバイだよな？
俺は居させてもらうからな？
仲が良い人もここに居るんだし。
これだけ荒らしたんだから、今までお疲れ様でしたwwwwwwwwwwwwwwwwwww
850:１３２人目の素数さん
25/12/29 08:41:23.38 twCwiNxL.net
>>781
>>833に対して素因数分解のことしか言ってない>>781は的外れだと思わん？
851:１３２人目の素数さん
25/12/29 08:42:00.91 QBIsQZ17.net
>>839
ここに居ても、ヤバイ人が一人いると警戒されるから、肩身が狭いよ？
私はよほど間違ってる人にくらいしか訂正は求めないから、まず疑われないよ。
まあ貴方は今後、身の振り方に気をつけなよ。みんな見てるからね。
852:１３２人目の素数さん
25/12/29 08:42:20.81 twCwiNxL.net
>>840
どうぞご自由に いちいち居ます宣言しなくていいよ
853:１３２人目の素数さん
25/12/29 08:42:50.31 twCwiNxL.net
私は君に用無いけどねｗ