Нётерово кольцо
Нётерово кольцо — тип колец, обобщение кольца главных идеалов. Названы в честь Эмми Нётер.
Определение
Нётерово кольцо — ассоциативное кольцо с единичным элементом, в котором выполняется следующее условие обрыва возрастающих цепей:
всякая последовательность идеалов (для некоммутативных колец — левых идеалов) p 1 ⊂ p 2 ⊂ ⋯ ⊂ p n ⊂ … {displaystyle p_{1}subset p_{2}subset dots subset p_{n}subset dots } стабилизируется, то есть p n = p n + 1 = … , {displaystyle p_{n}=p_{n+1}=dots ,} начиная с некоторого n {displaystyle n} .Замечания
- Если в определении заменить возрастающие цепи на убывающие, то получается определение артинова кольца.
Примеры
- Поле, поскольку в нём всего два идеала — { 0 } {displaystyle {0}} и само поле.
- Кольцо главных идеалов.
- Например, кольцо многочленов от одной переменной над полем. (Однако не всякое нётерово кольцо является кольцом главных идеалов.)
- Кольца многочленов от конечного числа переменных над полем являются нётеровыми (но не являются кольцами главных идеалов при числе переменных, большем 1).
Свойства
- Кольцо нётерово тогда и только тогда, когда в любом непустом множестве идеалов A {displaystyle A} существует максимальный элемент.
- Кольцо нётерово тогда и только тогда, когда любой идеал конечно порождён.
- Теорема Гильберта о базисе: для любого нётерова кольца A {displaystyle A} кольцо многочленов A [ x ] {displaystyle A[x]} — нётерово.
- В частности, A [ x 1 , … , x n ] {displaystyle A[x_{1},ldots ,x_{n}]} тоже нётерово.
- В коммутативных нётеровых кольцах верна теорема Ласкера — Нётер, согласно которой любой идеал A {displaystyle A} допускает примарное разложение.