环的素谱

一个素理想 $\mathfrak{p}$ 把环中的元素分成“在该点消失”和“在该点附近可作为分母”两类。商环 $R/\mathfrak{p}$ 无零因子，因而还能嵌入分式域；这给出该点的剩余域

于是每个谱点都带有一个域值观察，而不只是一个名字。极大理想通常对应经典几何点，非极大素理想则描述不可约闭子空间的泛点。保留后者，才能把不可约分支、包含关系和维数同时编码进同一个空间。

反变性并非记号偶然。环同态让 $S$ 中的函数限制或拉回到 $R$，而空间上的点沿相反方向移动。若把 $R$ 想成某个空间的函数环，那么“函数的方向”和“点的方向”本来就相反。素理想逆像的稳定性正好把这个几何直觉变成严格函子。

对域 $k$，$\mathrm{Spec}k=\{(0)\}$。对整数环，

点 $(p)$ 是闭点，$(0)$ 则是整个谱的泛点：它的闭包包含所有素理想。对 $k[x]$，若 $k$ 代数闭，闭点为 $(x-a)$，而 $(0)$ 仍代表整条仿射直线的泛点；若 $k$ 不代数闭，还会出现由高次不可约多项式生成的闭点，它们的剩余域是 $k$ 的有限扩张。由此可见，$\mathrm{Spec}k[x]$ 不是简单的底域元素集合。

乘积环揭示谱会把幂等分解看成空间的不交并：

因为素理想必为 $\mathfrak{p}\times S$ 或 $R\times \mathfrak{q}$。另一方面，矩阵环虽与底环在 Morita 意义下紧密相关，却不是交换环；本条目的谱定义不能不加说明地照搬到非交换情形。把谱只定义成极大理想集合也会丢失泛点和素理想链，无法承载后续维数理论。

给 $\mathrm{Spec}R$ 配上 Zariski 拓扑后，点的闭包为

因此 specialization 次序与理想包含同向：$\mathfrak{p}$ 可特化到 $\mathfrak{q}$ 当且仅当 $\mathfrak{p}\subseteq \mathfrak{q}$。素理想严格升链记录从泛点走向更特殊点的过程，其最大长度给出 Krull 维数。这个方向若写反，就会同时颠倒闭包与维数链的几何解释。

谱还组织了局部信息。对每个 $\mathfrak{p}$，把 $R\setminus \mathfrak{p}$ 中元素变为可逆得到局部环 $R_{\mathfrak{p}}$；其元素可视为在 $\mathfrak{p}$ 附近定义的函数芽。把这些局部环随开集黏合便得到仿射概形 $\mathrm{Spec}R$。即使暂不引入结构层，谱也已把素理想、局部化、闭集、不可约分支和维数放在统一的关系图中。