Let RR be a . A prime ideal of RR is a proper ideal p⊊R\mathfrak p\subsetneq R such that whenever ab∈pab\in\mathfrak p (with a,b∈Ra,b\in R), then a∈pa\in\mathfrak p or b∈pb\in\mathfrak p.

The prime spectrum of RR is the set

Spec⁡(R):={p⊂R∣p is a prime ideal}.\operatorname{Spec}(R) := \{\mathfrak p \subset R \mid \mathfrak p \text{ is a prime ideal}\}.

An element p∈Spec⁡(R)\mathfrak p\in \operatorname{Spec}(R) is called a point of Spec⁡(R)\operatorname{Spec}(R).

Topology and local data

In commutative algebra one usually studies Spec⁡(R)\operatorname{Spec}(R) together with the ; this turns Spec⁡(R)\operatorname{Spec}(R) into a topological space whose basic opens are closely related to . For a point p∈Spec⁡(R)\mathfrak p\in\operatorname{Spec}(R), the associated local data are the and its .

Examples
  1. A field has a one-point spectrum. If kk is a , the only prime ideal is (0)(0), so Spec⁡(k)={(0)}\operatorname{Spec}(k)=\{(0)\}.
  1. The spectrum of the integers. In R=ZR=\mathbb{Z}, the prime ideals are (0)(0) and (p)(p) for primes pp. Thus
    Spec⁡(Z)={(0)} ∪ {(p)∣p prime}.\operatorname{Spec}(\mathbb{Z})=\{(0)\}\ \cup\ \{(p)\mid p\ \text{prime}\}.
    Under the , the point (0)(0) is a generic point whose closure is all of Spec⁡(Z)\operatorname{Spec}(\mathbb{Z}).
  1. The spectrum of a polynomial ring in one variable. Let kk be a field and R=k[x]R=k[x]. Then (0)(0) is prime, and every nonzero prime ideal is generated by an irreducible polynomial. So
    Spec⁡(k[x])={(0)} ∪ {(f)∣f∈k[x] irreducible}.\operatorname{Spec}(k[x])=\{(0)\}\ \cup\ \{(f)\mid f\in k[x]\ \text{irreducible}\}.
    If kk is algebraically closed, the maximal ideals are precisely (x−a)(x-a), and can be identified with the affine line over kk.