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