Irreducible ideal

• Every prime ideal is irreducible.[2] Let ${\displaystyle J}$ and ${\displaystyle K}$ be ideals of a commutative ring ${\displaystyle R}$, with neither one contained in the other. Then there exist ${\displaystyle a\in J\setminus K}$ and ${\displaystyle b\in K\setminus J}$, where neither is in ${\displaystyle J\cap K}$ but the product is. This proves that a reducible ideal is not prime. A concrete example of this are the ideals ${\displaystyle 2\mathbb {Z} }$ and ${\displaystyle 3\mathbb {Z} }$ contained in ${\displaystyle \mathbb {Z} }$. The intersection is ${\displaystyle 6\mathbb {Z} }$, and ${\displaystyle 6\mathbb {Z} }$ is not a prime ideal.
• Every irreducible ideal of a Noetherian ring is a primary ideal,[1] and consequently for Noetherian rings an irreducible decomposition is a primary decomposition.[3]
• Every primary ideal of a principal ideal domain is an irreducible ideal.
• Every irreducible ideal is primal.[4]

An element of an integral domain is prime if and only if the ideal generated by it is a non-zero prime ideal. This is not true for irreducible ideals; an irreducible ideal may be generated by an element that is not an irreducible element, as is the case in ${\displaystyle \mathbb {Z} }$ for the ideal ${\displaystyle 4\mathbb {Z} }$ since it is not the intersection of two strictly greater ideals.

An ideal I of a ring R can be irreducible only if the algebraic set it defines is irreducible (that is, any open subset is dense) for the Zariski topology, or equivalently if the closed space of spec R consisting of prime ideals containing I is irreducible for the spectral topology. The converse does not hold; for example the ideal of polynomials in two variables with vanishing terms of first and second order is not irreducible.

If k is an algebraically closed field, choosing the radical of an irreducible ideal of a polynomial ring over k is exactly the same as choosing an embedding of the affine variety of its Nullstelle in the affine space.

• Irreducible module
• Irreducible space
• Laskerian ring