Радикальный идеал

проверено

Определение

Пусть $R$ассоциативное коммутативное кольцо с единицей.

Определение 1. Пусть $I$идеал кольца $R$. Радикалом идеала1) $I$ называется множество

$\sqrt{I}=\{r\in R\vert\exists n\geqslant 0:r^n\in I\}$.

Предложение 1. Пусть $I$ — идеал кольца $R$. Радикал идеала $\sqrt{I}$ обладает следующими свойствами:

  1. $\sqrt{I}$ — идеал в $R$;
  2. $I\subseteq\sqrt{I}$;
  3. $\sqrt{\sqrt{I}}=\sqrt{I}$.

Пример 1. Пусть $R=F[T]$кольцо многочленов от одной переменной. Радикал идеала $(T^2)$ равен $\sqrt{(T^2)}=(T)$.

Определение 2. Идеал $I$ кольца $R$, совпадающий со своим радикалом $\sqrt{I}$ называется радикальным идеалом2).

Пример 2. Пусть $R=F[T]$ — кольцо многочленов от одной переменной. Идеал $(T)$ является радикальным.

Литература

  • Зарисский О., Самюэль П. «Коммутативная алгебра», Иностранная литература, 1963.
1) radical of ideal
2) radical ideal
glossary/ring/ideal/radical.txt · Последние изменения: 07.10.2011 21:02:04 — ladilova
Наверх
Яндекс.Метрика
CC Attribution-Noncommercial-Share Alike 3.0 Unported
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0