仿射方案/定义

交换环R的谱，用Spec（R）表示，是R的所有真素理想的集合。