primary ideal
proper ideal q such that, whenever xy ∈ q, then either x ∈ q, or some power of y is in q
prime ideal
ideal such that, whenever a product belongs to it, at least one of its factors also belong to it
proper ideal q such that, whenever xy ∈ q, then either x ∈ q, or some power of y is in q