Радикал идеала: различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
Danneks (обсуждение | вклад) ← Новая страница: «В коммутативной алгебре, разделе математика|математ…» |
Danneks (обсуждение | вклад) уточнение категории |
||
Строка 30: | Строка 30: | ||
* ''Eisenbud, David'', Commutative Algebra with a View Toward Algebraic Geometry, Graduate Texts in Mathematics, 150, Springer-Verlag, 1995, — ISBN 0-387-94268-8. |
* ''Eisenbud, David'', Commutative Algebra with a View Toward Algebraic Geometry, Graduate Texts in Mathematics, 150, Springer-Verlag, 1995, — ISBN 0-387-94268-8. |
||
[[Категория: |
[[Категория:Коммутативная алгебра]] |
Версия от 10:18, 30 июня 2013
В коммутативной алгебре, разделе математики, радикал идеала I — это идеал, образованный всеми элементами x, такими что некоторая степень x принадлежит I. Радикальный идеал — это идеал, совпадающий со своим собственным радикалом.
Определение
Радикал идеала I в коммутативном кольце R, обозначаемый , определяется как
Интуитивно, для получения радикала идеала нужно взять корни всех возможных степеней из его элементов. Эквивалентное определение радикала идеала I — это прообраз нильрадикала при отображении факторизации. Это также доказывает, что является идеалом.
Примеры
- В кольце целых чисел радикал главного идеала — это идеал, порожденный произведением всех простых делителей .
- Радикал примарного идеала прост. Обратно, если радикал идеала прост, то этот идеал примарен.
- В любом коммутативном кольце для простого идеала .[1] В частности, каждый простой идеал радикален.
Свойства
- . Более того, — это наименьший радикальный идеал, содержащий I.
- — это пересечение всех простых идеалов, содержащих I. В частности, нильрадикал — это пересечение всех простых идеалов.
- Идеал является радикальным тогда и только тогда, когда факторкольцо по нему не содержит нетривиальных нильпотентов.
Приложения
Основная мотивация для изучения радикалов — это их появление в знаменитой теореме Nullstellensatz из коммутативной алгебры. Наиболее простая формулировка этой теоремы имеет следующий вид: для любого алгебраически замкнутого поля k и любого конечнопорожденного идеала в кольце многочленов от n переменных над полем k верно следующее равенство:
где
и
Примечания
- ↑ Атья-Макдональд, 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.