符號冪

定義

符號冪(symbolic power)特殊的收縮理想.在有1的交換環R中，一個素理想P的冪P”未必是準素的.符號冪就是構造一個由P"確定的準素理想.Sn=R\P是乘閉子集，稱syP,‘在R中的收縮理想為P的n次符號冪，記為Pc}>，即

P c}，是P準素理想.若P”是準素的，則P `}'一 P'..在諾特環中，因為屍”有極小準素分解

所以P必等於某個P一、/百.例如，若P=P,，則Q,一屍‘”’是屍”的孤立準素分支.