1 Definition and basic properties
Prime ideals are a central notion in commutative algebra. They generalize prime numbers by identifying ideals that behave indivisibly with respect to multiplication. Their defining feature is that if a product falls into the ideal, then at least one factor must already lie in it. This makes them a natural tool for studying factorization, ring structure, and geometric objects attached to rings.
1.1 Ideals in rings
An ideal is an additive subgroup of a ring that is stable under multiplication by arbitrary ring elements. In a commutative ring, ideals organize how elements combine under multiplication and provide a framework for forming quotient rings. Many structural questions about a ring can be translated into questions about its ideals.
1.2 Definition of a prime ideal
A prime ideal is a proper ideal with a strong multiplicative property. In a commutative ring with identity, an ideal P is prime if whenever a product ab belongs to P, then a is in P or b is in P. This condition mirrors the behavior of prime numbers among integers.
1.2.1 Product condition
The product condition is the defining test for primality. It says that P absorbs products only in the limited sense that membership of ab forces membership of one factor. Equivalently, the complement of a prime ideal is closed under multiplication, so elements outside P never multiply into P without one of them already being inside.
1.2.2 Relation to proper ideals
A prime ideal must be proper, meaning it cannot be the entire ring. This is necessary because the defining product condition would be vacuous for the whole ring and would not distinguish any meaningful structure. Properness ensures that the ideal defines a genuine obstruction inside the ring.
1.3 Examples and non-examples
Prime ideals occur in familiar settings and can often be recognized by the quotient ring they define. Typical non-examples include ideals that fail the product condition even though they may still have strong closure properties.
1.3.1 Prime ideals in the integers
In the ring of integers, the prime ideals are precisely the ideals generated by prime numbers, such as (2), (3), and (5). These reflect the classical notion of prime integers. The zero ideal is not prime in the integers because the quotient ring is still the integers, which is an integral domain, but in this case the zero ideal actually is prime; it serves as an important example of the correspondence between prime ideals and domains.
1.3.2 Prime ideals in polynomial rings
In polynomial rings, prime ideals can be more varied. For example, in k[x], where k is a field, the ideal generated by an irreducible polynomial is prime. In several variables, prime ideals may encode algebraic relations among polynomial functions and often correspond to geometric subvarieties.
1.4 Equivalent characterizations
Prime ideals admit several equivalent descriptions that are often easier to use in practice. These reformulations connect algebraic definitions to quotient rings and to the absence of zero divisors.
1.4.1 Quotient ring formulation
An ideal P is prime if and only if the quotient ring R/P is an integral domain. This is one of the most useful characterizations because it transforms the multiplicative condition on an ideal into a ring-theoretic property of the quotient. It also explains why prime ideals are linked to irreducibility and clean factorization behavior.
1.4.2 Zero divisors and domains
The quotient ring R/P being a domain means it has no nonzero zero divisors. Thus, an ideal is prime exactly when collapsing it removes all zero divisors from the quotient except those forced by zero. This perspective is especially helpful when comparing prime ideals with related notions such as maximal and radical ideals.
2 Fundamental examples
Several common classes of rings have especially transparent prime ideals. These examples illustrate how primality interacts with factorization and divisibility in different algebraic settings.
2.1 Prime ideals in principal ideal domains
In a principal ideal domain, prime ideals are generated by prime elements, together with the zero ideal when the domain itself is integral. Because every ideal is principal, the structure of prime ideals closely mirrors the factorization theory of elements. This makes principal ideal domains a standard testing ground for the concept.
2.2 Prime ideals in unique factorization domains
In a unique factorization domain, every irreducible element is prime, and therefore principal ideals generated by prime elements are prime ideals. However, not every prime ideal must be principal in more complicated UFDs with several variables. The distinction between prime elements and prime ideals becomes more visible in such rings.
2.3 Prime ideals in quotient rings
Prime ideals in a quotient ring correspond to prime ideals of the original ring that contain the defining ideal of the quotient. This relationship is a basic example of how prime ideals behave under algebraic constructions. It allows one to study the spectrum of a quotient through the spectrum of the ambient ring.
2.4 Maximal ideals as prime ideals
Every maximal ideal in a commutative ring with identity is prime. This follows because the quotient by a maximal ideal is a field, and every field is an integral domain. The converse is not always true, so prime ideals form a broader class than maximal ideals.
3 The prime spectrum
The prime spectrum is one of the most important constructions in modern commutative algebra and algebraic geometry. It packages all prime ideals of a ring into a single space with a natural topology.
3.1 Definition of Spec(R)
The prime spectrum of a ring R, written Spec(R), is the set of all prime ideals of R. Each prime ideal is treated as a point of this space. The collection of these points encodes deep algebraic information about the ring.
3.2 Zariski topology
Spec(R) is equipped with the Zariski topology, a coarse topology defined using ideals of R. Its closed sets are determined by sets of prime ideals containing a given ideal. This topology is foundational in algebraic geometry because it turns algebraic conditions into geometric ones.
3.3 Closed and open sets
For an ideal I, the closed set V(I) consists of all prime ideals containing I. The complements of these sets are open and form a basis for the topology. Basic open sets are often written as D(f), consisting of prime ideals not containing a chosen element f.
3.4 Basic geometric interpretation
The prime spectrum can be viewed as a geometric space whose points represent prime constraints on the ring. Maximal ideals often correspond to classical points, while nonmaximal prime ideals encode more subtle geometric features such as subvarieties or generic points. This interpretation gives algebraic objects a spatial form.
4 Relations to other ideal classes
Prime ideals are closely related to several other important kinds of ideals. These relationships clarify the role of prime ideals in decomposition, localization, and geometric interpretation.
4.1 Maximal ideals
Maximal ideals are always prime, but they are more restrictive. They define fields as quotient rings, whereas prime ideals only require integral domains. In geometric language, maximal ideals often represent closed points, while prime ideals may represent more general loci.
4.2 Radical ideals
An ideal is radical if it equals the intersection of all prime ideals containing it. Prime ideals are radical themselves. This connection makes prime ideals the building blocks of radical theory and the algebraic basis of nilpotent-free behavior.
4.3 Primary ideals
Primary ideals generalize prime ideals by allowing some controlled failure of primality. If ab lies in a primary ideal and a is outside it, then some power of b must lie in the ideal. Prime ideals are the special case where no power is needed, so they represent the sharpest form of this idea.
4.4 Minimal prime ideals
Minimal prime ideals are prime ideals minimal under inclusion among those containing a given ideal, often the zero ideal. They reveal the irreducible components of a ring or algebraic set. Their study is important in understanding decomposition and the structure of singular spaces.
5 Behavior under ring constructions
Prime ideals interact predictably with common ring operations. These behaviors make them adaptable tools for transferring information between related rings.
5.1 Images and preimages under homomorphisms
Under a ring homomorphism, the preimage of a prime ideal is prime when the map is compatible with the relevant quotient structure. Conversely, images of prime ideals require more care and are not always prime. These distinctions are essential when comparing rings through morphisms.
5.2 Localization
Localization often preserves and refines prime ideals. Prime ideals in a localized ring correspond to prime ideals of the original ring that avoid the multiplicative set used in the localization. This allows one to focus on behavior near a chosen region of the spectrum.
5.3 Extensions and contractions
When passing between a ring and a subring or an overring, prime ideals can be extended and contracted. Contraction always carries a prime ideal to a prime ideal in the smaller ring under suitable conditions. Extension, however, may produce nonprime ideals unless the ring map satisfies additional hypotheses.
5.4 Quotients by ideals
Prime ideals in a quotient R/I correspond to prime ideals of R containing I. This correspondence is one of the most useful in commutative algebra because it reduces questions about quotient rings to questions about the ambient ring. It also underlies many geometric constructions.
6 Applications in algebra and geometry
Prime ideals provide a bridge between algebraic equations and geometric spaces. Their applications range from the study of varieties to the analysis of local behavior in rings and schemes.
6.1 Algebraic geometry and affine varieties
In affine algebraic geometry, prime ideals define irreducible algebraic sets and their coordinate rings. The vanishing of a prime ideal captures an algebraic subset that cannot be written as the union of two smaller closed subsets. This is a key reason prime ideals are central to the subject.
6.2 Irreducibility and decomposition
Prime ideals are tied to irreducibility because their associated closed sets cannot be decomposed into simpler closed pieces. Intersections of prime ideals help describe decompositions of ideals into components. This relationship supports the study of how algebraic objects break into fundamental pieces.
6.3 Dimension theory
Chains of prime ideals measure the dimension of a ring or a space. The length of the longest strictly increasing chain often defines Krull dimension. This makes prime ideals the main tool for tracking how many independent steps of specialization or containment a ring admits.
6.4 Local rings and local properties
Prime ideals are used to form local rings, especially by localizing at a prime ideal. The resulting ring focuses on behavior near that prime and is crucial for studying local properties such as regularity, singularity, and depth. This local viewpoint is standard in modern algebraic geometry.
7 Special cases and generalizations
The notion of primality has several variants and extensions. Some arise from comparing elements with ideals, while others appear in broader algebraic systems.
7.1 Prime elements versus prime ideals
A prime element is an element whose divisibility behavior resembles that of a prime number. In many rings, a prime element generates a prime ideal, but the converse need not hold. The distinction becomes important in rings where not every prime ideal is principal.
7.2 Prime ideals in noncommutative rings
In noncommutative rings, the definition of prime ideal is modified to fit the lack of commutativity. A common version requires that if aRb lies in the ideal, then a or b must lie in it, where R is the whole ring. The theory is subtler than in the commutative case and often branches into several related notions.
7.3 Completely prime ideals
A completely prime ideal is one for which the quotient ring is an integral domain in a strong sense suited to noncommutative contexts. In commutative algebra, this notion coincides with the usual definition of prime ideal. In broader settings, it helps distinguish ideals with especially rigid multiplicative behavior.
7.4 Prime ideals in modules and lattices
Analogues of prime ideals also appear in module theory and lattice theory. These generalizations preserve the idea of an elementwise or product-based test for membership, adapted to the ambient structure. Such extensions show that primality is a flexible concept far beyond ordinary ring theory.