诺特环
诺特环是抽象代数中一类满足升链条件的环。希尔伯特首先在研究不变量理论时证明了多项式环的每个理想都是有限生成的,随后埃米·诺特从中提炼出升链条件,诺特环由此命名。
定义
一个环 称作诺特环,当且仅当对每个由 的理想构成的升链 ,必存在 ,使得对所有的 都有 (换言之,此升链将会固定)。
另外一种等价的定义是: 的每个理想都是有限生成的。
将上述定义中的理想代换为左理想或右理想,可以类似地定义左诺特环与右诺特环。 是左(右)诺特环当且仅当 在自己的左乘法下形成一个左(右)诺特模。对于交换环则无须分别左右。
基本性质
例子
- 整数环 是诺特环。
- 对任意的域 ,多项式环 及其商是诺特环。这是代数几何中最常见的情形。
以下是非诺特环的例子:
- 考虑有可数个变元的多项式环 ,并考虑升链 ,此升链不会固定。
- 考虑 上的全体连续函数,它们在逐点作乘法下构成一个环。考虑升链 ,此升链不会固定。
参见条目
文献
- Serge Lang, Algebra (2002), Graduate Texts in Mathematics 211, Springer. ISBN 0-387-95385-X