CC BY
48
Естественные науки
УДК 512.541
АБЕЛЕВЫ ГРУППЫ КАК АРТИНОВЫ ИЛИ НЕТЕРОВЫ МОДУЛИ НАД КОЛЬЦАМИ ЭНДОМОРФИЗМОВ. Ч. 1
П.А. Крылов*, Е.И. Подберезина
*Томский государственный университет
Томский политехнический университет E-mail: [email protected]
Приведен обзор результатов исследования абелевых групп как артиновых или нётеровых модулей над кольцами эндоморфизмов. Описаны абелевы группы A и B такие, что группа гомоморфизмов Hom(A,B) является артиновым модулем над кольцом эндоморфизмов группы B. Описание групп A и B, для которых группа Hom(A,B) является артиновым модулем над кольцом эндоморфизмов группы A, сведена к случаю, когда группа A не имеет кручения, а группа B - либо квазициклическая группа, либо делимая группа без кручения. Охарактеризованы абелевы группы A и B, для которых группа Hom(A,B) есть нётеров модуль над кольцом E(A) или E(B). Исследование произвольной абелевой группы с нётеровым слева кольцом эндоморфизмов сведено к исследованию группы без кручения с нётеровым слева кольцом эндоморфизмов. Исследование группы с нётеровым справа кольцом эндоморфизмов осталось незавершённым. Описаны сепарабельные абелевы группы без кручения с нётеровыми слева или справа кольцами эндоморфизмов.
В настоящее время быстро развивается теория абелевых групп и их колец эндоморфизмов. Возрастающий интерес к этому разделу алгебры понятен: теория абелевых групп тесно переплетается с теориями модулей, колец, множеств, категорий, чисел и во многом является источником идей для смежных областей алгебры.
Каждой абелевой группе можно сопоставить ассоциативное кольцо с единицей Е(А) всех её эндоморфизмов. Это кольцо несёт определённую информацию о самой группе А. Основную задачу, относящуюся к кольцам эндоморфизмов, можно сформулировать так: найти по возможности точные соотношения между свойствами группы А и свойствами её кольца эндоморфизмов.
Истоки теории колец эндоморфизмов лежат в теории линейных преобразований векторных пространств. Важную роль в становлении теории колец эндоморфизмов сыграла книга Бэра [1]. В монографии Фукса [2, 3] рассматриваются кольца эндоморфизмов. В работе [4] освещены результаты о кольцах эндоморфизмов абелевых групп. Основы теории колец эндоморфизмов абелевых групп заложены Бэром, Капланским, Селе, Фуксом, Пирсом, Корнером, Ричменом, Уокером. В книге [5] подробно представлены все основные разделы теории колец эндоморфизмов абелевых групп.
Кольца эндоморфизмов абелевых групп широко изучаются с различных точек зрения. Их теория
составляет самостоятельное направление, тесно связанное, конечно, с самой теорией абелевых групп. Этот раздел современной алгебры можно рассматривать с одной стороны, как часть теории абелевых групп, а с другой - как ветвь теории колец эндоморфизмов модулей. Он примыкает к обеим теориям, но имеет значительную специфику.
Изучение колец эндоморфизмов абелевых групп приносит дополнительные сведения о самих группах, вводит в исследование новый круг понятий и методов, помогает выделить неизвестные ранее классы групп и отыскать различные соотношения между ними. Изучение колец эндоморфизмов стимулирует исследования по теории модулей и их колец эндоморфизмов. Применение колец эндоморфизмов полезно и в других областях алгебры: аддитивные группы колец, Е-модули и Е-кольца.
Двумя важнейшими направлениями в теории колец эндоморфизмов являются рассмотрение групп как модулей над их кольцами эндоморфизмов и изучение групп с кольцами эндоморфизмов специального вида (последнее направление называется также «кольцевые свойства колец эндоморфизмов»). С достижениями по этому кругу задач можно познакомиться также по обзору [4].
На каждой абелевой группе А получается структура левого модуля над кольцом эндоморфизмов Е(А) группы А, если положить аа=а(а) для всех аеЕ(А) и для всех аеА. Многие задачи приводят к
необходимости рассмотрения группы А как модуля над кольцом Е(А). Начало систематическому изучению групп как модулей над их кольцами эндоморфизмов было положено работами Ричмена и Уокера [6], Дугласа и Фарахата [7]. Группы как модули над кольцами эндоморфизмов предлагается исследовать в книге [2, проблема 12]. Внимание многих специалистов привлекают абелевы группы как модули над их кольцами эндоморфизмов. Изучались группы, являющиеся конечно порождёнными [8], инъектив-ными [9], проективными [10], плоскими [11] модулями над своими кольцами эндоморфизмов.
Программа исследования колец эндоморфизмов со специальными свойствами была предложена Селе. Она привлекает большое внимание специалистов. Актуальность этого направления подчёркивает постановка проблемы 84 в книге [3]. Имеется в виду следующее. Для некоторого кольцевого свойства описать абелевы группы, кольца эндоморфизмов которых обладают этим свойством. Исследовались группы с коммутативными [12], локальными [13], регулярными [14], самои-нъективными [15], наследственными [16] кольцами эндоморфизмов.
Артиновы и нётеровы кольца и модули играют исключительно важную роль в теории колец и модулей (см. Ламбек [17], Каш [18. Гл. 6]). Артино-вость или нётеровость модуля представляют по существу некоторые условия конечности.
Интересна следующая история возникновения понятий нётерова (артинова) кольца и модуля. Исторически одним из исходных пунктов развития теории некоммутативных колец и модулей над такими кольцами была теория алгебр над полем К. Как сами такие алгебры, так и их идеалы и модули над ними являются одновременно векторными пространствами над К. Следовательно, можно привлечь теорию векторных пространств, что и было сделано на первом этапе развития теории. Если используются условия конечности, то ясно, что нужно требовать конечной размерности лежащих в основе векторных пространств над К.
Последующее развитие было направлено на максимально возможное освобождение от предположения, что мы имеем дело с алгеброй. При рассмотрении колец, не являющихся алгебрами, в нашем распоряжении уже нет теории линейных пространств и потому, в частности, возникает вопрос о подходящей замене условий конечности для алгебр, которые более не применимы. Соответствующие понятия и точки зрения здесь разработала в первую очередь Эмми Нётер, заложив тем самым основы для дальнейшего развития. В качестве условий конечности она ввела условия минимальности и максимальности, которые могут быть сформулированы эквивалентным образом как условия для цепей подмодулей. И в других разделах математики они оказались столь же важными и естественными. Сразу подчеркнём, что в дальнейшем речь идёт о конечных или счётных цепях (ря-
дах) подмодулей и в качестве отношения порядка рассматривается включение.
Абелевы группы как нётеровы модули над кольцами эндоморфизмов изучались Рейдом [8] и Па-расом [19]. В § 111 книги [3] дано описание абеле-вых групп, кольца эндоморфизмов которых являются телами, простыми или артиновыми кольцами. Там же характеризуются периодические группы с нётеровыми кольцами эндоморфизмов.
Группа гомоморфизмов Иош(А,В) стандартным способом превращается в левый модель над кольцом Е(В) и в правый модуль над кольцом Е(А). Хорошо известно, что существует естественный изоморфизм левых Е(В)-модулей Иош(ДВ)=В, где группа В также рассматривается как левый Е(В)-модуль. Поскольку Иош(А,А)=Е(А), то мы видим, что исследование группы Иош(А,В) как левого Е(В)-модуля и правого Е(А)-модуля действительно включает изучение групп как модулей над их кольцами эндоморфизмов и изучение групп с кольцами эндоморфизмов специального вида.
Группа гомоморфизмов является важной и полезной конструкцией не только в теории абелевых групп, колец и модулей, но и в других областях математики. В монографии Фукса [2] найдено алгебраическое строение группы гомоморфизмов, установлены её гомологические свойства. Тому обстоятельству, что группа Иош(А,В) является Е(В)-модулем и Е(А)-модулем, в литературе уделялось мало внимания, хотя сам этот факт используется часто. Модульный подход к изучению группы гомоморфизмов с одной стороны, позволяет в качестве следствий единообразно выводить результаты о группах как модулях над кольцами эндоморфизмов и о кольцах эндоморфизмов со специальными свойствами. С другой стороны он даёт возможность получить дополнительную информацию об алгебраическом строении группы гомоморфизмов. Кроме того, введение новых классов групп расширяет знания об абелевых группах.
Все используемые далее обозначения стандартны. Буква р всегда обозначает простое число, N -множество всех натуральных чисел, 2 - группа или кольцо целых чисел, 0 - группа или поле рациональных чисел, 2(р) - циклическая группа порядка р, 2р) - квазициклическая р-группа, 1Г - группа целых р-адических чисел, - аддитивная группа поля р-адических чисел. Для группы О обозначим через Е(О) её кольцо эндоморфизмов, г(О) - ранг, а гр(О) - р-ранг группы О, то есть гр(О)=г(О/рО). Если А и В - группы, то группа Иош(А,В) - группа гомоморфизмов из группы А в группу В. Для натурального числа п определим две вполне характеристические подгруппы группы О:
пО={щ^О} и О[п]=^е0\ng=0}.
Все группы, о которых идёт речь, абелевы.
Приведём некоторые хорошо известные факты и понятия общего характера, которые в дальнейшем будем применять без пояснений.
Известия Томского политехнического университета. 2006. Т. 309. № 2
Структура левого Е(В)-модуля на группе Нот(А,В) задаётся с помощью формулы (а<р)а=а(фа) для всех феНот(А,В), аеЕ(В), аеА. Структура правого Е(А)-модуля получается с помощью формулы (фв)а=ф(ва) для любого эндоморфизма /ЗеЕ(А). В частности, всякую группу А можно естественным образом превратить в левый модуль над своим кольцом эндоморфизмов Е(А), считая, что аа=а(а) для любого аеЕ(А) и аеА.
Пусть А и В - группы. Положим
^ (В) = ^ а А, Кв (А) = I кега.
а-.Л^В а-.А^В
Испол-зуем краткие обозначения 5=5А(В), К=КВ(А), А =А/К. Подгруппа £ называется следом группы А в группе В (или А-цоколем). Она вполне характеристична в группе В. Подгруппа К называется В-радикалом группы А, она является вполне ха-рактери-стической подгруппой группы А. Факторгруппу А можно назвать коследом группы В в группе А. Имеют место очевидные равенства 5=5А(5), а также КВ(А)=0. Ясно, что Нот(А,В)=Нот(А,5). Группу Нот(А,В) можно также есте-твенным образом отождествить с группой Нот(А,5). А именно, обозначив через I вложение К^А, а через ж канонический гомоморфизм А^А/К, получим индуцированную последовательность 0^Нот(А/К,В) —— Нот(А,В) —— Нот(К,В), где I*, ж" - индуцированные гомоморфизмы. По определению подгруппы К должно быть I *=0. Следовательно, отображение ж является изоморфизмом. С помощью этого изоморфизма и получается отождествление. Отметим ещё, что в силу вполне характеристичности подгруппы К в группе А фактор-группа А/К есть левый Е(А)-модуль, а Нот(А/К,В) - правый Е(А)-модуль. Изоморфизм ж* является изоморфизмом правых Е(А)-модулей.
Часто применяются известные утверждения об индуцированных последовательностях. Если последовательность групп О^В^О^И^О точна, а М- левый модуль над кольцом Я, то имеем точную последовательность левых и правых Я-модулей соответственно:
0^Нот(И,М)^Нот(О,М)^Нот(В,М), 0^Нот(М,В)^Нот(М, О)^Нот(М,И).
Если же последовательность О^К^М^Х^О является точной последовательностью левых Я-мо-дулей, О - некоторая группа, то получаем точную последовательность правых и левых Я-модулей соответственно
0^Нот(Х, О)^Нот(М, О)^Нот(К, О), 0^Нот(О,К)^Нот(О,М)^Нот(О,Ь).
Укажем важные подмодули модуля Нот(А,В), которые можно получить, исходя из определённых подгрупп групп А и В. Приведём также некоторые канонические модульные разложения группы Нот(А,В), индуцируемые разложениями группы А или В. Если Ж - некоторая подгруппа (вполне характеристическая подгруппа) группы В, то Нот(А, Ж) - подмодуль Е(А)-модуля (Е(В)-модуля) Нот(А,В). Отсюда если
В = Ш,
¡е1
где Ж - некоторые подгруппы (вполне характеристические подгруппы и множество I конечно), то имеет место естественный изоморфизм Е(А)-моду-лей (Е(В)-модулей):
Иош( А, В) = П Нот(А, Ш).
¡е1
Переходя к группе А, можно получить следующие подмодули и разложения. Если V - некоторая подгруппа (вполне характеристическая подгруппа) группы А, то множество {феНот(А,В)\фУ=0} будет подмодулем Е(В)-модуля (соответственно Е(А)-модуля) Нот(А,В). Его можно отождествить с Нот(А/^В). В частности, в случае А=^1© V группу Нот(^,В) считаем равной следующей подгруппе группы Нот(А,В): {феНот(А,В)|ф^=0}. Разложение
А=Ев V,
¡е1
где VI - некоторые подгруппы (вполне характеристические подгруппы) группы А даёт естественный изоморфизм Е(В)-модулей (Е(А)-модулей):
Иош( А, В) = П Иош( V, В).
¡е1
Доказательства многих результатов опираются также на следующее замечание о притягивающих модулях [20. С. 523]. Пусть р:Я^5 - гомоморфизм колец, М - правый (левый) 5-модуль. Посредством формул тг=тр(г) (соответственно гт=р(г)т), где теМ, геЯ, на группе Мвводится структура правого (левого) Я-модуля. Модуль МЯ (ЯМ) называется притягивающим для модуля М5 (5М). Его Я-подмо-дули совпадают с 5-подмодулями, если р сюръек-тивен [18. С. 56], [20. С. 523].
Это замечание играет важную роль в следующих часто возникающих ситуациях. Пусть М - левый модуль над некоторым кольцом Я, А и В - группы. Тогда Нот(А,М) (Нот(М,В)) - левый (правый) Я-модуль. Обычно модуль М будет появляться в связи с вполне характеристическими подгруппами групп А и В. Пусть, например, V- вполне характеристическая подгруппа группы А. Тогда имеем Е(А)-модули Vи A/V. Особенно важен случай, когда V - вполне характеристическое прямое слагаемое группы А. Для наших целей полезно то, что для такой подгруппы V подмодули Е(А)-модуля V и Е(Р)-модуля V совпадают. Действительно, канонический гомоморфизм колец Е(А)^Е(¥) является сюръективным и рассматриваемая ситуация укладывается в рамки понятия притягивающего модуля. Фактор-группа A/V также является Е(А)-моду-лем и Е(А/Р)-модулем и подмодули этих модулей суть одно и то же. Опять канонический гомоморфизм колец Е(А)^-Е(А/У) сюръективен. Можно далее заключить, что подмодули Е(А)-модуля и Е( Р)-модуля Нот( Р,В) совпадают и то же справедливо для подмодулей Е(А)-модуля и Е(А/Р)-модуля Нот(А/Р,В). Аналогичным образом, если Ж - вполне характеристическое прямое слагаемое
группы В, то совпадают подмодули Е(В)-модуля и Е(^)-модуля Иош(А,Щ, а также подмодули Е(В)-модуля и Е(В/Ж)-модуля Иош(А,В/^).
Будем говорить, что простое число р относится к какой-то группе, если она имеет р-компоненту, (то есть р-компонента этой группы отлична от нуля).
р-компонентой группы О называется наибольшая р-группа, содержащаяся в О. Понятно, что р-компонента группы О совпадает с р-компонен-той её периодической части.
Делимой (редуцированной) р-компонентой некоторой группы О будем называть делимую (редуцированную) часть её р-компоненты.
Группа называется ограниченной, если порядки всех её элементов ограничены в совокупности. Ограниченная группа является прямой суммой циклических групп (теорема 17.2 из книги [2]).
Кольцо Я называется нётеровым слева (артино-вым слева), если модуль нётеров (артинов). Аналогично определяются нётеровы и артиновы справа кольца.
Модуль ЕМ называется нётеровым (артиновым), если всякое непустое множество его подмодулей имеет максимальный (минимальный) по включению элемент.
Говорят, что возрастающая (убывающая) цепь подмодулей модуля М
стабилизируется (или обрывается), если она содержит лишь конечное число различных модулей Ап.
Теорема 1. [18. Теорема 6.1.2]. Пусть М- левый (правый) Я-модуль, А - его подмодуль. Следующие условия эквивалентны:
(1) M нётеров (артинов);
(2) A и M/A нётеровы (артиновы);
(3) каждая возрастающая (убывающая) цепь подмодулей модуля M стабилизируется. Изложение полученных авторами результатов
начнём с эндоартиновых и эндонётеровых групп.
Группа A, являющаяся нётеровым (артиновым) модулем над своим кольцом эндоморфизмов, называется эндоартиновой (эндонётеровой). Получено полное описание эндоартиновых групп, а изучение эндонётеровых групп сведено, что традиционно для теории абелевых групп, к изучению эндонё-теровых групп без кручения [21. С. 172]:
Теорема 2. 1) Группа A эндоартинова тогда и только тогда, когда A=BBD, где B - ограниченная группа, D - делимая группа с конечным числом ненулевых ^-компонент.
2) Группа A эндонётерова тогда и только тогда, когда A=B®C, где B - ограниченная группа, C -эндонётерова группа без кручения.
В доказательстве этой теоремы использована лемма 1.
Лемма 1. Пусть группа A=Z®A; и H - вполне характеристическая подгруппа S'A. Тогда
H = (H n Ai ),
tel
где каждая подгруппа HnAt вполне характеристична в A;. Если некоторые слагаемые A и Aj изоморфны, то всякий изоморфизм между ними индуцирует изоморфизм между HnAt и HnA.
Теорема 2 играет важнейшую роль в доказательстве артиновости (нётеровости) многих подмодулей модуля Hom(A,B) (теоремы 3, 5, предложения 5, 10).
СПИСОК ЛИТЕРАТУРЫ
1. Бэр Р. Линейная алгебра и проективная геометрия. - М.: Иностранная литература, 1955. - 400 с.
2. Фукс Л. Бесконечные абелевы группы. - М.: Мир, 1974. - Т. 1.
- 335 с.
3. Фукс Л. Бесконечные абелевы группы. - М.: Мир, 1977. - Т. 2.
- 416 с.
4. Марков В.Т., Михалёв А.В., Скорняков Л.А., Туганбаев А.А. Кольца эндоморфизмов модулей и структуры подмодулей. В кн.: Итоги науки и техники. Алгебра. Топология. Геометрия. 1983. - Т. 21. - С. 183-254.
5. Крылов П.А., Михалёв А.В., Туганбаев А.А. Связи абелевых групп и их колец эндоморфизмов. - Томск: Изд-во ТГУ, 2002.
- 451 с.
6. Richman F., Walker E. Primary abelian groups as modules over their endomorphism rings // Math. Z. - 1965. - V. 89. - № 3. - P. 77-81.
7. Douglas A.J., Farahat H.K. The homological dimension of an abelian group as a module over its ring of endomorphism // Monatsh. Math. - 1965. - V. 69. - № 2. - P. 294-305.
8. Reid J.D. Abelian groups finitely generated over their endomorphism rings // Lecture Notes Math. - 1981. - V. 874. - № 5. - P. 41-52.
9. Richman F., Walker E. Modules over PIDs that are injective over their endomorphism rings // Ring theory. - N.Y.: Academic Press, 1972. - P. 363-372.
10. Arnold D., Pierce R.S., Reid J.D., Vinsonhaler C., Wickless W. Torsion-free abelian groups of finite rank projective as modules over their endomorphism rings // J. Algebra. - 1981. - V. 71. - № 1. -P. 1-10.
11. Faticoni Th. G., Goeters P. Examples of torsion-free groups flat as modules over their endomorphism rings // Commun. Algebra. -1991. - V. 19. - № 1. - P. 1-27.
12. Szele T., Szendrei J. On abelian groups with commutative endomorphism rings // Acta Math. Acad. Sci. Hungar. - 1951. - V. 2. -№ 9. - P. 309-324.
13. Orsatti A. Alcuni gruppi abeliani il cui anello degli endomorfismi e locale // Rend. Semin. mat. Univ. Padova. - 1965. - V. 35. - № 7. - P. 107-115.
14. Glaz S., Wickless W. Regular and principal projective endo-morphism rings of mixed Abelian groups // Commun. Algebra. -1994. - V. 22. - № 4. - P. 1161-1176.
15. Иванов А.В. Абелевы группы с самоинъективными кольцами эндоморфизмов и кольцами эндоморфизмов с аннуляторным условием // Абелевы группы и модули / Под ред. Л.А. Скорня-кова. - Томск: Изд-во Томск. ун-та, 1982. - С. 93-109.
16. Albrecht U. Baer's lemma and Fuchs' problem 84 a // Trans. Amer. Math. Soc. - 1986. - V. 203. - № 2. - P. 565-582.
17. Ламбек И. Кольца и модули. - М.: Мир, 1971. - 280 с.
18. Каш Ф. Модули и кольца. - М.: Мир, 1981. - 368 с.
