>>858
>0イデアルが素イデアルかどうか
素イデアルじゃないに決まってんだろｗ
実際環Rが整域でないなら、ある零因子a,b∈Rが存在して ab=0∈{0}∧¬a∈{0}∧¬b∈{0}