zariski spectrum

1. Definition

let \(A\) be a commutative ring. The spectrum of \(A\) is the set of all prime ideals

\begin{align*} \mathrm{Spec}(A) = \{\mathcal{p} \subseteq A \vert \mathcal{p} \text{ prime Ideal}\} \end{align*}