A proper ideal of a ring that is not the intersection of two ideals which properly contain it. In a principal ideal domain, the ideal I = 〈a〉 is irreducible iff a = 0 or a is an irreducible element.

irreducible submodule