诺特环

诺特环是抽象代数中一类满足升链条件的环。希尔伯特首先在研究不变量理论时证明了多项式环的每个理想都是有限生成的，随后埃米·诺特从中提炼出升链条件，诺特环由此命名。

一个环${\displaystyle A}$称作诺特环，当且仅当对每个由${\displaystyle A}$的理想构成的升链${\displaystyle {\mathfrak{a}}_1\subset <!--\; \subset \; -->{\mathfrak{a}}_2\subset <!--\; \subset \; -->\dots <!--\; \dots \; -->,\subset <!--\; \subset \; -->{\mathfrak{a}}_n\subset <!--\; \subset \; -->\dots <!--\; \dots \; -->}$，必存在${\displaystyle N\subset <!--\; \subset \; -->\mathbb{N}}$，使得对所有的${\displaystyle n,m\ge <!--\; \ge \; -->N}$都有${\displaystyle {\mathfrak{a}}_n={\mathfrak{a}}_m}$（换言之，此升链将会固定）。

另外一种等价的定义是：${\displaystyle A}$的每个理想都是有限生成的。

将上述定义中的理想代换为左理想或右理想，可以类似地定义左诺特环与右诺特环。${\displaystyle A}$是左（右）诺特环当且仅当${\displaystyle A}$在自己的左乘法下形成一个左（右）诺特模。对于交换环则无须分别左右。

以下是非诺特环的例子：