諾特環
一個局部環 formula_9 上帶有一個自然的 formula_3-進拓撲，使得 formula_1 成為拓撲環；其開集由 formula_12 生成。當 formula_1 為諾特環時，可證明 formula_1 為豪斯多夫空間，且所有理想皆是閉理想。