Prime and irreducible elements in an integral domain. Prime ideals. Maximal ideals. With a commutative ring R with an identity, (1) An ideal P of R is prime iff R/P is an integral domain; (2) An ideal M of R is maximal iff R/M is a field.