>>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 を割り切る。

な、単元を排除してるだろ？　素人の君が読めてないだけ

🚽　ジャー