>>833
＞「Pは環Rのイデアルであって，P≠R なるものと仮定せよ。
＞　このとき，Pが環Rの素イデアルであるための必要十分条件は，
＞　剰余類環R/Pが整域となることである。」
＞これ素元分解の一意性とは無関係だよ。

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

無関係なんだから

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

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

>>719が全て

🚽　ジャー