In the context of ring theory, an **irreducible ideal** is a specific type of ideal in a ring that has certain properties.
Articles by others on the same topic
A proper ideal is irreducible if implies or . In a Noetherian ring, every irreducible ideal is a primary ideal; every proper ideal is a finite intersection of irreducible ideals.