primary ideal

proper ideal q such that, whenever xy ∈ q, then either x ∈ q, or some power of y is in q