Абелевы группы с регулярным центром кольца эндоморфизмов
Рассматриваются абелевы группы, имеющие регулярное кольцо эндоморфизмов (регулярный центр кольца эндоморфизмов).
Abelian groups with a regular center of the endomorphism ring.pdf Основные исследования по изучению абелевых групп, имеющих регулярное кольцо эндоморфизмов, связаны с работами K.M. Rangaswamy [1], L. Fuchs и K.M. Rangaswamy [2], которые свели изучение таких групп к редуцированным группам. В теореме 4 данной работы рассматривается этот случай. Описание редуцированных групп конечного ранга без кручения, имеющих регулярное кольцо эндоморфизмов, было предложено S. Glaz и W. Wickless в [3]. Интерес к исследованию абелевых групп, имеющих регулярный центр кольца эндоморфизмов, связан в первую очередь с проблемой, поставленной в монографии [4]: «Центры колец эндоморфизмов каких групп регулярны, самоинъектив-ны?». В работе [5] изучение таких групп было сведено к редуцированному случаю, а в теореме 2 предлагаемой работы рассматривается данный случай. Центр кольца эндоморфизмов абелевых групп, а также связанные с этим вопросы изучались в ряде работ. Так, в [6] описание центра кольца эндоморфизмов расщепляющейся смешанной абелевой группы сводится к описанию некоторых подколец центра кольца эндоморфизмов ее части без кручения. В [7] рассматривается строение аддитивной группы регулярного модуля. Изучаются абелевы группы, являющиеся регулярными модулями над своими кольцами эндоморфизмов. В [8] доказывается регулярность кольца эндоморфизмов по радикалу самой малой sp-группы. В [9] содержатся как известные, так и новые результаты о гомоморфизмах, близких к регулярным. В [10] изучаются абелевы группы с центральными идемпотентами, а в [11] - с перестановочными мономорфизмами. Все группы, рассматриваемые здесь, являются абелевыми, а все кольца являются унитальными предкольцами [12]. Введем следующие обозначения: E (G) -кольцо эндоморфизмов группы G; C(E(G)) - центр кольца E(G); T(G) - периодическая часть группы G; Tp (G) - p -компонента периодической части группы G; прямую сумму и произведение групп обозначаем символами © и П соответственно. Все понятия, которые не поясняются здесь, являются стандартными их можно найти, например, в монографиях [4, 12-14]. Напомним, что предкольцо A называется регулярным, если A - регулярная мультипликативная полугруппа (т. е. если a е aAa для любого a е A ) [12]. Нам потребуется следующая теорема, доказанная в [5]: Теорема 1 [5]. Для группы G следующие условия справедливы: 1) Если G - нередуцированная группа, то C(E(G)) - регулярное кольцо тогда и только тогда, когда группа G удовлетворяет хотя бы одному из следующих условий: а) G - делимая группа без кручения; б) G = A © D, где A - элементарная группа, а D - делимая группа без кручения. 2) Если G - редуцированная группа и C(E(G)) - регулярное кольцо, то T (G) - элементарная группа, G / T (G) - делимая группа и pеP © Tp (G) с G сП Tp (G). pеP Определение. Подкольцо B кольца A назовём регулярно разрешимым в A, если для любого b е B из того, что b е bAb , следует, что b е bBb. Замечание. Очевидно, что если B - регулярное подкольцо кольца A, то B регулярно разрешимо в A. В следующей теореме рассматриваются редуцированные группы, имеющие регулярный центр кольца эндоморфизмов. Теорема 2. Если G - редуцированная группа, то C(E(G)) - регулярное кольцо тогда и только тогда, когда выполняются следующие условия: 1) T(G) - элементарная группа; 2) C(E(G)) изоморфно регулярно разрешимому подкольцу кольца E(T(G)). Доказательство. Необходимость. Справедливость условия 1) следует из теоремы 1. Докажем, что выполняется условие 2). Рассмотрим кольцевой гомоморфизм ф: E(G) ^ E(T(G)), ставящий в соответствие каждому а е E(G) его ограничение на T(G) Предположим, что существует ненулевой гомоморфизм Р е E(G) такой, что р е ker ф. Тогда /m(P) является делимой группой (как эпи-морфный образ делимой группы G / T(G) (см. теорему 1)), что противоречит редуцированности группы G. Следовательно, ф - мономорфизм. Пусть i: C(E(G)) ^ E(G) - тождественное вложение, тогда im^i) - регулярно разрешимое подкольцо кольца E(T(G)) Достаточность. Так как T(G) - элементарная группа, то E(T(G)) - регулярное кольцо [4, следствие 18.2] и, следовательно, C (E (G)) - регулярное кольцо по условию 2). Напомним результат, полученный Фуксом и Рангасвами [1, 2] для абелевых групп, имеющих регулярное кольцо эндоморфизмов. Теорема 3 ([1, 2]). Для группы G следующие условия справедливы: а) Если G - периодическая группа, то кольцо E(G) регулярно тогда и только тогда, когда G - элементарная группа. б) Если G - нередуцированная группа, то E(G) - регулярное кольцо тогда и только тогда, когда G - прямая сумма делимой группы без кручения и элементарной группы. в) Если G - редуцированная группа и E(G) - регулярное кольцо, то T(G) - элементарная группа, G / (T(G)) - делимая группа и pеP © Tp (G) с G сП Tp (G). pеP Поскольку нередуцированные группы, имеющие регулярное кольцо эндоморфизмов, в теореме 3 описаны, то в следующей теореме рассмотрим только редуцированный случай. Теорема 4. Если G - редуцированная группа, то E(G) - регулярное кольцо тогда и только тогда, когда выполняются следующие условия: 1) T (G) - элементарная группа; 2) E (G) изоморфно регулярно разрешимому подкольцу кольца E(T (G)). Доказательство. При использовании условия в) теоремы 3 доказательство данной теоремы проводится аналогично доказательству теоремы 2.
Ключевые слова
абелева группа,
регулярное кольцо эндоморфизмов,
регулярный центр кольца эндоморфизмов,
abelian group,
regular endomorphism ring,
regular center of the endomorphism ringАвторы
| Мисяков Виктор Михайлович | Томский государственный университет | кандидат физико-математических наук, доцент, доцент кафедры алгебры механико-математического факультета | mvm@mail.tsu.ru |
Всего: 1
Ссылки
Rangaswamy K.M. Abelian groups with endomorphism images of special types // J. Algebra. 1967. V. 6. P. 271-280.
Fuchs L., Rangaswamy K.M. On generalized regular rings // Math. Z. 1968. V. 107. P. 71-81.
Glaz S. and Wickless W. Regular and principal projective endomorphism rings of mixed Abelian groups // Comm. Algebra. 1994. V. 22. No. 4. P. 1161-1176.
Крылов П.А., Михалёв А.В., Туганбаев А.А. Связи абелевых групп и их колец эндоморфизмов. Томск: Томский государственный университет, 2002. 464 с.
Карпенко А.В., Мисяков В.М. О регулярности центра кольца эндоморфизмов абелевой группы // Фундамент. и прикл. матем. 2007. Т. 13. Вып. 3. С. 39-44.
Крылов П.А., Классен Е.Д. Центр кольца эндоморфизмов расщепляющейся смешанной абелевой группы // Сиб. матем. журн. 1999. Т. 40. № 5. С. 1074-1085.
Крылов П.А., Пахомова Е.Г. Абелевы группы и регулярные модули // Матем. заметки. 2001. Т. 69. № 3. С. 402-411.
Крылов П.А. Радикалы колец эндоморфизмов абелевых групп // Вестник Томского государственного университета. Математика и механика. 2007. № 1. С. 17-27.
Абызов А.Н., Туганбаев А.А. Гомоморфизмы, близкие к регулярным, и их приложения // Фундамент. и прикл. матем. 2010. Т. 16. № 7. С. 3-38.
Чехлов А.Р. Об абелевых группах с нормальным кольцом эндоморфизмов // Алгебра и логика. 2009. Т. 48. № 4. С. 520-539.
Чехлов А.Р. Об абелевых группах с перестановочными мономорфизмами // Сиб. матем. журн. 2013. Т. 54. № 5. С. 1182-1187.
Туганбаев А.А. Теория колец. Арифметические модули и кольца. М.: МЦНМО, 2009. 472 с.
Фукс Л. Бесконечные абелевы группы. М.: Мир, 1974. Т. 1. 335 с.
Фукс Л. Бесконечные абелевы группы. М.: Мир, 1977. Т. 2. 416 с.