定義
A を単位元をもつとは限らない可換環とする。
I を A のイデアルとする。
I ≠ A で A/I が零因子(>>49)をもたないとき I を A の素イデアルと言う。
即ち I ≠ A で ab ∈ I なら a ∈ I または b ∈ I となるとき I を素イデアルと言う。