素元
(単位元をもつ)環 R のイデアル I は、その剰余環 R/I が整域であるときに素イデアルである。
0でない単項イデアルが素イデアルであることとそれがある1つの素元で生成されることは同値である。