素イデアル
可換環 R のイデアル P ≠ R が素イデアルであるとは、
a, b ∈R, ab ∈P のとき、a ∈ P または b ∈ P
を満たすことを言う。
環 R の素イデアルのなす集合は Spec(R) と表される。