なんか数学の初歩も知らん素人が868を読んで反論しろと絶叫発狂してるけど
素元を直接でなく素イデアルを経由して定義するなら
「素元は単元でない」と直接言うかわりに
「素イデアルは可換環全体からなるイデアルでない」というわけで
対応関係は明白　高校で数学終わった素人が対応読めてないだけ

🚽　ジャー