Теорема Крулльса - Krulls theorem - Wikipedia

В математика, а точнее в теория колец, Теорема Крулля, названный в честь Вольфганг Круль, утверждает, что ненулевой звенеть[1] имеет по крайней мере один максимальный идеал. Теорема была доказана в 1929 году Круллем, который использовал трансфинитная индукция. Теорема допускает простое доказательство с использованием леммы Цорна, и фактически эквивалентно Лемма Цорна,[2] что, в свою очередь, эквивалентно аксиома выбора.

Варианты

  • За некоммутативные кольца, также имеют место аналоги максимальных левых идеалов и максимальных правых идеалов.
  • За псевдокольца, теорема верна для регулярные идеалы.
  • Несколько более сильный (но эквивалентный) результат, который можно доказать аналогичным образом, выглядит следующим образом:
Позволять р быть кольцом, и пусть я быть правильный идеал из р. Тогда существует максимальный идеал р содержащий я.
Из этого результата следует исходная теорема, взяв я быть нулевой идеал (0). Наоборот, применяя исходную теорему к р/я приводит к такому результату.
Чтобы напрямую доказать более сильный результат, рассмотрим множество S всех настоящих идеалов р содержащий я. Набор S непусто, поскольку яS. Кроме того, для любой цепи Т из S, объединение идеалов в Т это идеал J, а объединение идеалов, не содержащих 1, не содержит 1, поэтому JS. По лемме Цорна S имеет максимальный элемент M. Этот M - максимальный идеал, содержащий я.

Хауптидальзац Крулля

Другая теорема, обычно называемая теоремой Крулля:

Позволять быть нётеровым кольцом и элемент что не является ни делитель нуля ни единица измерения. Тогда каждый минимальный главный идеал содержащий имеет высота 1.

Примечания

  1. ^ В этой статье кольца имеют цифру 1.
  2. ^ Ходжес, В. (1979). «Крулл подразумевает Зорн». Журнал Лондонского математического общества. s2-19 (2): 285–287. Дои:10.1112 / jlms / s2-19.2.285.

Рекомендации