Spectrum of a commutative ring (source code)

= Spectrum of a commutative ring
{title2=$\operatorname{Spec}A$}

= Spectra of rings
{synonym}

= Spectrum of a ring
{synonym}

The spectrum $\operatorname{Spec}A$ of a <commutative ring> $A$ is the set of its <prime ideal>[prime ideals], with closed sets $V(I)=\{\mathfrak p:I\subseteq\mathfrak p\}$ and a structure sheaf whose sections locally look like fractions.