irreducible ideal
proper ideal of a commutative ring that is not the intersection of two strictly larger ideals
prime ideal
ideal such that, whenever a product belongs to it, at least one of its factors also belong to it
proper ideal of a commutative ring that is not the intersection of two strictly larger ideals