Алгебра - Варден Б.Л.
Скачать (прямая ссылка):
Если кольцо с является алгеброй, или, более общо, кольцом с условием минимальности для левых идеалов, то малый радикал 9? совпадает с определяемым ниже большим радикалом 91. В этом случае мы можем отказаться от прилагательного «малый» и просто называть 91 = 91 радикалом алгебры 21.
Алгебра без радикала, т. е. алгебра, радикал которой есть нулевой идеал, называется полупростой. Строение полупростых алгебр было выяснено Дж. Г. Маклеген-Веддерберном. Его основные теоремы гласят:
Каждая полупростая алгебра является прямой суммой простых алгебр с единицей, а каждая такая простая алгебра изоморфна полному матричному кольцу над некоторым телом.
Артин (Abh. Math. Sem. Univ. Hamburg, 5, S. 245) перенес теоремы Веддерберна на случай произвольных колец с условием минимальности для левых идеалов. Без этого условия не удается получить простые структурные теоремы. Препятствие, как еще в ту пору подозревали, состоит в том, что радикал 9t оказывается слишком маленьким. Ряд авторов, в том числе Бэр и Левицкий, ввели большие радикалы. Но только Джекобсону с помощью подходящего определения радикала 91 удалось получить структурные теоремы для колец без радикала. Для детального ознакомления со всей теорией Джекобсона можно порекомендовать его книгу «Строение колец». Здесь же мы ограничимся несколькими главными теоремами.
МАЛЫЙ И БОЛЬШОЙ РАДИКАЛЫ
353
В своей книге Джекобсон определяет радикал Ж кольца с» как множество тех элементов а, которые в любом неприводимом представлении представляются нулем. Он доказал, что радикал Ш можно получить и как пересечение специальных максимальных правых идеалов, которые были им названы модулярными. Вместо правых идеалов можно взять и левые идеалы — это не имеет значения. Мы воспользуемся здесь модулярными максимальными левыми идеалами для определения идеала №.
Левый идеал I' называется модулярным, если существует элемент с кольца с со свойством
ас = а(?) для всех йёр. (1)
Элемент с играет, в некотором смысле, роль правой единицы по модулю 2. Слово «модулярный» происходит от слова «модуль» — старого названия единичного элемента.
Мы определим теперь большой радикал или просто радикал № кольца о как пересечение всех модулярных максимальных левых идеалов ?. Если, кроме самого кольца о, в с нет модулярных максимальных левых идеалов, то радикалом является всё кольцо, которое в этом случае называется радикальным.
Пусть ? —модулярный максимальный (левый) идеал. Модуль классов вычетов о/8 в этом случае является простым и допускает некоторое неприводимое представление. Ядро этого представления является двусторонним идеалом
ф = 8 : о (2)
или совокупностью всех тех а, для которых
ас Е 8. (3)
Свойство (3) равносильно свойству
аЬ е 8 для всех Ь е о. (4)
В частности, из (3) следует, что асе? и, таким образом, в силу (1) ае?. Это имеет место для всех а из поэтому
'К Е 8. (5)
Каждому идеалу 2 принадлежит идеал $ = 2: о. В силу (5) пересечение всех идеалов ^ принадлежит пересечению всех а потому содержится в радикале. Докажем теперь, что и, наоборот, радикал № лежит во всех идеалах '4>, а потому и в их пересечении.
Пусть а — произвольный элемент кольца №. Мы должны доказать, что включение (4) справедливо при любых Ь и 8, т. е. что элемент а принадлежит всем левым идеалам вида
8' = 8: Ь.
354
АЛГЕБРЫ
[ГЛ. XIII
Но элемент а лежит во всех максимальных модулярных левых идеалах кольца г. Поэтому достаточно показать, что 8' либо равно с, либо является модулярным и максимальным идеалом в о.
При фиксированных Ь и 8 каждому элементу а: кольца г соответствует некоторое произведение хЬ и, следовательно, вполне определенный класс вычетов хЬф 8 по модулю 8. Это отображение является гомоморфизмом модулей. Его ядро равно в точности 8'= 8 : Ь, так что фактормодуль г/8' изоморфно погружается в фактормодуль г/8. Модуль г/8 минимальный, а потому возможны только два случая: либо г/8' изоморфно отображается на нуль и, следовательно, само равно нулю, либо г/8' изоморфно отображается на г/8. В первом случае 8'= о, а во втором идеал 8', как и идеал 8, модулярен и максимален в о.
Сформулируем все доказанное в одном предложении:
Теорема 1. Радикал 3? равен пересечению двусторонних идеалов ф} = 8:о, а потому и сам является двусторонним идеалом.
Построим теперь факторкольцо о = г/31. Каждому модулярному максимальному левому идеалу 8 кольца г соответствует некоторый модулярный максимальный левый идеал 8 = 8/-К кольца г, и наоборот. Поэтому имеет место
Теорема 2. Кольцо классов вычетов г/31 является кольцом «без радикала», т. е. радикал кольца о/34 равен нулевому идеалу.
Кольца без радикала, называются полупростыми. Поэтому теорему 2 можно сформулировать так:
Кольцо классов вычетов кольца г по его радикалу 3? полупросто.
Задача 1. Каждый левый идеал 8' при условии, что модули о/8' и с/5 операторно изоморфны, приводит к совпадающим частным:
8' : с = 8 : о = 'К
Задача 2. Пусть 8 —модулярный левый идеал. Тогда 3 = о:с — содержащийся в 8 двусторонний идеал, в котором лежат все двусторонние идеалы, принадлежащие идеалу 8.
