Алгебра - Варден Б.Л.
Скачать (прямая ссылка):
Позднее нам понадобится следующая теорема:
Теорема 3. Каждый модулярный левый идеал принадлежит некоторому максимальному левому идеалу 8 Ф г (который, конечно, тоже модулярен).
Доказательство. Пусть с —элемент кольца с со свойством
ас = а(1) для всех ае о. (6)
Левый идеал I не содержит элемента с. Рассмотрим множество всех левых идеалов 1', содержащих I, но не содержащих с. Среди них найдем максимальный идеал 8. Такой идеал существует в силу леммы Цорна (§ 69). Идеал 8 модулярен, так как содержит I. Но он и максимален и не равен г. Действительно, если 8' — идеал, собственным образом содержащий 8, то 8' содержит и элемент с, а потому в силу (6) — каждый элемент кольца р.
§ 97] ЗВЕЗДНОЕ ПРОИЗВЕДЕНИЕ 355
Чтобы выяснить связь между малым и большим радикалами, введем в качестве вспомогательного средства новую конструкцию произведения.
§ 97. Звездное произведение
Звездное произведение а*Ь двух элементов а и Ь кольца о определяется равенством
а*Ь = а-\-Ь — аЬ.
Джекобсон в этом случае пишет а°Ь и называет конструкцию «круговой композицией».
Звездное произведение ассоциативно, а нуль является единичным элементом при таком умножении:
0*а = а = а*0.
Если кольцо о имеет единицу 1, то произведение а*Ь=с можно определить и равенством
(1 -а)(1 -Ь) = 1 -с.
Левый звездно обратный элемент г' для данного элемента г определяется условием
г'*г = 0, или г' + г — г'г = О,
или, если есть единица 1, —условием
(1-г')(1-г) = 1.
Элемент 2, обладающий левым звездно обратным элементом г', называется звездно регулярным слева (или квазирегулярным слева). Точно так же определяются правый звездно обратный и звездно регулярный справа элементы — условием г*г'=0.
Элемент г называется просто звездно регулярным, если существует такой г', который является левым и правым звездно обратным для г:
г' * г = 0 = г * г'.
Теорема 4. Каждый нильпотентный элемент г звездно регулярен.
Доказательство. Если г“ = 0 и положить г' = — г — г2 —... — гт1,
то получится, что г' * г = 0 = г * г'. Таким образом, элемент г звездно регулярен.
Если в некотором левом идеале I все элементы звездно регулярны слева, то они и звездно регулярны. Действительно, пусть г — элемент из [ и г' — его левый звездно обратный элемент; тогда
г' — г'г — г.
366
АЛГЕБРЫ
[ГЛ. ХШ
Следовательно, г' лежит в I и обладает левым звездно обратным г'. Имеем теперь
г = 0 * г = г" * г' * г = г" * 0 = г",
так что
г* г' =г* *г' =0,
т. е. г' — не только левый, но и правый звездно обратный для г.
Левый или правый идеал, элементы которого звездно регулярны, называется звездно регулярным. Согласно доказанному выше, левый идеал является звездно регулярным, если все его элементы звездно регулярны слева. Точно так же правый идеал звездно регулярен, если все его элементы звездно регулярны справа.
Теорема 5. Радикал 9} является звездно регулярным левым идеалом, содержащим все звездно регулярные левые идеалы.
Доказательство. Пусть г —элемент идеала Ш. Мы хотим показать, что г обладает левым звездно обратным. Построим множество всех элементов
хг — х,
в котором х пробегает кольцо о. Это множество является модулярным левым идеалом, для которого г играет ту роль, которую раньше играл элемент с. Если этот левый идеал содержит г, то существует элемент х со свойством
г = хг — х.
Отсюда следует, что х*г = 0, т. е. х — левый звездно обратный для г, Если модулярный левый идеал не содержит элемента г, то он не равен о и в силу теоремы 3 принадлежит некоторому модулярному максимальному левому идеалу 2Ф о. Элемент г лежит в 34, а 34 является пересечением всех модулярных максимальных левых идеалов; поэтому г лежит в 8. Но тогда все элементы
х = хг — (хг — х)
лежат в ?, т. е. 2 совпадает с о, в то время как должно выполняться противоположное соотношение: 8 Ф о.
Следовательно, каждый элемент г идеала Ш обладает левым звездно обратным, т. е. Ш — звездно регулярный левый идеал.
Пусть теперь ( — произвольный звездно регулярный левый идеал. Мы хотим показать, что I содержится в каждом модулярном максимальном левом идеале ?, т. е. принадлежит 9Е Если бы I не лежал в идеале то сумма идеалов (8, 1) совпадала бы со всем кольцом р;
0*. О — Р. (1)
§ 98] КОЛЬЦА С УСЛОВИЕМ МИНИМАЛЬНОСТИ 357
Так как идеал 8 модулярен, существует элемент с со следующим свойством:
ас = а(Ч) для всех нео. (2)
В силу (1) этот элемент с должен представляться суммой у + г, в которой у принадлежит I', а г принадлежит (. Отсюда:
с гэг (8). (3)
Так как элемент г лежит в идеале I, то он обладает звездно обратным г':
г + г' — г'г = 0. (4)
Из (3) и (4) следует, что
с-{-г' — г’с = 0 (8),
а потому в силу (2)
с = 0(8),
что невозможно.
Из теоремы 5 очень легко следует равенство «правого» и «левого» радикалов. Действительно, определим правый радикал 31' как пересечение всех модулярных максимальных правых идеалов; тогда ЗТ—звездно регулярный двусторонний идеал, а потому в силу теоремы 5 он содержится в ЭК. Точно так же 31 содержится в 31' и, следовательно, 31=31'. Тем самым, радикал 31
можно определить любым из следующих способов: как пересече-
