Maximal and Prime Ideals — Mathematics Knowledge System

Overview

Maximal and prime ideals single out the two most important flavors of proper ideal in a commutative ring, and both are best understood through the quotient rings they produce. An ideal M is maximal when no proper ideal sits strictly between M and the whole ring R — equivalently, R/M is a field. An ideal P is prime when it satisfies the ring-theoretic analogue of 'a prime number divides a product only if it divides a factor' — equivalently, R/P is an integral domain. Since every field is an integral domain, every maximal ideal is automatically prime, but the converse can fail. These two ideal types organize the algebraic geometry of Spec(R) and are the engine behind unique factorization, localization, and the structure theory of commutative rings.

Intuition

Think of ideals as generalized 'multiples' the way (n) means multiples of n in ℤ. A prime ideal captures the same indivisibility that makes a prime number prime: you cannot factor your way into the ideal from outside without one factor already being inside. A maximal ideal is even more extreme — it is a 'largest possible' proper ideal, so the quotient R/M collapses everything down to the smallest nontrivial algebraic structure with no further ideals to speak of, a field. In ℤ, both notions coincide for the same ideals (n) with n prime, but in more complicated rings like ℤ[x] or 𝔽[x,y], prime ideals can be strictly smaller than maximal ones — e.g. (x) is prime but not maximal in ℤ[x], since ℤ[x]/(x) ≅ ℤ is a domain but not a field.

Formal Definition

Definition

Let R be a commutative ring with 1, and let I be a proper ideal of R (I ≠ R).

I \text{ is prime} \iff ab \in I \implies a \in I \text{ or } b \in I \quad (a, b \in R)

Prime ideal condition

I \text{ is maximal} \iff \nexists \text{ ideal } J \text{ with } I \subsetneq J \subsetneq R

Maximal ideal condition

I \text{ prime} \iff R/I \text{ is an integral domain}

Prime via quotient

I \text{ maximal} \iff R/I \text{ is a field}

Maximal via quotient

I \text{ maximal} \implies I \text{ prime}

Maximal ideals are always prime

Properties

Maximal implies prime

\text{Every maximal ideal } M \text{ of a commutative ring with 1 is prime, since a field } R/M \text{ is always an integral domain}.

Krull's theorem

\text{Every proper ideal of a ring with 1 is contained in some maximal ideal (via Zorn's Lemma)}.

Prime avoidance / chains

\text{In a principal ideal domain, every nonzero prime ideal is maximal}.

Contraction under homomorphisms

\text{If } \varphi: R \to S \text{ is a ring homomorphism and } P \subseteq S \text{ is prime, then } \varphi^{-1}(P) \text{ is prime in } R.

Worked Examples

(5) is prime: if ab ∈ (5), i.e. 5 | ab, then since 5 is prime, 5 | a or 5 | b, so a ∈ (5) or b ∈ (5).
$ab \in (5) \implies a \in (5) \text{ or } b \in (5)$
(5) is maximal: ℤ/(5) = ℤ₅ is a field (every nonzero residue mod 5 has an inverse), so no proper ideal lies strictly between (5) and ℤ.
$\mathbb{Z}/(5) \cong \mathbb{Z}_5 \text{ is a field}$
(6) is not prime: 2 × 3 = 6 ∈ (6), but neither 2 nor 3 is in (6).
$2 \cdot 3 \in (6),\ 2 \notin (6),\ 3 \notin (6)$
(6) is not maximal either, since (6) ⊊ (2) ⊊ ℤ gives a strictly intermediate proper ideal.
$(6) \subsetneq (2) \subsetneq \mathbb{Z}$

Answer: (5) is both prime and maximal in ℤ; (6) is neither, because 6 = 2·3 is composite.

Practice Problems

Difficulty 6/10

Is the ideal (4) prime in ℤ? Is it maximal? Justify using the quotient ring ℤ/(4).

Difficulty 7/10

In the polynomial ring ℝ[x], classify the maximal ideals using the fact that ℝ[x] is a PID and every nonconstant irreducible polynomial over ℝ has degree 1 or 2.

Difficulty 8/10

Explain why the zero ideal (0) is prime in ℤ but not maximal, and relate this to ℤ not being a field.

Common Mistakes

Common Mistake

Believing prime and maximal ideals are the same thing in every ring.

They coincide in many familiar rings (like ℤ) for nonzero ideals, but in general only maximal ⟹ prime; the ideal (x) in ℤ[x] is prime without being maximal.

Common Mistake

Thinking an ideal is prime whenever its quotient ring is 'simple looking'.

Primeness is precisely the statement that R/I has no zero divisors (is a domain) — always check this algebraic criterion rather than relying on intuition.

Quiz

Summary

A proper ideal P is prime when ab ∈ P forces a ∈ P or b ∈ P, equivalently when R/P is an integral domain.
A proper ideal M is maximal when no proper ideal lies strictly between M and R, equivalently when R/M is a field.
Every maximal ideal is prime (fields are domains), but the converse fails in general, e.g. (x) ⊂ ℤ[x] is prime but not maximal.
In a PID, every nonzero prime ideal is maximal, unifying the two notions outside of the zero ideal.
Krull's theorem guarantees every proper ideal is contained in some maximal ideal.

References

WebsiteWikipedia — Prime ideal
WebsiteWikipedia — Maximal ideal