Радикал идеала

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

В коммутативной алгебре, радикал идеала I — это идеал, образованный всеми элементами x, такими что некоторая степень x принадлежит I. Радикальный идеал — это идеал, совпадающий со своим собственным радикалом.

Определение[править | править вики-текст]

Радикал идеала I в коммутативном кольце R, обозначаемый , определяется как

Интуитивно, для получения радикала идеала нужно взять корни всех возможных степеней из его элементов. Эквивалентное определение радикала идеала I — это прообраз нильрадикала при отображении факторизации. Это также доказывает, что является идеалом.

Примеры[править | править вики-текст]

  • В кольце целых чисел радикал главного идеала  — это идеал, порожденный произведением всех простых делителей .
  • Радикал примарного идеала прост. Обратно, если радикал идеала прост, то этот идеал примарен.
  • В любом коммутативном кольце для простого идеала .[1] В частности, каждый простой идеал радикален.

Свойства[править | править вики-текст]

  • . Более того,  — это наименьший радикальный идеал, содержащий I.
  •  — это пересечение всех простых идеалов, содержащих I. В частности, нильрадикал — это пересечение всех простых идеалов.
  • Идеал является радикальным тогда и только тогда, когда факторкольцо по нему не содержит нетривиальных нильпотентов.

Приложения[править | править вики-текст]

Основная мотивация для изучения радикалов — это их появление в знаменитой теореме Гильберта о нулях из коммутативной алгебры. Наиболее простая формулировка этой теоремы имеет следующий вид: для любого алгебраически замкнутого поля и любого конечнопорожденного идеала в кольце многочленов от переменных над полем верно следующее равенство:

где

и

Примечания[править | править вики-текст]

  1. Атья-Макдональд 2003, Предложение 4.2
  • Атья М., Макдональд И. Введение в коммутативную алгебру. — Факториал Пресс, 2003 — ISBN 5-88688-067-4.
  • Eisenbud, David, Commutative Algebra with a View Toward Algebraic Geometry, Graduate Texts in Mathematics, 150, Springer-Verlag, 1995, — ISBN 0-387-94268-8.