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
私は君に用無いけどねｗ
854:１３２人目の素数さん
25/12/29 08:45:08.58 twCwiNxL.net
06TW2XTK君反応わりーな >>841に答えといてね
855:１３２人目の素数さん
25/12/29 08:45:39.60 onT9kxF6.net
この一年の動向を見ると
IUTの将来は暗くない
856:１３２人目の素数さん
25/12/29 08:48:13.02 QBIsQZ17.net
>>829
ヤバイ人に無理にレスしなくても良いですよ。
お前は💩に負けたから、💩未満って言っとけば良いですから。
論破する自信があれば、してもらってもかまいませんが、時間が勿体ないので一応伝えておきます。
857:１３２人目の素数さん
25/12/29 08:51:21.56 QBIsQZ17.net
>>845
あのなぁ、この板は社会人が使ってると考えといた方が良いぞ？
みんな暇じゃないんだよ、貴方と違ってw
それか、相手にしてもらえてないかのどちらかだから、もうここには来んな。
分かったな？
858:１３２人目の素数さん
25/12/29 08:53:44.62 QBIsQZ17.net
>>844
荒らしは来んな。
142レスする荒らしは、このスレにはいらないからwwwwwwwwwwwwwwwwwwww
859:１３２人目の素数さん
25/12/29 09:25:41.94 QBIsQZ17.net
>>717
素元の定義が無茶苦茶w
860:１３２人目の素数さん
25/12/29 09:34:31.26 QBIsQZ17.net
>>725
定義が>>717で分かってなかったから、十分じゃないじゃんwwwwwwwwwwwww
861:１３２人目の素数さん
25/12/29 09:51:20.73 QBIsQZ17.net
>>721
定理の帰結って何？
定理から定義が導かれるの？
こんな曖昧なこと言っておいて、よく他人の批判ができるよねw.
862:１３２人目の素数さん
25/12/29 09:56:04.85 mWjHRRRa.net
URLﾘﾝｸ(www.asahi.com)
なんかこの記事を読んでsetaのことを連想した
自分には自分の信じる数学がある
あなたたちの数学を押し付けないで
みたいな反知性主義的な言い分を主張するところ
863:１３２人目の素数さん
25/12/29 10:04:16.52 06TW2XTK.net
>>833
＞「Pは環Rのイデアルであって，P≠R なるものと仮定せよ。
＞ このとき，Pが環Rの素イデアルであるための必要十分条件は，
＞ 剰余類環R/Pが整域となることである。」
＞これ素元分解の一意性とは無関係だよ。
ふーん、君は単元が素元でも素元分解の一意性は成立する、といってるわけだ
無関係なんだから
＞つまり素元や素イデアルの定義は素元分解の一意性のためだけに決めている訳じゃない。
「だけ」が卑怯だね 高卒ド素人君
>>719が全て
🚽 ジャー
864:１３２人目の素数さん
25/12/29 10:08:29.53 06TW2XTK.net
>>841
的外れなのは
「単元が素元でないのは、素元分解の一意性とは無関係」
という君のトンデモ発言かと
それって
「単元が素元でも、素元分解の一意性は成り立つ」
っていってるのと同じだから
トンデモですね
🚽 ジャー
865:１３２人目の素数さん
25/12/29 10:16:25.01 06TW2XTK.net
>>853
科学だけでは政策は決まらない
「ウイルスで死のうが何しようが、日常生活を変えたくない」
という考えは科学で否定できるようなものではない
「人命第一だから、政府は非常事態時に人民の行動を完全に統制すべきである」
という考えも科学で肯定できるようなものではない
つまり科学と「人生にとって何が大事」は別問題かと
「生きていくのに科学とか要らねえわ 死んだら死んだで仕方ない」
とう無知性主義もありかもしれん（笑）
🚽 ジャー
866:１３２人目の素数さん
25/12/29 10:20:50.44 06TW2XTK.net
「二酸化炭素の増大でいかほど地球が温暖化しようが、金儲けのために経済成長したい」
という考えは科学で否定できるようなものではない
「地球温暖化が進めば人類は絶滅するから、経済成長は抑制すべき
極少数でも人類が生き残れば絶滅しない」
という考えも科学で肯定できるようなものではない
「みんな死んでも、今この瞬間を全力で楽しみたい」
という刹那主義もありかもしれん（笑）
🚽 ジャー
867:１３２人目の素数さん
25/12/29 10:33:43.82 QBIsQZ17.net
>>852
>>721を見て思ったけど、批判してる人は素元を素イデアルから定義する流儀だろうけど、0イデアルが素イデアルかどうかについては分かってるのかね？
868:１３２人目の素数さん
25/12/29 10:59:29.07 QBIsQZ17.net
>>853
有料記事かな？
こんな状況でみんな忙しいからねって、一番の被害者が言ってみるw
正常化したらこんな話で盛り上がろう。
869:１３２人目の素数さん
25/12/29 11:09:52.73 mWjHRRRa.net
>>859
記事は科学についての話で数学については書いてないよ
念のため
870:１３２人目の素数さん
25/12/29 11:18:35.34 7rjJ19ZI.net
>>860
そうでしたか。
今はあまり情報が頭に入ってこない、環論しかw
871:１３２人目の素数さん
25/12/29 11:46:22.49 twCwiNxL.net
>>854
>>>719が全て
いや、>>719は素因数分解についてしか語ってない。
しかし素元や素イデアルは素因数分解のためだけに定義されている訳ではない。その実例を示した。
だから「素元や素イデアルは素因数分解が成り立つように定義した」は的外れ。なぜなら結果的に成り立つんじゃね？と突っ込まれても何も言い返せないから。
872:１３２人目の素数さん
25/12/29 11:55:26.72 06TW2XTK.net
>>862
誤
素元や素イデアルは素因数分解が成り立つように定義した
正
素元から単元を除くことや素イデアルが可換環の真部分集合であることは
整数における素因数分解の一意性を考慮した上での定義である
正確に文章を書けないと、数学を正しく学べないよ
🚽 ジャー
873:１３２人目の素数さん
25/12/29 11:56:45.22 twCwiNxL.net
>>854
>君は単元が素元でも素元分解の一意性は成立する、といってるわけだ
君、>>566が読めんの？
>無関係なんだから
「R/Pが整域⇔Pが素イデアル」と素因数分解がどう関係するのか説明よろ
874:１３２人目の素数さん
25/12/29 11:58:18.29 twCwiNxL.net
>>863
>素元から単元を除くことや素イデアルが可換環の真部分集合であることは
>整数における素因数分解の一意性を考慮した上での定義である
根拠は？
875:１３２人目の素数さん
25/12/29 12:06:11.05 twCwiNxL.net
>>855
>的外れなのは
>「単元が素元でないのは、素元分解の一意性とは無関係」
>という君のトンデモ発言かと
？？？
いつそんな発言した？ レス番号示して
勝手に人の発言捏造しといてトンデモ発言とな？ それこそがトンデモ発言ｗ
876:１３２人目の素数さん
25/12/29 12:18:54.71 twCwiNxL.net
>>858
>0イデアルが素イデアルかどうか
素イデアルじゃないに決まってんだろｗ
実際環Rが整域でないなら、ある零因子a,b∈Rが存在して ab=0∈{0}∧￢a∈{0}∧￢b∈{0}
877:１３２人目の素数さん
25/12/29 12:42:11.25 twCwiNxL.net
>>863
仮に単元が素元であるような定義の場合、Rは素イデアルであり、R/R={0}だが、これは整域でない。つまり、「単元を除外したのは「R/Pが整域⇔Pが素イデアル」を成立させるのが目的」とも言えてしまう。
このことは素元や素イデアルを陽に陰に用いるすべての定理についても言えるのだから、そもそもなぜそう定義したかを問うこと自体が無意味なのである。
だから最初から言っている。なぜそう定義したかを考えるのはただの個人の趣味だと。
878:１３２人目の素数さん
25/12/29 12:44:17.90 twCwiNxL.net
>だから最初から言っている。なぜそう定義したかを考えるのはただの個人の趣味だと。
>>709な
879:１３２人目の素数さん
25/12/29 13:10:27.27 twCwiNxL.net
そりゃ歴史的経緯からすりゃ当然素因数分解の一意性を意識してのことだろう。しかしそれは歴史的経緯であってそれ以上ではない。
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)#%E6%AD%B4%E5%8F%B2
「群の概念が初めてはっきりと取り出されたのは、エヴァリスト・ガロアによる根の置換群を用いた代数方程式の研究だとされている。」
群の公理が代数方程式の研究を経て定められたとしても、群論は代数方程式だけ対象とした理論ではない。だからなぜ群の公理がそう定められたのかを問うても無意味なのである。個人の趣味として考えをめぐらせばいいだけの話。
880:１３２人目の素数さん
25/12/29 13:14:54.70 UvWosIrd.net
気狂い
881:１３２人目の素数さん
25/12/29 13:26:55.28 twCwiNxL.net
自己紹介は要らない
882:１３２人目の素数さん
25/12/29 14:24:55.23 GZeAEEMC.net
>>846
期待してるんですね
883:１３２人目の素数さん
25/12/29 14:56:45.08 06TW2XTK.net
>>870
群は対象が１つで全ての射が同型射であるような特殊な圏である
そして対象の同型射というのがいわば置換なのである
したがって置換されるものが根であろうが体であろうが空間であろうが構わないが
置換ということには意味があるのである
すべてが無意味なわけではない 意味を考えたがらないのは頭が悪い
884:１３２人目の素数さん
25/12/29 15:02:13.83 twCwiNxL.net
また言ってないこと言ったことにされてて草
君、捏造得意だね なんで？ 卑怯だから？
885:１３２人目の素数さん
25/12/29 15:03:34.36 twCwiNxL.net
置換ということには意味が無いと言ったレスのレス番号書いて
書けないなら君は卑怯者
886:１３２人目の素数さん
25/12/29 15:03:55.71 06TW2XTK.net
>>875
>また言ってないこと言ったことにされてて
それはこっちの台詞
>君、捏造得意だね なんで？ 卑怯だから？
君、いつも他人に文句つけてなくない？ なんで？ 不遇だから？
887:１３２人目の素数さん
25/12/29 15:05:35.96 06TW2XTK.net
>>876
870 「なぜ群の公理がそう定められたのかを問うても無意味なのである。」
君 意味嫌いでしょ
888:１３２人目の素数さん
25/12/29 15:07:27.47 twCwiNxL.net
>>852
君、実数の連続性と同値な命題が多数あること知らんの？
同値なんだからいずれを定義にしてもいいんだよ いずれかひとつを定義にすれば他は定理 分かる？
君本当に大卒？
889:１３２人目の素数さん
25/12/29 15:09:30.18 06TW2XTK.net
もちろん、
群の公理を知り、その設定理由を知ったところで、群が分かるわけではない
位相空間の公理を知り、その設定理由を知ったところで、位相空間が分かるわけではない
圏の公理を知り、その設定理由を知ったところで、圏が分かるわけではない
粘着君が勝手に意味を大袈裟に考え、そんなものがないと言って意味を全否定してるだけ
境界性人格障害みたいに、相手を絶対視して、
相手の実際はそうでないと相手を全否定するような
●違いプレイは迷惑だからやめような
🚽 ジャー
890:１３２人目の素数さん
25/12/29 15:12:54.41 06TW2XTK.net
>>879
＞実数の連続性と同値な命題が多数あること知らんの？
＞同値なんだからいずれを定義にしてもいいんだよ
＞いずれかひとつを定義にすれば他は定理 分かる？
しかしながら、その心は
「コーシー列が収束列となるような完備化」
である
列をフィルターに置き換えたところでやはり同じこと
891:１３２人目の素数さん
25/12/29 15:16:40.69 twCwiNxL.net
>>878
>置換ということには意味が無いと言ったレスのレス番号書いて
>書けないなら君は卑怯者
↓
>870 「なぜ群の公理がそう定められたのかを問うても無意味なのである。」
はい、書けなかったので君は卑怯者と確定しました おめでとー
892:１３２人目の素数さん
25/12/29 15:17:53.26 twCwiNxL.net
>>877
>君、いつも他人に文句つけてなくない？ なんで？ 不遇だから？
人の発言を捏造する卑怯者には文句言うけど？ 当然じゃね？
893:１３２人目の素数さん
25/12/29 15:20:54.02 twCwiNxL.net
>>874
>すべてが無意味なわけではない 意味を考えたがらないのは頭が悪い
これも捏造。
すべてが無意味なんて一言も言ってない。
卑怯者は数学板から出てけよ。
894:１３２人目の素数さん
25/12/29 15:21:57.06 twCwiNxL.net
>>877
>>また言ってないこと言ったことにされてて
>それはこっちの台詞
レス番号よろ
示せないだろうね 君、卑怯者だから
895:１３２人目の素数さん
25/12/29 15:24:20.52 06TW2XTK.net
レス番号どころかその中の文章まで具体的に示したよ
「なぜ群の公理がそう定められたのかを問うても無意味なのである。」
無条件でなぜを問うのは無意味だと言い切った これが全て
あとからそれは例外というのは卑怯者
ということで🚽で流しまーす
ジャー
896:１３２人目の素数さん
25/12/29 15:26:14.05 twCwiNxL.net
>>880
>群の公理を知り、その設定理由を知ったところで
設定理由をどうやって知るの？ 知るための具体的なプロセスを書いてみて
897:１３２人目の素数さん
25/12/29 15:27:29.26 06TW2XTK.net
>>887
君 ●違い？
🚽 ジャー
898:１３２人目の素数さん
25/12/29 15:27:45.18 twCwiNxL.net
>>880
>粘着君が勝手に意味を大袈裟に考え
と卑怯者が勝手に妄想してる
899:１３２人目の素数さん
25/12/29 15:29:01.22 twCwiNxL.net
>>880
>境界性人格障害みたいに、相手を絶対視して、
>相手の実際はそうでないと相手を全否定するような
>●違いプレイは迷惑だからやめような
いみふすぎて草
君、日本語不自由？
900:１３２人目の素数さん
25/12/29 15:29:46.24 twCwiNxL.net
>>881
>しかしながら、その心は
>「コーシー列が収束列となるような完備化」
>である
反論になってなくて草
901:１３２人目の素数さん
25/12/29 15:32:10.48 twCwiNxL.net
>>886
>あとからそれは例外というのは卑怯者
？？？
いつ「それは例外」と言った？
君、頭だいじょうぶ？ ボコられ過ぎて頭イカレタの？
902:１３２人目の素数さん
25/12/29 15:33:42.46 twCwiNxL.net
>>888
はい、答えにつまると人格否定
これ卑怯者の常とう手段な
903:１３２人目の素数さん
25/12/29 15:40:13.83 twCwiNxL.net
>>888
>群の公理を知り、その設定理由を知ったところで、群が分かるわけではない
↑
群の公理の設定理由を知る術が無いならこの主張まったくのナンセンス。
だからその術を質したんだが、答えられないなら「ナンセンスなことを言ってすみませんでした。」と素直に謝ればよいだけなのに、あろうことかこちらを
>君 ●違い？
と人格攻撃ｗ
だからおまえは卑怯者と呼ばれる 卑怯者は数学板から去れ
904:１３２人目の素数さん
25/12/29 15:45:58.05 twCwiNxL.net
「相手を絶対視」ってなに？ いみふすぎｗ
で、いつこちらがその「相手を絶対視」とやらをやったの？ レス番号示して
905:１３２人目の素数さん
25/12/29 15:49:00.06 BSDYM4u2.net
>>867
あなたは既約元の定義と素元は既約元である定理から、素元は0でないと帰結すると書いていたはず。
ただ、素元は既約元というのは整域を前提とした定理のはずで、素元を素イデアルで定義したら整域の条件で素元は0ではなくなるはず。
このあたりがかなりデリケートであるのに、>>721の段階で整域が前提であることに触れず、定義を全然書いていないのは酷いと思う。
整域と素元を素イデアルで定義した段階で素元が0になることは否定されているはずだから、そこで既約元を持ち出して0でないことを帰結させるのはナンセンスではないのか？
>>721で定義していないことが罪すぎるので、他の人から定義を聞かれるのは当たり前だよ。定義は結局書いてもらっていた始末だった気がするけど。
906:１３２人目の素数さん
25/12/29 15:53:33.46 BSDYM4u2.net
>>896
ちょっと待った。
これは怪しいから待ってくれ
907:１３２人目の素数さん
25/12/29 16:07:30.16 twCwiNxL.net
>>896
そうだね。素元が０でないことは定義だね。訂正します。
で、なんで>>867に対してレスしてるのか分からないけど、>>867には素元なんてまったく書いてないよ？
908:１３２人目の素数さん
25/12/29 16:10:22.03 BSDYM4u2.net
>>896
整域のとき、素元を素イデアルで定義すると0の可能性を排除できないから、きちんと0でないと定義しないといけないんじゃないかの間違い。
909:１３２人目の素数さん
25/12/29 16:14:53.25 BSDYM4u2.net
>>898
そこが最新の貴方だっただけ。
意味はないよ。
私は通信制限食らってるから、今月はあまり書きこめないからよろw
910:１３２人目の素数さん
25/12/29 16:17:00.48 06TW2XTK.net
>>898
>素元が０でないことは定義だね。訂正します。
ID:twCwiNxL、ついに>>571の誤りを認める
>１が素数でないことは・・・素元や素イデアルの定義から導出される定理であり、
URLﾘﾝｸ(www.youtube.com)