Aを整域とする

A\ni a\ne0で生成されるイデアル(a)が素イデアルであるとき、aを素元と言う