的谱，包含零理想的一个点，以及任何素数 "p"（生成素理想 "p"Z）的一个点。谱赋以一个拓扑叫扎里斯基拓扑，这由将子集 "D"("f") = {"p" ∈ "Spec R", "f" ∉ "p"} 设定为开集确定，这里 "f" 是任何环元素。此拓扑与分析或微分几何中遇到的可能不同；例如，一般地存在点不是闭的。譬如，对应于零理想的点 0 ⊂ Z 的闭包，是整个 Z 的谱。谱的概念是交换代数与代数几何的公共基石。代数几何将 "Spec R" 赋予一个层 formula_4（将不同的开子集上局部定义的所有