諾特環是抽象代數中一類滿足升鏈條件的環。希爾伯特首先在研究不變量理論時證明了多項式環的每個理想都是有限生成的,隨後埃米·諾特從中提煉出升鏈條件,諾特環由此命名。
一個環
稱作諾特環,若且唯若對每個由
的理想構成的升鏈
,必存在
,使得對所有的
都有
(換言之,此升鏈將會固定)。
另外一種等價的定義是:
的每個理想都是有限生成的。
將上述定義中的理想代換為左理想或右理想,可以類似地定義左諾特環與右諾特環。
是左(右)諾特環若且唯若
在自己的左乘法下形成一個左(右)諾特模。對於交換環則無須分別左右。
- 若
是諾特環,則其直積
亦然。
- 若
是諾特環,
是任一理想,則其商環
亦然。
- 若
是諾特環,則其上的多項式環
及冪級數環
都是諾特環。
- 若
是交換諾特環,則其對任一積性子集
的局部化也是諾特環。
- 若
是交換環,
為一有限生成理想,且
是諾特環,則其完備化
也是諾特環。
- 一個左(右)阿廷環必定是左(右)諾特環。
- 整數環
是諾特環。
- 對任意的域
,多項式環
及其商是諾特環。這是代數幾何中最常見的情形。
以下是非諾特環的例子:
- 考慮有可數個變元的多項式環
,並考慮升鏈
,此升鏈不會固定。
- 考慮
上的全體連續函數,它們在逐點作乘法下構成一個環。考慮升鏈
,此升鏈不會固定。
考慮一個群和一個環上的群環。如果環是一個交換環,群環是一個左諾特環當且僅當它是一個右諾特環。這是因為,此時群環的左、右理想之間存在自然的一一對應。對於非交換環這個結論不再成立。如果群環是一個左/右/雙邊諾特環,那麼它的環是左/右/雙邊諾特環,並且它的群是一個諾特群。反之,如果任意諾特交換環以及多循環群被有限群的群擴張構成的群環都是雙邊諾特環。
- Serge Lang, Algebra (2002), Graduate Texts in Mathematics 211, Springer. ISBN 0-387-95385-X