素イデアルの定義、判定、および性質