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