В коммутативной алгебре
идеал Q коммутативного кольца A называется примарным, если он не совпадает со всем кольцом, и для любого элемента Q вида xy либо x, либо yn для некоторого n>0 также является элементом Q. Например, в кольце целых чисел Z идеал примарен тогда и только тогда, когда он имеет вид (pn), где p — простое число.