A maximal ideal M has R/M as a field. A prime ideal P has R/P as an integral domain; equivalently, ab ∈ P implies a ∈ P or b ∈ P. Every maximal ideal is prime. Zorn's lemma guarantees maximal ideals exist in any commutative ring with unity.
From your study of ideals, you know that an ideal I in a ring R is a subring that absorbs multiplication from R, and that the quotient ring R/I captures what the ring "looks like" when we collapse I to zero. Two of the most important things R/I can be are a field (no zero divisors, every nonzero element is invertible) and an integral domain (no zero divisors, but inverses not guaranteed). The definitions of maximal and prime ideals are precisely the conditions on I that produce these two outcomes.
A maximal ideal M is an ideal with no other ideal strictly between M and R — it is as large as an ideal can be without being the whole ring. The quotient R/M is then a field. The intuition: in R/M every nonzero coset [a] has an inverse because the ideal generated by M and a equals all of R (since M is maximal), which forces a unit multiple of a to land in M, producing the inverse. The integers give a clean example: the ideal (p) = pZ in Z is maximal exactly when p is prime, and Z/pZ = Z_p is indeed a field.
A prime ideal P satisfies the condition: if ab ∈ P, then a ∈ P or b ∈ P. This generalizes the definition of prime numbers — an integer p is prime iff whenever p | ab, then p | a or p | b, which is exactly the condition that (p) is a prime ideal in Z. In the quotient ring R/P, this condition says there are no zero divisors: if [a][b] = [0] in R/P, then ab ∈ P, so a ∈ P or b ∈ P, meaning [a] = 0 or [b] = 0. Therefore R/P is an integral domain. The key relationship between the two: every maximal ideal is prime (fields are integral domains), but not every prime ideal is maximal. In Z, the zero ideal (0) is prime (Z is an integral domain), but it is not maximal (it is contained in every prime ideal (p)).
Zorn's lemma guarantees that every commutative ring with unity has at least one maximal ideal — a fact that is surprisingly hard to prove without the axiom of choice. The argument is standard: ideals form a partially ordered set under inclusion, every chain of proper ideals has an upper bound (their union), so a maximal element exists. This connects ring theory to the deeper set-theoretic foundations of algebra and explains why maximal ideals are guaranteed to exist even in rings where you cannot construct them explicitly. For most concrete rings (like Z, polynomial rings, matrix rings), you can write down maximal ideals directly without invoking Zorn's lemma.
No topics depend on this one yet.