Noether 环

Noether 性禁止理想不断出现真正新生成方向：任何无限累积最终都已由有限阶段的数据控制。Noether 条件排除理想无限地严格增长，等价地说每个理想都能由有限多个元素生成。它不是说环本身有限，而是说任何代数约束最终都由有限子集控制。这个有限性使归纳论证、分解过程和算法消元能够在有限数据上收束。

域、$\mathbb{Z}$ 和任意域上的有限变量多项式环都是 Noether 环。无限变量多项式环 $F[x_1,x_2,\dots ]$ 不是，因为理想链 $(x_1)⊊(x_1,x_2)⊊\cdots$ 不稳定。Noether 不表示环有限，也不表示每个理想由一个元素生成；$F[x,y]$ Noether 但 $(x,y)$ 非主。子环不一定继承 Noether 性，任意无限直积也常失败。下降链条件属于 Artin 性，不应与升链条件混淆。证明某个特定升链稳定不足以证明环 Noether，需对全部理想链成立。有限环自动是 Noether 环，因为理想总数有限；例如$\mathbb{Z}/12\mathbb{Z}$ 虽有零因子，任意理想升链仍必停止。又因 Noether 性对商环公理库商环Quotient ring按理想的陪集构造的环。保持，

也是 Noether 环，尽管其中 $\overline{x}\overline{y}=0$。这些例子说明 Noether 性控制的是理想能否有限生成，而不是环是否为整环、约化环或 PID。相反，无限变量多项式环中的理想 $(x_1,x_2,\dots )$ 无法由有限个元素生成，正好暴露失败。

Noether 性保证代数几何中的方程组和模关系可有限描述，并支撑主分解、维数理论及有限算法终止。理想公理库理想Ideal对加法成子群且吸收环乘法的子集。有限生成与升链条件的等价是 Noether 理论的核心。多项式环公理库多项式环Polynomial ring系数来自给定环、以形式不定元构造的多项式集合。上的 Hilbert 基定理支撑 Gröbner 基、代数簇分解和模的有限表示；Noether 归纳也是交换代数中常用的证明机制。