Math 2.0

Algebraic geometry Definition

Spectrum of a ring

Builds on Commutative ringPrime idealZariski topologyRing homomorphism

Definition

Let RR be a commutative ring. The spectrum of RR is the set Spec⁡R={𝔭:𝔭 is a prime ideal of R},\operatorname{Spec} R = \set{\mathfrak p : \mathfrak p \text{ is a prime ideal of } R}, equipped with the Zariski topology, whose closed sets are the sets V(E)={𝔭∈Spec⁡R:E⊆𝔭}V(E) = \set{\mathfrak p \in \operatorname{Spec} R : E \subseteq \mathfrak p} for subsets E⊆RE \subseteq R.

Remarks

A ring homomorphism f ⁣:R→Af \colon R \to A induces the map Spec⁡A→Spec⁡R\operatorname{Spec} A \to \operatorname{Spec} R, 𝔮↦f−1(𝔮)\mathfrak q \mapsto f^{-1}(\mathfrak q). It is continuous, since the preimage of V(E)V(E) is V(f(E))V(f(E)).

Example: Spec⁡ℤ\operatorname{Spec} \Z consists of (0)(0) and the ideals pℤp\Z for the prime numbers pp. The spectrum of a field kk is a single point (0)(0). The spectrum of ℤ/nℤ\Z/n\Z for n≥2n \ge 2 is the finite set of ideals pℤ/nℤp\Z/n\Z for the primes pp dividing nn.

Non-example: the ring RR itself is not a point of Spec⁡R\operatorname{Spec} R, because a prime ideal is by definition a proper ideal. So the zero ring has empty spectrum.

Every nonzero ring has a maximal ideal, which is prime, so Spec⁡R≠∅\operatorname{Spec} R \ne \emptyset when R≠0R \ne 0.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Commutative ring concept
  2. Prime ideal concept
  3. Ring homomorphism concept
  4. Zariski topology concept
  5. Spectrum of a ring definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Spectrum_of_a_ring
About this page
TagQJAXM2SF1Z
URIm2://QJAXM2SF1Z
Kinddefinition
WritingW0 stub
MSC14A05, 13A15
DefinesSpectrum of a ring
UsesCommutative ring, Prime ideal, Zariski topology, Ring homomorphism
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.