Given a commutative ring R, its spectrum is the topological space whose points are the prime ideals of R and whose topology is the Zariski topology on these prime ideals.