準素イデアル

可換環論において、準素イデアル（じゅんそいである、）とは、可換環 "A" の真のイデアル "Q" であって、"xy" が "Q" の元かつ "x" が "Q" の元でないとき、ある自然数 "n" > 0 が存在して "y""n" が "Q" の元となるようなイデアルのことである。言い換えると、剰余環の任意の零因子がべき零となるような（真の）イデアルのことである。