1 Definition and basic properties
1.1 Definition of maximal ideal
A maximal ideal is a proper ideal that cannot be enlarged without becoming the whole ring. In other words, if an ideal \(M\) is maximal, then there is no ideal \(I\) with \(M \subsetneq I \subsetneq R\), where \(R\) is the ring. This definition expresses maximality purely in terms of inclusion.
1.2 Proper ideals and maximality
The requirement that an ideal be proper is essential. If an ideal equals the entire ring, then it is not considered maximal, since it already contains every ideal. Maximality is therefore a statement about being as large as possible while still remaining distinct from the whole ring.
1.3 Maximal ideals in rings
Maximal ideals are defined for rings with identity in the standard theory of algebra. Their behavior is especially well developed in commutative rings, where they control many structural features of the ring. In noncommutative rings, analogous notions may depend on whether one considers left, right, or two-sided ideals.
1.3.1 Maximality under inclusion
The defining property of a maximal ideal is that it is maximal with respect to inclusion among proper ideals. This means it is not merely large in size, but unattainable by any proper enlargement. Such ideals often serve as boundary objects in the lattice of ideals.
1.3.2 Comparison with other ideals
Maximal ideals are stronger than prime ideals in commutative algebra, since every maximal ideal is prime, but not conversely. They are also distinct from radical ideals, which are defined by closure under taking roots of powers. These comparisons help position maximal ideals within the broader hierarchy of ideal-theoretic concepts.
1.4 Immediate consequences
A key consequence of maximality is that quotienting by such an ideal produces a simple algebraic structure. This makes maximal ideals a natural tool for translating questions about rings into questions about fields or simple rings.
1.4.1 Quotient by a maximal ideal
If \(M\) is a maximal ideal of a commutative ring \(R\), then \(R/M\) is a field. This follows from the fact that every nonzero element of the quotient generates the whole quotient as an ideal. The result is one of the most important characterizations of maximal ideals.
1.4.2 Existence criteria
Not every proper ideal is contained in a maximal ideal in arbitrary ring-theoretic settings, but in many common contexts maximal ideals do exist. Standard existence proofs often use Zorn's lemma, which ensures the presence of maximal elements in partially ordered collections of proper ideals.
2 Examples
2.1 Maximal ideals in the integers
In the ring of integers \(\mathbb{Z}\), the maximal ideals are exactly the ideals generated by prime numbers, such as \((2)\), \((3)\), and \((5)\). The quotient \(\mathbb{Z}/(p)\) is the finite field with \(p\) elements. This example is a basic model for maximality in commutative algebra.
2.2 Maximal ideals in polynomial rings
Polynomial rings contain many maximal ideals, often corresponding to algebraic conditions on the values of the variables. Their structure depends strongly on the base ring and whether it is a field.
2.2.1 Maximal ideals over fields
If \(k\) is a field, maximal ideals in \(k[x]\) are generated by irreducible polynomials. In several variables, maximal ideals may be more complicated, but over algebraically closed fields they are closely tied to points of affine space. This makes polynomial rings a central testing ground for ideal theory.
2.2.2 Evaluation ideals
Given a field \(k\) and a point \(a \in k\), the ideal \((x-a)\) in \(k[x]\) consists of polynomials vanishing at \(a\). More generally, in multivariable polynomial rings, ideals generated by \(x_i-a_i\) encode evaluation at a point. Such ideals are maximal when the resulting quotient is the base field.
2.3 Maximal ideals in quotient rings
If a ring \(R\) is divided by an ideal \(I\), maximal ideals of \(R/I\) correspond to maximal ideals of \(R\) that contain \(I\). This correspondence is a standard result and allows maximal ideals to be studied through simpler quotient rings. It is often used to transfer structure from one ring to another.
2.4 Maximal ideals in matrix rings
For full matrix rings over a field, such as \(M_n(k)\), the ideal structure is very restricted. In the simple ring \(M_n(k)\), there are no nontrivial two-sided ideals, so the only two-sided maximal ideal is the zero ideal when the ring is viewed as simple. This example illustrates that maximal ideals in noncommutative settings require careful interpretation.
3 Relationship with prime ideals
3.1 Every maximal ideal is prime
In a commutative ring with identity, every maximal ideal is prime. The proof uses the fact that if a product lies in a maximal ideal, then one factor must already lie there; otherwise the ideal generated by the maximal ideal and that factor would be the whole ring. This relationship is one of the most useful links between the two notions.
3.2 When prime ideals are maximal
A prime ideal need not be maximal. It becomes maximal in special situations, such as when the quotient ring has no nontrivial ideals beyond zero and itself, or when the prime ideal has a zero-dimensional geometric interpretation. In certain principal ideal domains, prime and maximal ideals coincide for nonzero primes.
3.3 Counterexamples in noncommutative settings
In noncommutative rings, the connection between maximal and prime ideals is less direct. Depending on whether one studies left, right, or two-sided ideals, a maximal ideal may fail to have a straightforward prime analogue. These distinctions reflect the more intricate ideal theory of noncommutative algebra.
3.4 Radical ideals and prime avoidance
Radical ideals are determined by the property that whenever a power of an element lies in the ideal, the element itself lies there as well. Maximal ideals often appear in arguments involving prime avoidance, where one seeks elements outside a finite union of prime ideals. Such methods are important in commutative algebra and algebraic geometry.
4 Maximal ideals in commutative algebra
4.1 Characterizations in commutative rings
In commutative algebra, maximal ideals admit several equivalent descriptions. They can be characterized by inclusion properties, by the structure of quotient rings, and by their behavior under ring homomorphisms. These equivalences make them central organizing objects in the subject.
4.1.1 Field quotients
The quotient criterion is often the most practical: an ideal is maximal precisely when the quotient ring is a field. This provides a direct bridge between ideal theory and field theory. It also makes maximal ideals easy to recognize in many concrete examples.
4.1.2 Maximality and generators
In finitely generated algebras, maximal ideals frequently arise from specifying values of generators or from irreducibility conditions. The generators of the ideal often reflect algebraic relations among variables or elements of the ring. This viewpoint is especially useful in computational settings.
4.2 Jacobson radical
The Jacobson radical is the intersection of all maximal ideals of a ring, when such ideals are considered. It measures how far the ring is from having enough simple quotient behavior. In many cases, it captures the common core shared by all maximal ideals.
4.2.1 Intersection of maximal ideals
Because maximal ideals are often numerous, their intersection can be small, sometimes even zero. In a commutative ring, this intersection encodes elements that vanish in every simple residue field. The resulting ideal plays a major role in structural analysis.
4.2.2 Relation to ring structure
The Jacobson radical influences invertibility, module behavior, and local properties of rings. Elements in the radical have a weakening effect on the ring's multiplicative structure. Understanding this intersection helps identify global properties from local data.
4.3 Localization and local rings
Localization focuses attention on a chosen prime or maximal ideal by inverting elements outside it. This process simplifies the ring while preserving information relevant to the selected ideal. Local rings are the rings that arise when there is a single maximal ideal governing the structure.
4.3.1 Maximal ideals in local rings
A local ring has exactly one maximal ideal. This property gives it a particularly simple ideal structure and makes it useful for studying neighborhoods of points in algebraic geometry and commutative algebra. The unique maximal ideal controls many of its algebraic features.
4.3.2 Unique maximal ideals
The existence of a unique maximal ideal means that every nonunit lies in that ideal. This equivalence is one of the defining features of local rings. It allows maximal ideals to be recognized through the behavior of units and nonunits.
4.4 Nakayama-type arguments
Nakayama's lemma is a standard tool in the presence of maximal ideals, especially in local rings and finitely generated modules. It gives criteria for when a module must vanish or be generated by a certain set of elements. Such arguments rely on the strong control provided by the maximal ideal.
5 Existence and construction
5.1 Zorn's lemma proof
A common proof of the existence of maximal ideals uses Zorn's lemma. One considers the partially ordered set of proper ideals containing a given proper ideal and shows that every chain has an upper bound. Zorn's lemma then guarantees a maximal element, which is a maximal ideal.
5.2 Maximal ideals in finitely generated algebras
In finitely generated algebras over fields, maximal ideals are often constructed by evaluating generators at specific values or by adjoining relations that force a field quotient. These constructions connect algebraic equations with ideal-theoretic conditions. They are central in the study of affine algebraic varieties.
5.3 Maximal ideals in Noetherian rings
Noetherian rings have the ascending chain condition on ideals, which simplifies many arguments about maximality. While not every ideal is maximal, the ring's finiteness conditions make the existence and classification of maximal ideals more manageable. This setting is common in both algebra and geometry.
5.4 Construction from ideals and homomorphisms
Ring homomorphisms provide a convenient way to build maximal ideals. The kernel of a surjective homomorphism onto a field is maximal. More generally, preimages of maximal ideals under suitable maps often yield new maximal ideals in the source ring.
6 Geometric and algebraic significance
6.1 Maximal ideals and algebraic varieties
In classical algebraic geometry, maximal ideals in coordinate rings correspond to algebraic points, especially over algebraically closed fields. This identification turns geometric questions into algebraic ones about ideals and quotients. As a result, maximal ideals serve as the algebraic shadow of points.
6.2 Points of affine schemes
In scheme theory, maximal ideals correspond to certain points of affine schemes and help describe the underlying topological space. They are especially important in connecting algebraic data to geometric loci. Their associated residue fields capture local information at the point.
6.2.1 Correspondence with closed points
For affine schemes of finite type over an algebraically closed field, maximal ideals often correspond to closed points. This correspondence generalizes the classical picture of points in affine varieties. It provides a precise algebraic description of geometric closure.
6.2.2 Residue fields
The residue field at a maximal ideal is the quotient field \(R/M\). This field records the local algebraic behavior at the corresponding point or location. In geometry, it measures the coordinates or arithmetic content of that point.
6.3 Hilbert's Nullstellensatz
Hilbert's Nullstellensatz gives a foundational relationship between ideals in polynomial rings and algebraic sets. In its weak form, it states that maximal ideals in polynomial rings over an algebraically closed field correspond to points. In its stronger forms, it links radical ideals to vanishing sets and makes maximal ideals a cornerstone of classical algebraic geometry.
7 Noncommutative considerations
7.1 Right and left maximal ideals
In noncommutative rings, left and right ideals are different objects, so maximality must be specified accordingly. A left maximal ideal is maximal among proper left ideals, while a right maximal ideal is defined analogously. These distinctions do not arise in commutative rings.
7.2 Maximal two-sided ideals
Two-sided maximal ideals are proper two-sided ideals that are maximal under inclusion. They are important because quotienting by a two-sided ideal preserves ring multiplication. Such quotients often reveal simple or semisimple structure.
7.3 Simple rings and quotient structures
A ring with no nontrivial two-sided ideals is simple. In that case, the zero ideal is maximal among two-sided ideals if the ring is nonzero and simple. This viewpoint connects maximal ideals to structural decomposition in noncommutative algebra.
7.4 Differences from the commutative case
Many familiar commutative results fail or require modification in the noncommutative setting. For example, the relationship between maximal and prime ideals is less uniform, and quotient structures can behave differently depending on sidedness. Consequently, noncommutative ideal theory is more nuanced.
8 Applications
8.1 Structure theory of rings
Maximal ideals help classify rings by describing their simplest quotient fields or simple quotients. They are used to detect local behavior, build radicals, and understand decomposition patterns. Their presence often reveals the most elementary building blocks of a ring.
8.2 Module theory
In module theory, maximal ideals are important in studying cyclic modules, annihilators, and composition factors. They play a role in criteria for finite generation and in results such as Nakayama's lemma. Their influence extends to the classification of simple modules.
8.3 Algebraic geometry
Maximal ideals provide the algebraic language for points, local neighborhoods, and residue fields in algebraic geometry. They connect polynomial equations to geometric objects and support the passage from coordinates to schemes. This makes them indispensable in both classical and modern formulations.
8.4 Number theory and arithmetic rings
In arithmetic rings such as rings of integers in number fields, maximal ideals generalize prime numbers and encode arithmetic decomposition. They are used to study factorization, ramification, and local-global methods. Their role is central in algebraic number theory and related branches of arithmetic geometry.