諾特環
對於局部環 formula_1，葛侖斯坦局部環的古典定義是：formula_2 是科恩-麥考利環，而且存在 formula_3 中的 formula_2-正則序列，使之生成一個不可約理想。在 formula_2 為有限維諾特環時，下述性質等價：