同質保持半星運算在分級域上的空間

在分級整域R上,同質保持半星運算的集合SStarhp(R)在扎拉斯基拓撲下是一個光譜空間。