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