素元
#数学
#抽象代数
定義
可換環
$ R
の元
$ p \in R
のうち、0でも
単元
でもなく、
$ p|ab
ならば、
$ p|a
か
$ p|b
である元