诺特环

诺特环是指其每个理想都是有限生成的环，等价地，其理想满足升链条件，这是一种使理想理论易于处理的有限性假设。

Definition

一个交换环是诺特的，如果其每个理想升链都稳定，等价地，如果其每个理想都是有限生成的，等价地，如果其每个非空理想族都有一个极大元。

Scope

本主题涵盖诺特条件的等价表述、希尔伯特基定理、诺特模、该性质在商环、局部化和有限生成下的持久性，以及其作为交换代数和代数几何中普遍假设的作用。

Core questions

• 哪些等价条件定义了诺特环？
• 为什么希尔伯特基定理能使多项式环保持诺特性？
• 诺特性质如何传递给商环、局部化和有限生成代数？
• 为什么诺特假设在交换代数中几乎无处不在？

Key theories

等价表述

理想的升链条件、每个理想的有限生成性以及理想族的极大元条件是等价的，这为诺特环提供了几种可互换的定义。

希尔伯特基定理

如果一个环是诺特的，那么其上有限多个变量的多项式环也是诺特的，因此域上和整数上的有限生成代数都是诺特的。

性质的稳定性

诺特环的商环和局部化是诺特的，诺特环上的有限生成模是诺特的，因此该类在交换代数的标准构造下是封闭的。

Clinical relevance

诺特条件是几乎所有交换代数和代数几何的有限性假设：它保证了准素分解的存在，保证了簇由有限多个方程定义，并保证了关键构造的终止，因此几何和数论中出现的环几乎总是诺特的。

History

大卫·希尔伯特于1890年在不变量理论的背景下证明了他的基定理，但抽象的升链条件和诺特环的系统理论则归功于艾米·诺特在20世纪20年代的工作，该概念也因此得名。

Key figures

• Emmy Noether
• David Hilbert
• Emanuel Lasker

Seminal works

• atiyah1969
• eisenbud1995
• matsumura1989

Frequently asked questions

为什么理想的有限生成性是一个如此有用的假设？

它确保了理想以及它们定义的代数集可以通过有限的数据来描述，理想的升链不能无限持续，并且归纳论证能够终止。这些正是准素分解和维度理论所需的条件。

实践中遇到的大多数环都是诺特的吗？

是的。域、主理想环、整数环以及它们上的任何有限生成代数，根据希尔伯特基定理，都是诺特的。非诺特环确实存在，但在几何和数论中相对较为罕见。