Нётерово кольцо

Нётерово кольцо — тип колец, обобщение кольца главных идеалов. Названы в честь Эмми Нётер.

Определение

Нётерово кольцо — ассоциативное кольцо с единичным элементом, в котором выполняется следующее условие обрыва возрастающих цепей:

всякая последовательность идеалов (для некоммутативных колец — левых идеалов) 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} допускает примарное разложение.