素イデアル()は、環のイデアルで、ある条件を満たすものである。