Overview
The spectrum of a ring, usually denoted Spec(R), is a construction that associates to a commutative ring R a topological space whose points are the prime ideals of R. Equipped with the Zariski topology and a canonical structure sheaf, Spec(R) becomes a locally ringed space and the basic local model for modern algebraic geometry and scheme theory. It provides a way to view algebraic information about R as geometric data.
Definition and topology
As a set, Spec(R) = {p ⊂ R | p is a prime ideal}. The closed sets are defined by vanishing of sets of elements: for S ⊂ R, V(S) = {p ∈ Spec(R): S ⊂ p}. The complements D(f) = {p : f ∉ p} form a basis of open sets. This Zariski topology is generally coarse (it is T0 but not Hausdorff) and reflects algebraic relations in R: containment of primes corresponds to specialization of points.
Structure sheaf and local behavior
Beyond topology, Spec(R) is endowed with a sheaf O_{Spec(R)} whose sections over a basic open D(f) are the localization R_f. Stalks at a point p recover the local ring R_p, so geometric properties of points translate into algebraic properties of the corresponding localized rings. This local-to-global correspondence is central to the link between commutative algebra and geometry and is foundational in commutative algebra.
Key properties and examples
- Spec(R) is quasi-compact: every open cover has a finite subcover.
- Irreducible closed subsets correspond to prime ideals; minimal primes give irreducible components.
- Maximal ideals correspond to closed points in many classical situations, but in general Spec(R) contains non-closed points reflecting generic behaviour.
- Examples: Spec(k) for a field k is a single point; Spec(Z) has one point for each prime number plus a generic point for (0); Spec(k[x]) models the affine line over a field k.
Uses, importance and distinctions
Spec(R) is the prototypical affine scheme: any affine scheme is isomorphic as a locally ringed space to Spec of its coordinate ring. Global schemes are glued from such affines. The construction makes precise the philosophy of treating rings as algebras of functions on spaces and of studying geometric phenomena via algebra. A common distinction is between Spec(R) and MaxSpec(R): the latter contains only maximal ideals and is often used in classical algebraic geometry over algebraically closed fields, whereas Spec(R) carries finer information needed for arithmetic and scheme-theoretic arguments.
Historical notes and further reading
The systematic use of spectra as building blocks of schemes was popularized in the mid-20th century by Grothendieck and collaborators, though prime spectra had been considered earlier in commutative algebra. For concise introductions and examples see standard texts on scheme theory and algebraic geometry. Spec(R) remains a central and flexible tool connecting algebraic operations with geometric intuition.