Prime spectrum
The set Spec(R) of prime ideals of a commutative ring, naturally equipped with the Zariski topology.
Let be a commutative ring. A prime ideal of is a proper ideal such that whenever (with ), then or .
The prime spectrum of is the set
An element is called a point of .
Topology and local data
In commutative algebra one usually studies together with the Zariski topology; this turns into a topological space whose basic opens are closely related to localizations. For a point , the associated local data are the localization and its residue field .
Examples
- A field has a one-point spectrum. If is a field, the only prime ideal is , so .
- The spectrum of the integers. In , the prime ideals are and for primes . Thus Under the Zariski topology, the point is a generic point whose closure is all of .