>>915
環論でも、可換環 R の元 p が素元であることの定義は
「p は 0 でも単元でもなく、
　R のある元 a と b に対して p が ab を割り切るときにはいつでも、
　p が a を割り切るか p が b を割り切る。」
つまり単元を除外している
１は単元　したがって１は除外されている

残念でした　整合してないのは素人の君だけ

🚽　ジャー