Научная статья на тему 'Абелевы группы как артиновы или нетеровы модули над кольцами эндоморфизмов. Ч. 1'

Абелевы группы как артиновы или нетеровы модули над кольцами эндоморфизмов. Ч. 1 Текст научной статьи по специальности «Математика»

CC BY
381
47
i Надоели баннеры? Вы всегда можете отключить рекламу.

Аннотация научной статьи по математике, автор научной работы — Крылов П. А., Подберезина Е. И.

Приведен обзор результатов исследования абелевых групп как артиновых или нётеровых модулей над кольцами эндоморфизмов. Описаны абелевы группы A и B такие, что группа гомоморфизмов Hom(A,B) является артиновым модулем над кольцом эндоморфизмов группы B. Описание групп A и B, для которых группа Hom(A,B) является артиновым модулем над кольцом эндоморфизмов группы A, сведена к случаю, когда группа A не имеет кручения, а группа B либо квазициклическая группа, либо делимая группа без кручения. Охарактеризованы абелевы группы A и B, для которых группа Hom(A,B) есть нётеров модуль над кольцом E(A) или E(B). Исследование произвольной абелевой группы с нётеровым слева кольцом эндоморфизмов сведено к исследованию группы без кручения с нётеровым слева кольцом эндоморфизмов. Исследование группы с нётеровым справа кольцом эндоморфизмов осталось незавершённым. Описаны сепарабельные абелевы группы без кручения с нётеровыми слева или справа кольцами эндоморфизмов.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Abelian groups as Artinian or Noetherian modules above endomorphism rings. Part 1

The paper considers the results of Abelian groups' investigation as Artinian or Noetherian modules above endomorphism rings. Abelian groups A and B are described showing that homorphism group Hom (A, B) is an Artinian module above the endomorphism ring of B group. The description of A and B groups for which group Hom (A, B) is an Artinian module above the endomorphism ring or A group concerns the case when group A does not experience any twisting, and group B is regarded either a quasi-cyclic group or a divisible group without twisting. Abelian groups A and B for which group Hom (A, B) is a Noetherian module above the ring E(A) or E(B) are characterized. The investigation of an optional Abelian group with the left Noetherian endomorphism ring deals with the investigation of groups without twisting with left Noetherian endomorphism ring. The investigation of right Noetherin ring remained incomplete. Separable Abelian groups without twisting with left or right Noetherian endomorphism rings are described.

Текст научной работы на тему «Абелевы группы как артиновы или нетеровы модули над кольцами эндоморфизмов. Ч. 1»

Естественные науки

УДК 512.541

АБЕЛЕВЫ ГРУППЫ КАК АРТИНОВЫ ИЛИ НЕТЕРОВЫ МОДУЛИ НАД КОЛЬЦАМИ ЭНДОМОРФИЗМОВ. Ч. 1

П.А. Крылов*, Е.И. Подберезина

*Томский государственный университет

Томский политехнический университет E-mail: hggh45de@mail2000.ru

Приведен обзор результатов исследования абелевых групп как артиновых или нётеровых модулей над кольцами эндоморфизмов. Описаны абелевы группы 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}.

Все группы, о которых идёт речь, абелевы.

Приведём некоторые хорошо известные факты и понятия общего характера, которые в дальнейшем будем применять без пояснений.

Структура левого Е(В)-модуля на группе Иош(А,В) задаётся с помощью формулы (а(р)а=а(щ) для всех феИош(А,В), аеЕ(В), аеА. Структура правого Е(А)-модуля получается с помощью формулы (фв)а=ф(ва) для любого эндоморфизма /ЗеЕ(А). В частности, всякую группу А можно естественным образом превратить в левый модуль над своим кольцом эндоморфизмов Е(А), считая, что аа=а(а) для любого аеЕ(А) и аеА.

Пусть А и В - группы. Положим

Ял (В) = X а А, К (А) = I кега-

а:А^В а-.А^В

Испол-зуем краткие обозначения $=$А(В), К=КВ(А), А =А/К. Подгруппа £ называется следом группы А в группе В (или А-цоколем). Она вполне характеристична в группе В. Подгруппа Кназывает-ся В-радикалом группы А, она является вполне ха-рактери-стической подгруппой группы А. Факторгруппу А можно назвать коследом группы В в группе А. Имеют место очевидные равенства S=SЛ(S), а также КВ(А)=0. Ясно, что Иош(А,В)=Иош(А,6). Группу Иош(А,В) можно также есте-твенным образом отождествить с группой Иош(А,Я). А именно, обозначив через I вложение К^А, а через ж канонический гомоморфизм А^А/К, получим индуцированную последовательность 0^Иош(А/К,В) —— Иош(А,В) —— Иош(К,В), где I*, ж* - индуцированные гомоморфизмы. По определению подгруппы К должно быть I *=0. Следовательно, отображение ж* является изоморфизмом. С помощью этого изоморфизма и получается отождествление. Отметим ещё, что в силу вполне характеристичности подгруппы К в группе А фактор-группа А/К есть левый Е(А)-модуль, а Иош(А/К,В) - правый Е(А)-модуль. Изоморфизм ж* является изоморфизмом правых Е(А)-модулей.

Часто применяются известные утверждения об индуцированных последовательностях. Если последовательность групп О^В^О^И^О точна, а М- левый модуль над кольцом Я, то имеем точную последовательность левых и правых Я-модулей соответственно:

0^Иош(И,М)^Иош(О,М)^Иош(В,М),

0^Иош(М,В)^Иош(М, О)^Иош(М,И).

Если же последовательность О^К^М^Х^О является точной последовательностью левых Я-мо-дулей, О - некоторая группа, то получаем точную последовательность правых и левых Я-модулей соответственно

0^Иош(Х, О)^Иош(М, О)^Иош(К, О),

0^Иош(О,К)^Иош(О,М)^Иош(О,Ь).

Укажем важные подмодули модуля Иош(А,В), которые можно получить, исходя из определённых подгрупп групп А и В. Приведём также некоторые канонические модульные разложения группы Иош(А,В), индуцируемые разложениями группы А или В. Если Ж - некоторая подгруппа (вполне характеристическая подгруппа) группы В, то Иош(А, Ж) - подмодуль Е(А)-модуля (Е(В)-модуля) Иош(А,В). Отсюда если

B = nw,

iel

где W - некоторые подгруппы (вполне характеристические подгруппы и множество I конечно), то имеет место естественный изоморфизм Е^)-моду-лей (Е(Я)-модулей):

