Полупервичное кольцо - Semiprime ring
В теория колец, раздел математики, полупервичный идеалы и полупервичный кольца являются обобщениями главные идеалы и основные кольца. В коммутативная алгебра, полупервичные идеалы также называют радикальные идеалы.
Например, в ринге целые числа, полупервичные идеалы - это нулевой идеал вместе с идеалами вида где п это целое число без квадратов. Так, является полупервичным идеалом целых чисел (поскольку 30 = 2 × 3 × 5, без повторяющихся простых множителей), но нет (потому что 12 = 22 × 3, с повторяющимся простым множителем).
Класс полупервичных колец включает полупримитивные кольца, основные кольца и уменьшенные кольца.
Большинство определений и утверждений в этой статье представлены в (Лам 1999 ) и (Лам 2001 ).
Определения
Для коммутативного кольца р, настоящий идеал А это полупервичный идеал если А удовлетворяет любому из следующих эквивалентных условий:
- Если Иксk в А для некоторого положительного целого числа k и элемент Икс из р, тогда Икс в А.
- Если у в р но не в А, все положительные целые степени у не в А.
Последнее условие «замкнутости дополнения по степеням» аналогично тому, что дополнения к простым идеалам замкнуты относительно умножения.
Как и в случае с простыми идеалами, он распространяется на некоммутативные кольца «идеально». Следующие условия являются эквивалентными определениями полупервичного идеала А в кольце р:
- Для любого идеала J из р, если Jk⊆А для положительного натурального числа k, тогда J⊆А.
- Для любого верно идеальный J из р, если Jk⊆А для положительного натурального числа k, тогда J⊆А.
- Для любого оставили идеальный J из р, если Jk⊆А для положительного натурального числа k, тогда J⊆А.
- Для любого Икс в р, если xRx⊆А, тогда Икс в А.
Здесь снова имеется некоммутативный аналог простых идеалов как дополнений к м-системы. Непустое подмножество S кольца р называется n-система если для любого s в S, существует р в р такой, что srs в S. С этим понятием, к приведенному выше списку может быть добавлен дополнительный эквивалентный пункт:
- рА это n-система.
Кольцо р называется полупервичное кольцо если нулевой идеал - полупервичный идеал. В коммутативном случае это эквивалентно р будучи уменьшенное кольцо, поскольку р не имеет ненулевых нильпотентных элементов. В некоммутативном случае кольцо просто не имеет ненулевых правых нильпотентных идеалов. Итак, хотя редуцированное кольцо всегда полупервично, обратное неверно.[1]
Общие свойства полупервичных идеалов
Для начала ясно, что простые идеалы полупервичные, а для коммутативных колец полупервичные первичный идеал простое.
Хотя пересечение простых идеалов обычно не является простым, оно является полупервичный идеал. Вскоре будет показано, что верно и обратное, что каждый полупервичный идеал является пересечением семейства простых идеалов.
Для любого идеала B в кольце р, мы можем сформировать следующие множества:
Набор это определение радикал B и, очевидно, является полупервичным идеалом, содержащим B, и фактически является наименьшим полупервичным идеалом, содержащим B. Приведенное выше включение иногда бывает правильным в общем случае, но для коммутативных колец оно становится равенством.
При таком определении идеальный А полупервично тогда и только тогда, когда . Здесь также очевидно, что каждый полупервичный идеал на самом деле является пересечением семейства первичных идеалов. Более того, это показывает, что пересечение любых двух полупервичных идеалов снова полупервично.
По определению р полупервично тогда и только тогда, когда , то есть пересечение всех простых идеалов равно нулю. Этот идеал также обозначается а также называется Бэр нижний нильрадикал или Радикал Бэра-Маккой или главный радикал из р.
Кольца Semiprime Goldie
Право Кольцо Goldie кольцо, имеющее конечные единый размер (также называемый конечный ранг) как правый модуль над собой и удовлетворяет условие возрастающей цепи на правом аннигиляторы его подмножеств. Теорема Голди заявляет, что полупервичный правильные кольца Goldie - это именно те, которые имеют полупростой Артиниан верно классическое кольцо частных. В Теорема Артина – Веддерберна затем полностью определяет структуру этого кольца частных.
Рекомендации
- ^ Полное кольцо матриц размером два на два над полем полупервично с ненулевыми нильпотентными элементами.
- Лам, Цит-Юэн (1999), Лекции по модулям и кольцам, Тексты для выпускников по математике № 189, Берлин, Нью-Йорк: Springer-Verlag, ISBN 978-0-387-98428-5, Г-Н 1653294
- Лам, Т. Ю. (2001), Первый курс некоммутативных колец, Тексты для выпускников по математике, 131 (2-е изд.), Нью-Йорк: Springer-Verlag, стр. Xx + 385, ISBN 978-0-387-95183-6, Г-Н 1838439