在抽象代数学，交换代数和代数几何学中，一个交换环formula_1的谱是指其素理想全体形成的集合，记作formula_2。它被赋予扎里斯基拓扑和结构层，从而成爲局部赋环空间。一个局部赋环空间若同构于一个交换环谱，即称爲仿射概形。
扎里斯基拓扑.对于交换环 formula_1 里的任一理想 formula_4，置 formula_5。容易证明下述性质：因此我们可以在formula_10上定义一个拓扑结构，使得其闭子集恰为形如formula_11的子集，称之扎里斯基拓扑。