Hom( A, B) = П Hom(A, W).

iel

Переходя к группе A, можно получить следующие подмодули и разложения. Если V - некоторая подгруппа (вполне характеристическая подгруппа) группы A, то множество {^eHom(A,B)|^V=0| будет подмодулем Е^-модуля (соответственно Е(А)-модуля) Hom(A,B). Его можно отождествить с Hom(A/V,B). В частности, в случае A=Vl@V2 группу Hom(Vl,B) считаем равной следующей подгруппе группы Hom(A,B): {^eHom(A,B)|^V2=0|. Разложение

A = Е® V,

iel

где V - некоторые подгруппы (вполне характеристические подгруппы) группы A даёт естественный изоморфизм Е(В)-модулей (Е^-модулей):

Hom( A, B) = П Hom( Vt, B).

iel

Доказательства многих результатов опираются также на следующее замечание о притягивающих модулях [20. С. 523]. Пусть p.R^-S - гомоморфизм колец, M - правый (левый) S-модуль. Посредством формул mr=mp(r) (соответственно rm=p(r)m), где meM, reR, на группе Mвводится структура правого (левого) R-модуля. Модуль MR (RM) называется притягивающим для модуля MS (SM). Его R-подмодули совпадают с S-подмодулями, если р сюръек-тивен [18. С. 56], [20. С. 523].

Это замечание играет важную роль в следующих часто возникающих ситуациях. Пусть M - левый модуль над некоторым кольцом R, A и B - группы. Тогда Hom(A,M) (Hom(M,B)) - левый (правый) R-модуль. Обычно модуль M будет появляться в связи с вполне характеристическими подгруппами групп A и B. Пусть, например, V- вполне характеристическая подгруппа группы A. Тогда имеем Е^-модули Vи A/V. Особенно важен случай, когда V - вполне характеристическое прямое слагаемое группы A. Для наших целей полезно то, что для такой подгруппы V подмодули Е^-модуля V и Е(Р)-модуля V совпадают. Действительно, канонический гомоморфизм колец E(A)^E(V) является сюръективным и рассматриваемая ситуация укладывается в рамки понятия притягивающего модуля. Фактор-группа A/V также является Е^)-моду-лем и Е^/^-модулем и подмодули этих модулей суть одно и то же. Опять канонический гомоморфизм колец Е^^-Е^/У) сюръективен. Можно далее заключить, что подмодули Е^)-модуля и Е( Vl-модуля Hom( V,B) совпадают и то же справедливо для подмодулей Е^-модуля и Е^/Р)-модуля Hom(A/V,B). Аналогичным образом, если

W - вполне характеристическое прямое слагаемое

группы В, то совпадают подмодули Е(В)-модуля и Е(Ж)-модуля Иош(А,Ж), а также подмодули Е(В)-модуля и Е(В/Ж>-модуля Иош(А,В/Ж).

Будем говорить, что простое число р относится к какой-то группе, если она имеет ^-компоненту, (то есть ^-компонента этой группы отлична от нуля).

^-компонентой группы О называется наибольшая ^-группа, содержащаяся в О. Понятно, что ^-компонента группы О совпадает с ^-компонен-той её периодической части.

Делимой (редуцированной) ^-компонентой некоторой группы О будем называть делимую (редуцированную) часть её ^-компоненты.

Группа называется ограниченной, если порядки всех её элементов ограничены в совокупности. Ограниченная группа является прямой суммой циклических групп (теорема 17.2 из книги [2]).

Кольцо Я называется нётеровым слева (артино-вым слева), если модуль нётеров (артинов). Аналогично определяются нётеровы и артиновы справа кольца.

Модуль ЕМ называется нётеровым (артиновым), если всякое непустое множество его подмодулей имеет максимальный (минимальный) по включению элемент.

Говорят, что возрастающая (убывающая) цепь подмодулей модуля М

A1сЛ2с...сЛс■■■(A1зA2з...зAз...) стабилизируется (или обрывается), если она содержит лишь конечное число различных модулей Ап.

Теорема 1. [18. Теорема 6.1.2]. Пусть М- левый (правый) Я-модуль, А - его подмодуль. Следующие условия эквивалентны:

СПИСОК ЛИТЕРАТУРЫ

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.

(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 - вполне характеристическая подгруппа il^A. Тогда

н = Х® (н п 4),

iel

где каждая подгруппа HnAt вполне характеристична в A;. Если некоторые слагаемые At и Aj изоморфны, то всякий изоморфизм между ними индуцирует изоморфизм между HnAt и HnA.

Теорема 2 играет важнейшую роль в доказательстве артиновости (нётеровости) многих подмодулей модуля Hom(A,B) (теоремы 3, 5, предложения 5, 10).

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 endomorphism 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 с.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

18. Каш Ф. Модули и кольца. - М.: Мир, 1981. - 368 с.

i Надоели баннеры? Вы всегда можете отключить рекламу.