素理想 在数学中素理想Prime ideal是环的一个子集与整数环中的素数共享许多重要的性质