一个环 R中的理想P如果满足以下条件就称作素理想：P是R的真理想，且 对任何a，b∈R, 如果乘积ab ∈P，那么a或b中至少有一个属于P。