定义 符号幂(symbolic power)特殊的收缩理想.在有1的交换环R中,一个素理想P的幂P"未必是准素的.符号幂就是构造一个由P"确定的准素理想.Sn=RP是乘闭子集,称syP,'在R中的收缩理想为P的n次符号幂,记为Pc},即 P c},是P准素理想.若P"是准素的,则P `}'一 P'..在诺特环中,因为尸"有极小准素分解 所以P必等于某个P一,百.例如,若P=P,,则Q,一尸'"'是尸"的孤立准素分支. [1]