A proper ideal M of a ring R that is maximal with respect to inclusion among proper ideals: there is no ideal I with M ⊊ I ⊊ R; equivalently R/M is a field.

Principle

Maximality selects ideals whose quotient collapses all nonunits, producing a simple ring (a field) and serving as points in algebraic geometry via coordinate rings.

Demonstration

In Z, the ideal (p) generated by a prime p is maximal because Z/(p) ≅ F_p is a field. In k[x], ideals of the form (x - a) for a ∈ k are maximal with quotient k.

Misapplication

Assuming every maximal ideal is principal or that maximal implies unique factorization; maximal ideals need not be generated by one element and do not guarantee UFD properties.

Consequence

Localization at a maximal ideal yields a local ring with a single maximal ideal, and maximal ideals correspond to closed points in the spectrum of a ring.

Reversal

A nonmaximal proper ideal can be strictly contained in larger proper ideals and its quotient is not a field but has nontrivial ideals or zero divisors.

Boundary

Maximal ideals are proper by definition; in noncommutative rings left- and right-maximal ideals can differ and the equivalence with division rings replaces fields in one-sided contexts.

Semantic Tension

Maximal vs prime: every maximal ideal is prime in commutative rings, but the converse fails in higher-dimensional rings; conflating them loses information about dimension.

Synthesis

A maximal ideal is a largest proper ideal whose quotient is a field; it identifies 'points' where the ring behaves simply and underlies localization and geometric interpretation.