primal ideal
proper ideal of a commutative ring such that the elements not prime to it form an ideal
primary ideal
proper ideal q such that, whenever xy ∈ q, then either x ∈ q, or some power of y is in q
irreducible ideal
proper ideal of a commutative ring that is not the intersection of two strictly larger ideals