諾特環
一個環formula_1稱作諾特環，若且唯若對每個由formula_1的理想構成的升鏈formula_3，必存在formula_4，使得對所有的formula_5都有formula_6（換言之，此升鏈將會固定）。