Русская Википедия:Теорема Левицкого

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Теорема Левицкого, названная именем израильского математика Яакова Левицкого, утверждает, что в правом Нётеровом кольце любой односторонний ниль-идеал является обязательно нильпотентнымШаблон:SfnШаблон:Sfn. Теорема является одним из многих результатов, свидетельствующих о правдивости гипотезы Кёте, и более того, дающих решение на один из вопросов Кёте, как описано в статье ЛевицкогоШаблон:Sfn. Результат был получен в 1939, но опубликован лишь в 1950 годуШаблон:Sfn. Относительно простое доказательство дал Утуми в 1963Шаблон:Sfn.

Доказательство

Ниже приведена аргументация Утуми (как изложена в статье ЛамаШаблон:Sfn)

ЛеммаШаблон:Sfn

Предположим, что R удовлетворяет Шаблон:Нп5 на Шаблон:Нп5 формы <math>\{r\in R\mid ar=0\}</math>, где a принадлежит R. Тогда

  1. Любой односторонний ниль-идеал содержится в нижнем нильрадикале <math> \mathrm{Nil}_*(R)</math>;
  2. Любой ненулевой правый нильидеал содержит ненулевой нильпотентный правый идеал.
  3. Любой ненулевой левый нильидеал содержит ненулевой нильпотентный левый идеал.
Теорема ЛевицкогоШаблон:Sfn

Пусть R будет правым нётеровым кольцом. Тогда любой односторонний нильидеал R нильпотентен. В этом случае верхний и нижний нильрадикалы равны и кроме того, этот идеал является наибольшим нильпотентным идеалом среди нильпотентных правых идеалов и среди нильпотентных левых идеалов.

Доказательство: Вследствие леммы выше достаточно показать, что нижний нильрадикал R нильпотентен. Поскольку R является правым нётеровым кольцом, максимальный нильпотентный идеал N существует. Из максимальности N следует, что факторкольцо R/N не имеет ненулевых нильпотентных идеалов, так что R/N является полупростым кольцом. Как результат, N содержит нижний нильрадикал кольца R. Поскольку нижний нильрадикал содержит все нильпотентные идеалы, он содержит и N, а тогда N равен нижнему нильрадикалу.

См. также

Примечания

Шаблон:Примечания

Литература

Шаблон:Refbegin

Шаблон:Refend Шаблон:Rq