25/12/29 17:19:56.41 06TW2XTK.net
>>933の定義を素イデアルの定義に対応させて読むと
Pが{0}でない素イデアル：pが素元
Pが{0}でない：pが0でない
PがRでない：pが単元でない
a, b ∈R, ab ∈P のとき、a ∈ P または b ∈ P：
a, b ∈Rに対して p が ab を割り切るときにはいつでも、p が a を割り切るか p が b を割り切る。
な、単元を排除してるだろ？ 素人の君が読めてないだけ
🚽 ジャー
25/12/29 17:19:56.41 06TW2XTK.net
>>933の定義を素イデアルの定義に対応させて読むと
Pが{0}でない素イデアル：pが素元
Pが{0}でない：pが0でない
PがRでない：pが単元でない
a, b ∈R, ab ∈P のとき、a ∈ P または b ∈ P：
a, b ∈Rに対して p が ab を割り切るときにはいつでも、p が a を割り切るか p が b を割り切る。
な、単元を排除してるだろ？ 素人の君が読めてないだけ
🚽 ジャー