1 Definition and basic properties
The prime spectrum of a commutative ring is a fundamental construction that translates algebraic data into a geometric setting. It assigns to a ring a set of distinguished ideals, together with a natural topology and additional local algebraic structure. In commutative algebra, it provides a unified way to study prime decomposition, localization, and dimension. In algebraic geometry, it serves as the basic building block for schemes.
1.1 Prime ideals
A prime ideal is a proper ideal \( \mathfrak p \) of a commutative ring \( R \) such that whenever a product \(ab\) lies in \( \mathfrak p \), at least one of \(a\) or \(b\) lies in \( \mathfrak p \). This condition generalizes the familiar property of prime numbers in the integers.
Prime ideals capture the idea of “indecomposable” algebraic loci. They are stable under many constructions and behave well under localization and quotienting. In particular, every maximal ideal is prime, though the converse need not hold.
1.2 The set Spec(R)
The prime spectrum of \(R\), written \(\mathrm{Spec}(R)\), is the set of all prime ideals of \(R\). Each element of this set is treated as a point of an abstract geometric space. The spectrum is not merely a collection of ideals; it becomes meaningful only after it is equipped with the Zariski topology and a structure sheaf.
The notation \(\mathfrak p \in \mathrm{Spec}(R)\) means that \(\mathfrak p\) is a prime ideal of \(R\). The resulting space is called the affine spectrum of \(R\).
1.3 Examples
The shape of \(\mathrm{Spec}(R)\) varies widely depending on the ring. Even simple rings produce spectra with useful geometric intuition.
1.3.1 Spectrum of a field
If \(k\) is a field, its only ideal that is proper is \((0)\), and this ideal is prime. Hence \(\mathrm{Spec}(k)\) consists of a single point. This makes the spectrum of a field the simplest possible affine scheme.
1.3.2 Spectrum of an integral domain
If \(R\) is an integral domain, then \((0)\) is a prime ideal, so \(\mathrm{Spec}(R)\) always contains a generic point. Additional prime ideals reflect the algebraic structure of the ring. For example, in a polynomial ring over a field, prime ideals correspond to irreducible algebraic conditions.
1.3.3 Spectrum of a principal ideal domain
For a principal ideal domain, the prime ideals are exactly the zero ideal and the ideals generated by prime elements. Thus the spectrum consists of a generic point together with points corresponding to prime divisors. This yields a clear arithmetic picture of the ring.
1.4 Basic ring-theoretic interpretations
Many ring-theoretic properties can be read from \(\mathrm{Spec}(R)\). The nilradical, for instance, is the intersection of all prime ideals. Reduced rings correspond to spectra in which the nilradical is zero. Likewise, quotient rings and localizations have spectra that reflect the prime ideals compatible with the construction.
The spectrum also encodes containment relations among prime ideals. Specialization and generalization of points correspond to inclusion relations between the underlying ideals, giving a direct bridge between algebraic order and topological structure.
2 Zariski topology on the spectrum
The Zariski topology is the natural topology on \(\mathrm{Spec}(R)\). It is defined using ideals of the ring and has a coarse structure that is well suited to algebraic applications. Although it is not Hausdorff in general, it is designed to reflect algebraic constraints rather than metric separation.
2.1 Closed sets
For any subset \(S \subseteq R\), one defines \[ V(S)=\{\mathfrak p \in \mathrm{Spec}(R) : S \subseteq \mathfrak p\}. \] These sets are closed in the Zariski topology. Equivalently, if \(I\) is an ideal, then \(V(I)\) is the set of all prime ideals containing \(I\).
Closed sets correspond to algebraic conditions imposed by ideals. Larger ideals generally yield smaller closed subsets, since more primes are forced to contain them.
2.2 Basic open sets
A standard basis for the topology is given by the sets \[ D(f)=\{\mathfrak p \in \mathrm{Spec}(R) : f \notin \mathfrak p\}, \] for \(f \in R\). These are open sets and are often called principal open subsets.
Basic opens are useful because they interact cleanly with localization. They form a basis for the topology, and finite intersections satisfy \[ D(f)\cap D(g)=D(fg). \] This multiplicative behavior mirrors the algebra of the ring.
2.3 Topological properties
The Zariski topology has several notable features that distinguish it from familiar topologies in analysis.
2.3.1 Quasi-compactness
The spectrum \(\mathrm{Spec}(R)\) is quasi-compact: every open cover by basic opens has a finite subcover. This property is one of the reasons the space is so useful in algebraic geometry. It persists under many natural constructions and supports finite-type arguments.
2.3.2 Irreducibility
If \(R\) is an integral domain, then \(\mathrm{Spec}(R)\) is irreducible. More generally, irreducible closed subsets correspond to prime ideals. This makes irreducibility a direct reflection of primeness and helps explain why prime ideals are the right points for the theory.
2.3.3 T0 property
The spectrum is always a \(T_0\) space. Distinct points can be topologically distinguished by their closures. However, \(\mathrm{Spec}(R)\) is rarely \(T_1\), since many points have nontrivial specializations. This asymmetry is part of what makes the topology algebraically meaningful.
2.4 Closure of points
The closure of a point \(\mathfrak p\) in \(\mathrm{Spec}(R)\) is \[ \overline{\{\mathfrak p\}} = V(\mathfrak p). \] Thus the closure consists of all prime ideals containing \(\mathfrak p\). A point is closed exactly when the corresponding prime ideal is maximal.
This description shows that topological closure encodes specialization: a point lies in the closure of another precisely when the first ideal contains the second. The topology therefore organizes prime ideals by inclusion.
3 Structure sheaf and locally ringed spaces
Beyond its topology, the spectrum carries a sheaf of rings that records local algebraic data. Together, the space and sheaf form an affine scheme, which is a locally ringed space with a particularly tractable structure.
3.1 Localization at a prime ideal
To study the ring near a prime ideal \(\mathfrak p\), one localizes \(R\) at the complement of \(\mathfrak p\). The resulting local ring \(R_{\mathfrak p}\) has a unique maximal ideal, making it an algebraic analogue of the “germ” of the ring at that point.
Localization in this sense isolates behavior relevant to a chosen prime while inverting elements outside it. It is indispensable in both commutative algebra and geometry.
3.2 Stalks of the structure sheaf
The structure sheaf \(\mathcal O_{\mathrm{Spec}(R)}\) assigns to each open set a ring of functions compatible with localization. The stalk at a point \(\mathfrak p\) is canonically isomorphic to \(R_{\mathfrak p}\).
This identification is central: it means that the local ring at each point of the spectrum is exactly the localization of the original ring at the corresponding prime. The local behavior of the space is therefore determined directly by the algebra of \(R\).
3.3 Affine schemes
A ringed space of the form \((\mathrm{Spec}(R), \mathcal O_{\mathrm{Spec}(R)})\) is called an affine scheme. Affine schemes are the basic objects from which general schemes are built by gluing. They provide a geometric language for ring theory and support a broad range of constructions, including morphisms, fibers, and local invariants.
4 Morphisms induced by ring homomorphisms
Ring homomorphisms induce maps on spectra in the opposite direction. This contravariant behavior is one of the most important features of the spectrum construction and underlies its geometric interpretation.
4.1 Contravariant functoriality
If \( \varphi : R \to S \) is a ring homomorphism, then there is an induced map \[ \varphi^\ast : \mathrm{Spec}(S) \to \mathrm{Spec}(R) \] given by inverse image of prime ideals: \(\mathfrak q \mapsto \varphi^{-1}(\mathfrak q)\). Because prime ideals pull back to prime ideals, this map is well defined.
The reversal of direction reflects a general principle in algebraic geometry: maps of spaces correspond to maps of rings in the opposite direction.
4.2 Continuous maps on spectra
The induced map on spectra is continuous with respect to the Zariski topology. Indeed, the preimage of a basic open set \(D(f)\) is \(D(\varphi(f))\). This compatibility makes \(\mathrm{Spec}\) into a contravariant functor from commutative rings to topological spaces.
The same map is compatible with the structure sheaves, so ring homomorphisms yield morphisms of affine schemes.
4.3 Behavior under localization
Localization has a particularly simple effect on spectra. If one localizes \(R\) at a multiplicative set \(S\), then the spectrum of \(S^{-1}R\) identifies with the subset of prime ideals of \(R\) disjoint from \(S\). This subset is open in the Zariski topology.
Inverting elements removes primes that contain those elements, so localization corresponds to restricting attention to an open region of the spectrum.
5 Important subsets and constructions
Several subsets of the spectrum play especially important roles in algebra and geometry. They isolate maximal, generic, and homological information.
5.1 Maximal spectrum
The maximal spectrum, often denoted \(\mathrm{MaxSpec}(R)\), is the set of maximal ideals of \(R\). These points are closed in the Zariski topology. In many classical settings, such as finitely generated algebras over algebraically closed fields, maximal ideals correspond to familiar geometric points.
The maximal spectrum is not always topologically closed as a subset of \(\mathrm{Spec}(R)\), but it is important because it captures residue fields and closed-point behavior.
5.2 Closed points
A point of \(\mathrm{Spec}(R)\) is closed if and only if its corresponding prime ideal is maximal. Closed points therefore represent the most specific algebraic conditions available in the spectrum. They are often the points that match classical geometric intuition most closely.
5.3 Generic points
A generic point is a point whose closure is a given irreducible closed subset. In \(\mathrm{Spec}(R)\), the prime ideal associated with an irreducible closed set serves as its generic point. For an integral domain, the zero ideal is the generic point of the whole space.
Generic points express the idea that an irreducible locus is controlled by a single prime ideal. They are a distinctive feature of scheme theory and do not usually occur in classical geometric spaces in the same way.
5.4 Associated primes
Associated primes are prime ideals that arise as annihilators of elements in modules or as primes attached to module structure. They reveal where a module has embedded algebraic complexity. In geometry, associated primes often indicate components or singular behavior in a precise algebraic sense.
They are especially useful in decomposition theorems and in analyzing depth, support, and local properties of modules.
6 Examples and computations
Concrete calculations with spectra help illustrate how the general theory works. They also show how the geometry of \(\mathrm{Spec}(R)\) can be read from familiar algebraic data.
6.1 Polynomial rings
For a polynomial ring \(k[x]\) over a field \(k\), the prime ideals include \((0)\) and ideals generated by irreducible polynomials. Over an algebraically closed field, maximal ideals correspond to points of the affine line, each given by \((x-a)\).
For higher-dimensional polynomial rings, prime ideals encode algebraic subvarieties. The spectrum becomes a space whose topology and points reflect polynomial relations rather than ordinary coordinates.
6.2 Quotient rings
If \(I\) is an ideal of \(R\), then \(\mathrm{Spec}(R/I)\) identifies with the closed subset \(V(I)\) of \(\mathrm{Spec}(R)\). Prime ideals of the quotient correspond exactly to prime ideals of \(R\) containing \(I\).
This makes quotient rings geometrically interpretable as closed subspaces of spectra. The construction is one of the basic ways algebraic subsets arise.
6.3 Product rings
For a finite product \(R \times S\), the prime ideals are of the form \(\mathfrak p \times S\) and \(R \times \mathfrak q\), where \(\mathfrak p \in \mathrm{Spec}(R)\) and \(\mathfrak q \in \mathrm{Spec}(S)\). Thus the spectrum of a product is the disjoint union of the spectra of the factors.
This behavior shows that the spectrum respects decomposition of rings into independent pieces. It also contrasts with direct sums in geometry, which often correspond to disconnected spaces.
6.4 Nilpotent elements and the nilradical
Nilpotent elements lie in every prime ideal. Consequently, the nilradical of a ring, consisting of all nilpotent elements, is the intersection of all prime ideals. A ring is reduced if and only if its nilradical is zero.
From the viewpoint of \(\mathrm{Spec}(R)\), nilpotent elements do not affect the underlying topological space, but they do influence the structure sheaf. This distinction is one reason schemes retain more information than topological spaces alone.
7 Relationship with algebraic geometry
The prime spectrum provides the bridge between commutative algebra and algebraic geometry. It converts algebraic equations into geometric spaces and makes possible a scheme-theoretic treatment of varieties and more general objects.
7.1 Affine varieties
Classical affine varieties over an algebraically closed field correspond closely to maximal ideals of coordinate rings, while \(\mathrm{Spec}(R)\) includes all prime ideals, not only closed points. This enlargement introduces generic points and nonclosed loci, allowing a richer geometry than classical varieties alone.
In modern language, an affine variety can be viewed as a special case of an affine scheme with reduced coordinate ring over an algebraically closed field.
7.2 Nullstellensatz and geometric interpretation
The Nullstellensatz links ideals in polynomial rings to algebraic sets of common zeros. It explains why maximal ideals in finitely generated algebras over algebraically closed fields correspond to points. The spectrum generalizes this correspondence by replacing points with prime ideals of all heights.
This broader perspective makes it possible to describe components, closures, and local behavior in a uniform way. Algebraic relations become topological conditions on the spectrum.
7.3 Scheme-theoretic viewpoint
In scheme theory, \(\mathrm{Spec}(R)\) is the basic affine scheme from which all schemes are assembled by gluing. This framework extends algebraic geometry beyond classical varieties and allows singularities, nonreduced structures, and arithmetic phenomena to be treated in one language.
The spectrum thus functions as both a local model and a conceptual foundation. Its combination of algebraic points, topology, and sheaf-theoretic structure is what makes it central to modern geometry.