CC BY
27
ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА
2013 Математика и механика № 4(24)
УДК 512.541
А.Р. Чехлов, Мл.В. Агафонцева ОБ АБЕЛЕВЫХ ГРУППАХ С ЦЕНТРАЛЬНЫМИ КВАДРАТАМИ КОММУТАТОРОВ ЭНДОМОРФИЗМОВ1
Описаны делимые группы, вполне разложимые, векторные и сепарабельные группы без кручения, квадраты коммутаторов эндоморфизмов которых центральны в кольце эндоморфизмов этих групп.
Ключевые слова: кольцо эндоморфизмов, коммутатор эндоморфизмов, Е-коммутант.
Все группы в статье предполагаются абелевыми. Пусть А - группа. Тогда Е(А) обозначает кольцо ее эндоморфизмов, г(А) - ранг, Ар - ее р-компоненту, а /(А) -периодическую часть. Если А - однородная группа без кручения, то /(А) - ее тип. Если/ А ^ В - гомоморфизм, то/1 Н - ограничение/на Н с А. Если В, О - группы и X - непустое подмножество В, то через Нот (В, О)Х обозначим подгруппу в
О, порожденную всеми подмножествами /X, где /е Нот (В, О). Через 1А обозначим тождественный автоморфизм группы А, Z - аддитивную группу целых чисел,
О - аддитивную группу всех рациональных чисел. 2 „ - квазициклическую
р-группу.
Напомним, что если Я - кольцо и а,Ь е Я, то элемент [а,Ь] = аЬ - Ьа называется коммутатором элементов а и Ь.
Статья посвящена изучению абелевых групп, кольца эндоморфизмов которых удовлетворяют тождеству [[х, у]2,х] = 0. Обозначим класс таких групп через 2БЬ2. Исследованию тождеств в алгебре посвящена обширная литература, см., напр., [1 - 7]. Не претендуя на полноту, отметим также статьи [8-17]. В [8] помимо прочего доказано, что некоммутативная алгебра с делением, удовлетворяющая тождеству [[х, у]2, 2] = 0, четырехмерна над своим центром.
В [18, 19] изучался класс БЬ2 групп А, таких, что [а,Р]2 = 0 для любых а,Р е Е(А); а в [20] изучались Е-нильпотентные группы ступени < 2 - такие группы А, кольца эндоморфизмов которых удовлетворяют тождеству [[х,у], х] = 0. Как это следует из [19, лемма 1], группы из класса БЬ2 не содержат прямых слагаемых вида В © С, где В = С, а у Е-нильпотентных групп кольца эндоморфизмов нормальны [20, предложение 1.2]. Поэтому класс 2БЬ2-групп шире классов БЬ2-групп и Е-нильпотентных групп ступени < 2 (см. далее теоремы 5, 7, 8). В [21-29] изучались группы из класса БЬЯ для произвольного натурального п и другие (Е-разрешимые, Е-энгелевы, проективно разрешимые) близкие классы групп. В [30] исследовались центрально инвариантные подгруппы (т.е. подгруппы, инвариантные относительно центра группы) и коммутаторно инвариантные
1 Работа выполнена при поддержке ФЦП «Научные и научно-педагогические кадры инновационной
России» на 2009-2013 годы, № 14. В 37.21.0354 и частично в рамках темы 2.3684.2011 Томского государственного университета.
подгруппы (т.е. такие подгруппы Н группы А, что [а,Р]Н с Н для любых
а,р е Е(А)). В [31-34] изучались проективно инвариантные подгруппы, т.е. такие подгруппы Н группы А, что пНс Н для любой проекции п группы А. Вопросы продолжения автоморфизмов подмодулей изучались в [35]. Близкие классы групп исследовались в [36, 37].
Подгруппу А' = ([ф,у]А | ф,у е Е(А)) назовем Е-коммутантом группы А. Ясно, что кольцо Е(А) коммутативно в точности тогда, когда А' = 0. Некоторые свойства и описание Е-коммутанта ряда классов групп получены в [18 - 29].
Прямые слагаемые групп из класса 2БЬ2 также принадлежат этому классу. Поэтому в следующих трех леммах приводятся общие свойства прямых слагаемых групп из класса 2БЬ2.
Лемма 1. Пусть А = В © С, где В,С ф 0. Тогда если А е 2БЬ2, то В,С е 2БЬ2,
[ф,у](Нот (В,С)В) = 0, а(В ') = 0 и [д;у](Нот (С,В)С) = 0, 1(С') = 0 для любых
ф,у е Е(С), а е Нот (В,С) и е Е(В), 1 е Нот (С,В).
Доказательство. Пусть п: А ^ В, 0: А ^ С - проекции, ф,у е Е(С),
1 е Нот (С,В), а у е Нот (В,С).
Продолжим ф,у до эндоморфизмов группы А, полагая ф | В = у, у | В = 0. Тогда для Ь е В имеем
[ф,у]Ь = фуЬ - уфЬ = - уфЬ = - ууЬ и [ф,у]2Ь = - ([ф,у]уу)Ь.
Оставив действие ф прежним, а действие у на В определив как действие тождественного автоморфизма, получим
[ф,у]Ь = фуЬ - уфЬ = уЬ - ууЬ и [ф,у]2Ь = ([ф,у]у)Ь - ([ф,у]уу)Ь.
Откуда ввиду того, что [[ф,у]2,п]Ь = [ф,у]2Ь, приравняв к 0 полученные выше выражения для квадратов коммутаторов, имеем ([ф,у]уу)Ь = 0 и ([ф,у]у)Ь -([ф,у]уу)Ь = 0. Следовательно, ([ф,у]у)Ь = 0 и, значит, [ф,у](Нот (В,С)В) = 0 в силу произвольности у е Нот (В,С) и Ь е В.
Определим ф, ф е Е (А), полагая ф | С = ф + Х, ф | В = 1В , ф | С = ф, ф | В = 0.
Тогда для с е С имеем [ф, ф] с = (фф) с - (фф) с = [ф, ф] с + (Хф) с. Так как [ф, ф] | В = 0, то [ф, ф]2 с = [ф, ф]2 с + (Хф[ф, ф]) с . Далее [л,[ф, ф]2 ^ с =
= (п[ф,ф]2) с = (Хф[ф,ф]) с = 0. Определим теперь ф, ф следующим образом: ф| С = ф + Х, ф| В = 0, ф | С = ф, ф | В = 1В . Тогда
[ф, ф] с = (фф) с - (фф) с = (фф)с + (Хф)с - ф(фс + Хс) =
= (фф)с + (Хф)с - (фф)с - Хс = [ф, ф] с + (Хф) с - Хс.
А так как и здесь [ф, ф] | В = 0 , то
[ф, ф]2 с = [ф, ф]2 с + (Хф[ф, ф]) с - (Х[ф, ф]) с и [п, [ф, ф]2 ^ с = (Хф[ф, ф]) с - (Х[ф, ф]) с = 0 ,
откуда из доказанного выше равенства (Хф[ф, ф]) с = 0 получаем (Х[ф, ф]) с = 0 . Следовательно, 1(С ') = 0. Ввиду симметричности прямых слагаемых В и С лемма доказана.
Лемма 2. Пусть А = В © С © N. Тогда если А е 2БЬ2, то Р(Нот (В,С)В) = 0 для каждого р е Нот (СД).
Доказательство. Пусть у е Нот (В,С). Определим/е Е(А) следующим образом: /1 В = у,/1 С = р и/1 Д= 0. Если теперь Ь е В, а п: А ^ С - проекция, то [п/]Ь = (п/)Ь - (/п)Ь = уЬ, [п,/]2Ь = ([п/]у)Ь = (п/у)Ь - (/пу)Ь = - РуЬ.
Имеем [[п/]2,п]Ь = - (п [п/]2)Ь = РуЬ = 0. Откуда следует, что Р(Нот (В,С)В) = 0.
Лемма 3. Пусть А = В © С, где Нот (В,С) Ф 0 и каждый ненулевой гомоморфизм из Нот (В,С) является мономорфизмом, а В,С - такие группы, что их ненулевые эндоморфизмы также являются мономорфизмами. Тогда если А е 2БЬ2, то кольца Е(В) и Е(С) коммутативны.
Доказательство. Согласно лемме 1, а(В ') = 0 для каждого 0 Ф а е Нот (В,С), а поскольку все такие а являются мономорфизмами, то В ' = 0, т.е. кольцо Е(В) коммутативно. Далее, по той же лемме Нот (В,С)В с кег [ф,у] для всех ф,у е Е(С). А так как по условию Нот (В,С)В Ф 0, то [ф,у] = 0. Это означает коммутативность Е(С).
Лемма 4. Пусть А = © , е 1 А, (А = П ; е I А,), где подгруппы А, вполне характеристичны в А. Тогда А е 2БЬ2 в том и только в том случае, когда все А, е 2БЬ2. Доказательство. Очевидно.
Теорема 5. Пусть Б - ненулевая делимая группа. Тогда Б е 2БЬ2 в том и только в том случае, когда выполняется одно из следующих условий:
1) Б = О © О или Б = О;
2) Б = р©( © 2 „), где П - некоторое непустое множество простых чисел;
реП р
3) Б = © (©2 „), где П - некоторое непустое множество простых чисел, а
реП Шр р
тр = 1 или шр = 2 для каждого р е П.
Доказательство. Делимая группа без кручения имеет вид © р, где т - неко-
т
торое кардинальное число. Поэтому необходимость п. 1) следует из леммы 2. Для Б = О © О кольцо Е(Б) изоморфно кольцу матриц М(2,О) над полем О. Такое кольцо удовлетворяет условию [[х, у]2, х] = 0, что доказывает п. 1) теоремы.
Если периодическая часть /(Б) группы Б отлична от 0, то Б = Б0 © /(Б), где (если Б0 Ф 0) Б0 = ©р для некоторого кардинального числа т. Нот (р, 2 „) Ф 0 тр для каждого простого числа р. Поэтому если Б е 2БЬ2 и Б0 Ф 0, то из леммы 2 следует, что Б0 = О, а Бр = 2р„ для каждого простого р с условием Бр Ф 0.
Далее, подгруппа /(Б) вполне инвариантна в Б и для группы Б, указанной в п. 2), кольца Е(Б0) и Е(/(Б)) коммутативны. Для такой группы Б квадрат коммутатора любых ее эндоморфизмов равен 0, поэтому такая группа Б принадлежит классу 2БЬ2.
Каждая ненулевая р-компонента Бр делимой группы Б изоморфна группе © 2 „ для некоторого кардинального числа тр. Из леммы 2 следует, что тр = 1
тр р
или тр = 2. Если группа Б периодична, то Б = © Бр для некоторого множества
реП
П простых чисел, каждая подгруппа Бр вполне инвариантна в Б, если тр = 1, то кольцо Е(Бр) коммутативно, если же тр = 2, то Бр = 2 „ © 2 „ и кольцо Е(Бр)
изоморфно кольцу матриц М(2,2 ), где 2р - кольцо целых р-адических чисел
[38, § 43, пример 3], такое кольцо удовлетворяет тождеству [[х, у]2, г] = 0, что доказывает п. 3) теоремы.
Теорема 6. Если 0 ф Б - делимая часть группы А, А = В © Б и 0 ф В - группа без кручения, то А е 2БЬ2 в том и только в том случае, когда Е(В), Е(Б) - коммутативные кольца.
Доказательство. Необходимость. Имеем Нот (В,Б) Ф 0 и Нот (р, 2р„) Ф 0
для каждого простого числа р. Поэтому из леммы 2 следует, что Б = О или Б -периодическая группа, каждая ненулевая р-компонента которой изоморфна группе 2 „ , кольцо эндоморфизмов Е(Б) такой группы Б коммутативно. Так как для
каждого 0 Ф Ь е В существует гомоморфизм ф: В ^ Б со свойством фЬ Ф 0, то из леммы 1 следует, что В ' = 0, т.е. кольцо Е(В) коммутативно. Достаточность вытекает из того, что прямое слагаемое Б вполне инвариантно в А и так как кольца Е(В) и Е(Б) коммутативны, то квадрат любого коммутатора эндоморфизмов группы А равен 0.
Теорема 7. Пусть А - вполне разложимая группа без кручения, не являющаяся делимой, А = В © Б, где Б - делимая часть группы А. Тогда А е 2БЬ2 в том и только в том случае, когда:
1) если Б Ф 0, то Б = О, а В - прямая сумма групп ранга 1 с попарно несравнимыми типами;
2) если Б = 0, то А = © А,, где типы прямых слагаемых ранга 1 групп А, и А^
ге!
не сравнимы при г ф], причем либо г(А) = 1, либо А, = В, © С,, где г(В) = 1, а группа С, изоморфна группе В, или является прямой суммой групп ранга 1 с попарно несравнимыми типами, каждый из которых больше, чем тип /(В,).
Доказательство. Необходимость следует из леммы 2, поскольку для прямого слагаемого N1 © Д2 © N3 группы А, где г(Д) = 1, невозможно условие /(N1) < /(Д2) < /(Д3). Достаточность в п. 1) следует из того, что Б - вполне инвариантная подгруппа в А, а Е(В), Е(Б) - коммутативные кольца. В п. 2) А е 2БЬ2 как прямая сумма вполне инвариантных подгрупп из 2БЬ2.
Теорема 8. Пусть А - сепарабельная (векторная) группа без кручения, А = В © Б, где Б - делимая часть группы А. Тогда А е 2БЬ2 в том и только в том случае, когда:
1) если Б Ф 0, то Б = О, а В - прямая сумма (прямое произведение) групп ранга 1 с попарно несравнимыми типами;
2) если Б = 0, то А = ©,■ е!А, (А = П е 1А), типы прямых слагаемых ранга 1 групп А, и А^ не сравнимы при различных I и ], причем либо г(А) = 1, либо А, = В, © С,, г(В,) = 1, а группа С, изоморфна группе В, или является сепарабельной (векторной) группой, типы прямых слагаемых ранга 1 которой попарно не сравнимы и каждый из них больше, чем тип /(В,).
Доказательство. Если О(А) - множество типов всех прямых слагаемых ранга 1 сепарабельной группы А, то О(А) можно разбить на классы эквивалентности О(А) = и , е !О,, где типы 5, / е О(А) считаются эквивалентными, если существуют
/1,_,/и е О(А), такие, что типы и и + 1 сравнимы для всех / = 0,_,п (здесь
/0 = 5, /п + 1 = /). В этом случае А = ©,■ е 1 А,, О(А,) = О, и подгруппы А, вполне инвариантны в А, т.е. типы из О(А,) и О(А) не сравнимы при I Ф} [39, § 19, упр. 7].
Из этого, в частности, следует, что сепарабельные группы без кручения типы прямых слагаемых ранга 1 которых попарно несравнимы, являются вполне разложимыми группами. Для векторных групп можно использовать лемму: если п -ненулевой гомоморфизм векторной группы V = П е IRi в векторную группу W = П е jSj (Ri и Sj - группы ранга 1), то t(Ri) < t(Sj) для некоторых i е I и j е J [38, лемма 96.1]. С учетом этих фактов оставшиеся утверждения доказываются аналогично теореме 7. В [40] исследовались слабо транзитивные E-энгелевы группы без кручения.
ЛИТЕРАТУРА
1. Адян С.И. Проблема Бернсайда и тождества в группах. М.: Наука, 1975.
2. Бахтурин Ю.А. Тождества в алгебрах Ли. М.: Наука, 1985.
3. Кострикин А.И. Вокруг Бернсайда. М.: Наука, 1986.
4. Бахтурин Ю.А., Ольшанский А.Ю. Тождества // Итоги науки и техники. Совр. проблемы математики. Фунд. направления. Т. 18. М.: ВИНИТИ Ан СССР. 1987. С. 117-240.
5. РазмысловЮ.П. Тождества алгебр и их представлений. М.: Наука, 1989.
6. Rowen L.H. Polynomial Identities in Ring Theory. New York: Acad. Press, 1980.
7. Drensky V. Free Algebras and PI-Algebras. Springer, 2000.
8. HallM. Projective planes // Trans. Amer. Math. Soc. 1943. V. 54. P. 229-277.
9. Kaplansky I. Rings with polynomial identity // Bull. Amer. Math. Soc. 1948. V. 54. P. 575580.
10. Мальцев А.И. Об алгебрах с тождественными определяющими соотношениями // Мат. сб. 1950. Т. 26. С. 19-23.
11. Ширшов А.И. О кольцах с тождественными соотношениями // Мат. сб. 1957. Т. 43. № 2. С. 277-283.
12. Ольшанский А.Ю. О проблеме конечного базиса тождеств в группах // Изв. АН СССР. Сер. матем. 1970. Т. 34. № 2. С. 376-384.
13. Braun A. The nilpotency of the radical in a finitely generated PI-rings // J. Algebra. 1984. V. 89. P. 375-396.
14. Шеврин Л.Н., ВолковМ.В. Тождества полугрупп // Изв. вузов. Математика. 1985. № 11. С. 3- 47.
15. БеловА.Я. Ассоциативных PI-алгебр, совпадающих со своим коммутантом, не существует // Сиб. матем. журн. 2003. Т. 44. № 6. С. 1239-1254.
16. Бейдар К.И., Михалев А.В., Чеботарь М.А. Функциональные тождества в кольцах и их приложения // УМН. 2004. Т. 59. № 3. С. 3-30.
17. Адян С.И. Проблема Бернсайда и связанные с ней вопросы // УМН. 2010. Т. 65. № 5. С. 5-60.
18. Чехлов А.Р. Об абелевых группах с нормальным кольцом эндоморфизмов // Алгебра и логика. 2009. Т. 48. № 4. С. 520-539.
19. Чехлов А.Р. О скобке Ли эндоморфизмов абелевых групп // Вестник Томского государственного университета. Математика и механика. 2009. № 2(6). С. 78-84.
20. Чехлов А.Р. E-нильпотентные и E-разрешимые абелевы группы класса 2 // Вестник Томского государственного университета. Математика и механика. 2010. № 1(9). С. 59-71.
21. Чехлов А.Р. Некоторые примеры E-разрешимых групп // Вестник Томского государственного университета. Математика и механика. 2010. № 3(11). С. 69-76.
22. ЧехловА.Р. E-разрешимые модули // Фундамент. и прикл. матем. 2010. Т. 16. № 7. С. 221-236.
23. Чехлов А.Р. О скобке Ли эндоморфизмов абелевых групп, 2 // Вестник Томского государственного университета. Математика и механика. 2011. № 1(13). С. 55-60.
24. Чехлов А.Р. E-энгелевы абелевы группы ступени 2 // Вестник Томского государственного университета. Математика и механика. 2012. № 1(17). С. 54-60.
25. ЧехловА.Р. О некоторых классах нильгрупп // Матем. заметки. 2012. Т. 91. № 2. С. 297-304.
26. Чехлов А.Р. Об абелевых группах, близких к E-разрешимым // Фундамент. и прикл. матем. 2011/2012. Т. 17. № S. С. 1S3-219.
27. Чехлов А.Р. О проективном коммутанте абелевых групп // Сиб. матем. журн. 2012. Т. 53. № 2. С. 451-464.
2S. Чехлов А.Р. Об абелевых группах с нильпотентными коммутаторами эндоморфизмов // Изв. вузов. Математика. 2012. № 10. С. 60-73.
29. Чехлов А.Р. О проективно разрешимых абелевых группах // Сиб. матем. журн. 2012. Т. 53. № 5. С. 1157-1165.
30. Чехлов А.Р. О свойствах центрально и коммутаторно инвариантных подгрупп абелевых групп // Вестник Томского государственного университета. Математика и механика. 2009. № 2(6). С. S5-99.
31. Чехлов А.Р. Свойства подгрупп абелевых групп, инвариантных относительно проекций // Вестник Томского государственного университета. Математика и механика. 200S. № 1(2). С. 76-S2.
32. Чехлов А.Р. О подгруппах абелевых групп, инвариантных относительно проекций // Фундамент. и прикл. матем. 200S. Т. 14. № 6. С. 211-21S.
33. Чехлов А.Р. О проективно инвариантных подгруппах абелевых групп // Вестник Томского государственного университета. Математика и механика. 2009. № 1(5). С. 31-36.
34. Чехлов А.Р. Сепарабельные и векторные группы, проективно инвариантные подгруппы которых вполне инвариантны // Сиб. матем. журн. 2009. Т. 50. № 4. С. 942-953.
35. ТуганбаевА.А. Автоморфизмы подмодулей и их продолжения // Дискр матем. 2013. Т. 25. № 1. С. 144-151.
36. Чехлов А.Р. Об одном классе эндотранзитивных групп // 2001. Матем. заметки. Т. 69. № 6. С. 944-949.
37. DanchevP.V. Weakly ^-separable quasi-complete abelian p-groups are bounded // 2009. Владикавк. матем. журн. Т. 11. № 3. С. S-9.
3S. Фукс Л. Бесконечные абелевы группы. М.: Мир, 1974. Т. 1; 1977. Т. 2.
39. Крылов П. А., Михалев А.В., Туганбаев А. А. Абелевы группы и их кольца эндоморфизмов. М.: Факториал Пресс, 2007.
40. Чехлов А.Р. Слабо транзитивные E-энгелевы абелевы группы без кручения // Матем. заметки. 2013. Т. 94. № 4. С. 616-623.
Статья поступила 15.04.2013 г.
Chekhlov A.R., Agafontseva Ml.V. ON ABELIAN GROUPS WITH CENTRAL SQUARES OF COMMUTATORS OF ENDOMORPHISMS. We describe divisible, completely decomposable, vector, and separable torsion free groups for which the squares of commutators of their endomor-phisms are central in endomorphism rings of these groups.
Keywords: endomorphism ring, commutator of endomorphisms, E-commutant.
CHEKHLOVAndrey Rostislavovich (Tomsk State University)
E-mail: cheklov@math.tsu.ru
AGAFONTSEVA Mladena Vladimirovna (Tomsk State University)
E-mail: mladenka@mail.ru
