鏈環

在交換代數中 ， 一個交換環 被稱作鏈環 ， 若且唯若對任何一對素理想 任何嚴格遞增的素理想鏈 皆包含於一個從 到 的有限長極大鏈 ， 而且此極大鏈的長度僅依賴於 。 因此我們有一個從素理想對 至 的映射 。 在代數幾何上 ， 此條件能理解爲維度可明確定義 。 一個環被稱爲泛鏈環 ， 若且唯若其上的任何有限生成代數都是鏈環 。