Definition:Prime Spectrum of Ring

Definition
Let $A$ be a commutative ring with unity.

The prime spectrum or spectrum of $A$ is the set of prime ideals $\mathfrak p$ of $A$:


 * $\Spec A = \set {\mathfrak p \lhd A: \mathfrak p \text{ is prime} }$

Also defined as
The notation $\Spec A$ is also a shorthand for the locally ringed space:
 * $\struct {\Spec A, \tau, \mathcal O_{\Spec A} }$

where:
 * $\tau$ is the Zariski topology on $\Spec A$
 * $\mathcal O_{\Spec A}$ is the structure sheaf of $\Spec A$

Also see

 * Definition:Spectrum of Ring Functor
 * Definition:Maximal Spectrum of Ring
 * Prime Spectrum of Ring is Locally Ringed Space
 * Definition:Affine Scheme