CC BY
46
2012
ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА Математика и механика
№ 2(18)
МАТЕМАТИКА
УДК 512.541
Е.В. Кайгородов
ХОПФОВЫ АБЕЛЕВЫ ГРУППЫ
В настоящей работе приведены общие свойства хопфовых абелевых групп, в частности связанные с прямыми разложениями. Полностью описаны хопфо-вы делимые группы; на основе этого описания исследование хопфовости произвольных абелевых групп сведено к исследованию хопфовости редуцированных групп. Охарактеризованы также прямые суммы циклических групп, являющиеся хопфовыми группами.
Ключевые слова: абелева группа, хопфова группа, делимая группа, редуцированная группа, циклическая группа.
В 1932 году швейцарский математик Хейнц Хопф поставил вопрос о существовании конечно-порожденной группы, изоморфной некоторой своей собственной фактор-группе. Группы, не обладающие таким свойством, получили название хопфовых.
Первым общим результатом по вопросу Хопфа явилась теорема А.И. Мальцева, утверждающая хопфовость произвольной конечно-порожденной ^-аппрокси-мируемой группы [12]. Первый пример конечно-порожденной нехопфовой группы принадлежит Б. Нейману [9]; построенная им нехопфова группа имеет два образующих элемента, но требует бесконечного множества определяющих соотношений. Г. Хигманом построен пример нехопфовой группы с тремя образующими и двумя определяющими соотношениями [6]. Минимальные в этом смысле примеры нехопфовых групп с двумя образующими и одним определяющим соотношением были указаны в работе Г. Баумслага и Д. Солитэра [3].
Более поздние результаты о нехопфовых группах содержатся в работах [5, 8, 13]. Хопфовы абелевы (т.е. коммутативные) группы изучали Г. Баумслаг [1, 2], Корнер [4], Такаши и Ирвин [7, 10]. В частности, Корнер построил хопфову группу А без кручения, квадрат которой (т.е. группа А ® А) не является хопфовой группой.
Понятие хопфовости можно ввести для различных алгебраических систем: модулей, колец, упорядоченных множеств, топологических и функциональных пространств. Исследование хопфовых объектов представляется важной и интересной задачей современной алгебры. Ограничимся здесь рассмотрением только хопфо-вых абелевых групп. В связи с этим, во избежание недоразумений, сразу оговоримся, что везде в тексте работы слово «группа» будет обозначать аддитивно записанную абелеву группу.
Определение 1. Группа А называется хопфовой, если она не имеет собственных изоморфных себе фактор-групп.
Таким образом, если C - подгруппа хопфовой группы A и A = A / C, то C = 0 и фактор-группа A / C тривиальна, т.е. A / C = A . Можно дать и другое определение хопфовой группы.
Определение 1'. Группа A называется хопфовой, если всякий эпиморфизм группы A на себя является автоморфизмом.
Покажем, что эти определения эквивалентны. Если группа A не хопфова в смысле определения 1', то найдется эпиморфизм а : A ^ A, не являющийся автоморфизмом. Для него будет Im as A и Ker a^ 0 . Значит, A £ A /Ker a , где Ker a Ф 0. Обратно, пусть группа A не хопфова в смысле определения 1 и A = A / B для некоторой ненулевой подгруппы B. Обозначим через ф изоморфизм A ^ A / B. Построим отображение х : A ^ A, полагая х = , где
у : A ^ A / B - канонический эпиморфизм. Очевидно, х - эпиморфизм, но не автоморфизм, так как Kerx=Kery =B Ф 0 .
Следующий факт хорошо известен.
Теорема 1. Любая конечная группа хопфова.
Доказательство. Пусть дана конечная группа A , причем |A| = n . Рассмотрим произвольную собственную фактор-группу A / C группы A. Докажем, что A X A / C. По теореме Лагранжа (порядок и индекс любой подгруппы конечной группы A являются делителями порядка самой группы) заключаем: n:s, где s =| A / C |. Откуда n > s (фактор-группа A/ C - собственная). Имеем \A\ > |A / C , следовательно, группы A и A / C неизоморфны. Теорема доказана.
Теорема 2. Если A = B ® C и A - хопфова группа, то группы B и C хопфо-
вы.
Доказательство. Пусть дана прямая сумма A = B ® C и известно, что группа A - хопфова. Покажем, что группы B и C также хопфовы. Предположим противное, т.е. пусть, например, группа B не хопфова. Значит, существует отображение a е End B , такое, что a - эпиморфизм, но не автоморфизм, т.е. Ker a Ф 0. Пусть s: C ^ C - тождественное отображение. Определим эпиморфизм Y: A ^ A, полагая у (a) = a(b) + s(c) для любого a = b + c, где b e B, c e C . Далее,
Y (a) = y (b + c) = a (b) + s(c) = a (b) + c.
Видно, что y - эпиморфизм, но Ker a = Ker y ^ 0 . Возникает противоречие с тем, что группа A хопфова. Полученное противоречие завершает доказательство.
Теорема 3. Группа без кручения конечного ранга хопфова.
Доказательство. Пусть A - группа без кручения конечного ранга. По одному из свойств ранга без кручения имеем r0(A) = r0(B) + r0(A/B) [14, с. 105]. Пусть A = A / B, тогда факторгруппа A / B не имеет кручения. Следовательно, справедливо равенство: r(A) = r(B) + r(A/B). Учитывая, что r(A) = r(A/B), получаем: r(B) = 0, откуда B = 0 , т.е. группа A хопфова. Теорема доказана.
В линейной алгебре хорошо известно матричное представление линейных преобразований. Используя прямые разложения, можно получить подобное представление эндоморфизмов абелевых групп определенными матрицами, называе-
мыми формальными или обобщенными. Для удобства чтения приведем соответствующие хорошо известные построения (см. [11], [15, теорема 106.1]).
П
Пусть дана прямая сумма групп А = ® А1. Рассмотрим квадратную матрицу
/=1
а^ ||. п с элементами а^ е Нот(Д, ). Для таких матриц можно опреде-
лить обычные для матриц операции сложения и умножения. Нетрудно убедиться, что сложение и умножение формальных матриц всегда выполнимы и приводят к матрицам этого же вида. В результате получаем кольцо матриц указанного вида (кольцо обобщенных матриц).
П
Теорема 4. Кольцо эндоморфизмов группы А = ® Д изоморфно кольцу
/=1
обобщенных матриц ||ау7| порядка п .
Доказательство. Пусть (е; | г = 1,...,п} - полная ортогональная система проекций, соответствующих данному разложению группы А . Произвольный элемент
П
а е А равен сумме ^ г1 а. Для любого а е Е(А) имеем
/=1
П П
а а = ^ а(ег- а) = ^ (б ^ аг1 )а.
/=1 1^=1
Сопоставим эндоморфизму а матрицу ||а^ ||. _ п , /: а ^ ||а^ ||, где
а^ = 67-абг-. Можно отождествить г^ Е(А)вг- с Нош(бг-А, г7-А), т.е. с Нот(Д, ).
Если РеЕ(А) и ||ру7| - соответствующая матрица с в^ =г, то матрицы, соП
Е а ]к Ри
к=1
матриц ||а^ || и ||р^ ||. Следовательно, f - кольцевой гомоморфизм. Понятно, что
нулевой матрице соответствует лишь нулевой эндоморфизм группы А . Обратно, пусть ||а^ ||. ,_ п - некоторая матрица с элементами а^ е 6^ Е(А)вг-. Определим
а е Е(А), положив для а е А
П
а а = ^ а ^ а .
г, у=1
Тогда /: а ^ ||ау7|. Таким образом, f - изоморфизм колец. Теорема доказана.
Рассмотрим случай, когда А = А1 ® А2. Пусть е1 , г2 - соответствующие ортогональные проекции. Тогда имеем £1 |^ = 1, Ц = 0 , г2 |^ = 0 , г2 |^ = 1. Другими словами, для любого элемента а е А (а = а1 + а2, а1 е Д, а2 е А2) будет г1а = а, г2а = а2, откуда г]2 = 6], 6^ = б2, б1б2 = е2е1 = 0 и +г2 = 1А . Согласно теореме 4, получаем
Е(А) Е(А1) Нот(А2> А1)
( ^ ^ Нот(А[, А2) Е(А2) ^ .
ответствующие а-в и ав, - это разность ||а^ — в1| и произведение
Каждому эндоморфизму а е Е(А) поставим в соответствие формальную матрицу:
При этом соответствии действию эндоморфизма а на элементе г = х + у (х е А,
Выясним, как действуют эндоморфизмы а^ на элементах групп А1 и А2 . Пусть х е А и а(х) = х1 + х2 , где х1 е А1, х2 е А2. Тогда ап (х) = х1, а21(х) = х2 . Аналогично, если у е А2 и а(у) = у1 + у2, где у1 е А1, у2 е А2 , то а12(у) = у1, а22 (У) = У2 .
Если А = А ® А2, причем Нот(А{, А2) = 0 (т.е. подгруппа А1 вполне инвариантна в группе А ), то будем иметь
В теории модулей известен следующий важный факт. Если М - Л-б-бимодуль,
ют кольцо, называемое кольцом формальных треугольных матриц. Несложно по-
элемент и обратим в кольце Я , а V обратим в кольце 5 . Справедлива следующая Теорема 5. Если А = А1 ® А2, а прямые слагаемые А1 и А2 хопфовы и, кроме того, подгруппа А1 вполне инвариантна в группе А , то А - хопфова группа.
Доказательство. Зафиксируем некоторый эпиморфизм а : А ^ А. Пусть
произвольный элемент а2 е А2. Так как а - эпиморфизм, то в группе А всегда найдется такой элемент г = х + у (х е А1, у е А2), что а(г) = а2 . Имеем
морфизм, а поскольку группа А2 хопфова, то а22 является также и автоморфизмом. Теперь проверим, будет ли автоморфизмом отображение а11. Пусть а1 -
или, согласуясь с введенными выше обозначениями,
Е(А)
Е(А1) Нот(А2, А1)
0 Е( А2)
то верхние треугольные матрицы вида
казать, что матрица
обратима в этом кольце тогда и только тогда, когда
Сначала покажем, что а22 : А2 ^ А2 - автоморфизм. Выберем
С другой стороны, а( г)
. Таким образом, а22 (у) = а2 . Значит, а22 - эпи-
произвольный элемент группы А1. Поскольку а - эпиморфизм, то в группе А обязательно существует такой элемент х = х + у (х е А{, у' е А2), что а( г') = а1. Имеем
^а11 а12 V (х') + а12 (у ')Л
а(z) I 0 а22 Ду') У а22 (У О
Учитывая, что а(z') = ^a j, получаем a11(x') + а12 (y') = a1, а также а22(y') = 0 .
Из последнего равенства y'e Ker а22, но так как а22 - автоморфизм, то y = 0. Таким образом, au (х') = a1 и аи - эпиморфизм. По условию теоремы группа Al -хопфова, поэтому ап - автоморфизм группы Al. Следовательно, матрица i а а i
а = 1 п1 12 I обратима, т.е. эпиморфизм а является автоморфизмом. Итак,
V 0 а22)
группа A - хопфова. Теорема доказана.
Замечание 1. Покажем, что бесконечная прямая сумма копий какой-либо группы не может быть хопфовой группой. Сначала установим справедливость этого факта для случая, когда число таких копий счетно. Действительно, рассмот-
ГО
рим прямую сумму A’ = ® Ai , в которой A = A для любого i. Построим такой
i=1
эпиморфизм ф группы A' на себя, который не будет автоморфизмом. Именно, пусть эпиморфизм ф переводит A в ноль, а каждую группу A - изоморфно на группу A-i, i > 1. Понятно, что Ker ф Ф 0 и ф - не автоморфизм. Таким образом, группа A' - нехопфова. Теперь рассмотрим случай, когда A' = ® A, где 1/1 > К0.
iel
Пусть I' - некоторое счетное подмножество в I. Обозначим через I'' разность
I \ I'. Можно записать
Л' =
или А' = |^Ф А® А
Теперь, если предположить, что группа А' хопфова, то тогда
ГО
и ее прямое слагаемое ® А по теореме 2 тоже будет хопфовой группой. Но из
/=1
сказанного выше это невозможно.
Замечание 2. Квазициклическая группа Ъ( р) также не является хопфовой группой. Докажем это. Пусть с1, с2,сп,... - образующие квазициклической группы. Выполняются включения
О с(С1) с(с2) с ... с(сп) с ....
Зададим эпиморфизм а : Ж(р^ Ж(р), указав, как он действует на образующих элементах. Именно, пусть а : с ^ рс1 для каждого г. Тогда а - эпиморфизм, который, очевидно, не является автоморфизмом.
Теорема 6. Делимая группа будет хопфовой группой тогда и только тогда, когда она является прямой суммой конечного числа копий группы Q .
Доказательство. Необходимость. Пусть В - делимая группа, Б = ® Бр ® Б0, где Бр - прямая сумма некоторого числа копий группы Ж(рк), а
Б0 - прямая сумма копий группы Q . Если группа В является хопфовой, то группы Бр и Б0 тоже являются хопфовыми как прямые слагаемые хопфовой группы. Тогда, учитывая замечания выше, получаем Вр = 0 и потому Б = Б0, а Б0 есть конечная прямая сумма копий рациональной группы Q .
Достаточность. Обратное утверждение имеет место в силу теоремы 3. Теорема доказана.
Любая абелева группа А разлагается в прямую сумму делимой группы и редуцированной группы [14], т.е. можно записать: А = Б ® Я, где В - делимая часть группы А , Я - редуцированная часть группы А . Поскольку подгруппа В вполне инвариантна в группе А, то, согласуясь с теоремой 5, приходим к следующему важному результату.
Следствие 7. Группа является хопфовой тогда и только тогда, когда ее редуцированная часть есть хопфова группа, а делимая часть, если она ненулевая, есть конечная прямая сумма копий рациональной группы Q .
Итак, мы установили, что проблема изучения хопфовых групп сводится к описанию и изучению хопфовых редуцированных групп.
Теорема 8. Пусть А = ® Д. и все прямые слагаемые Д вполне инвариантны в
/е/
группе А. Тогда группа А хопфова, если и только если каждая группа Д хопфова.
Доказательство. Необходимость. Если группа А хопфова, то по теореме 2 все прямые слагаемые Д хопфовы.
Достаточность. Пусть все прямые слагаемые Д - хопфовы группы. Если а - эпиморфизм группы А , то понятно, что ограничения а; этого эпиморфизма на каждом прямом слагаемом, а; : Д ^ Д, тоже будут эпиморфизмами. Все эти эпиморфизмы будут и автоморфизмами, так как каждое прямое слагаемое Д -хопфова группа. Тогда, очевидно, а - автоморфизм. Теорема доказана.
Мы знаем, что всякая конечно-порожденная абелева группа разлагается в конечную прямую сумму циклических групп бесконечного порядка и порядков, равных степеням простых чисел [14]. В связи с этим фактом естественно поставить вопрос о том, когда произвольная прямая сумма циклических групп будет хопфовой группой. Исчерпывающий ответ на этот вопрос дает
Теорема 9. Пусть А - прямая сумма циклических групп, А = ® Ар ® А0, где
Ар - прямая сумма циклических р -групп, Д - прямая сумма циклических групп
бесконечного порядка. Тогда группа А хопфова, если и только если все группы Ар конечны, а группа Д имеет конечный ранг.
Доказательство. Необходимость. Если группа А хопфова, то все группы Ар и Д хопфовы как прямые слагаемые хопфовой группы. Отсюда Д - свободная группа конечного ранга (см. замечание 1), а каждая группа Ар конечна.
В противном случае, в группе Ар можно выделить прямое слагаемое B, являющееся прямой суммой счетного числа циклических p -групп. Однако легко показать, что такая группа B нехопфова. Действительно, группу B можно представить в виде B = Вх ® В2 ®..., где все B; - циклические p -группы, порядки которых неубывают с возрастанием значений индекса i. Очевидно, что можно задать эпиморфизм ф группы B на себя, не являющийся автоморфизмом. Конкретно, пусть ф переводит Bl в ноль, а каждую группу B; на группу Bi_l, i > 1. Таким образом, B - нехопфова группа. Но это невозможно, поскольку группа Ар хопфова.
Достаточность. Пусть все Ар - конечные группы, а Д - есть свободная группа конечного ранга. Обозначив ®Лр через T, можно записать A = T ® Д . Здесь T - периодическая группа и потому Hom(T, Д) = 0 , т.е. подгруппа T вполне инвариантна в A . Откуда
Е( „ E(T) Hom(A,, T)\
E(A) "I 0 EM,) I'
Согласно теореме 5, хопфовость группы A эквивалентна хопфовости групп T и Д,. Но группа T будет хопфовой в силу теоремы 8, а группа Д хопфова как группа без кручения конечного ранга. Итак, группа A является хопфовой. Теорема доказана.
ЛИТЕРАТУРА
1. Baumslag G. Hopficity and Abelian groups // Topics in Abelian Groups: Proc. New Mexico Symposium on Abelian Groups. 1962. P. 331-335.
2. Baumslag G. On Abelian Hopfian groups. I. // Math. Zeitschr. 1962. V. 78. No. 1. P. 5354.
3. Baumslag G., Solitar D. Some two-generator one-relator non-Hopfian groups // Bull. Amer. Math. Soc. 1962. V. 68. P. 199-201.
4. Corner L.S. Three examples on Hopficity in torsion-free Abelian groups // Acta Math. Acad. Sci. Hung. 1965. V. 16. No. 3-4. P. 303-310.
5. Yves De Cornulier. Finitely presentable, non-Hopfian groups with Kazhdan's Property (T) and infinite outer automorphism group // Proc. Amer. Math. Soc. 2005. V. 135. P. 1-8.
6. Higman G. A finitely generated group with an isomorphic proper factor group // J. London Math. Soc. 1951. V. 26. P. 59-61.
7. Irwin J.M., Takashi J. A quasi-decomposable Abelian group without proper isomorphic quotient groups and proper isomorphic subgroups // Pacif. J. Math. 1969. V. 29. No. 1. P. 151160.
8. David Meier. Non-Hopfian groups // J. London Math. Soc. 1982. V. 26. P. 265-270.
9. Neumann B.H. A two-generator group isomorphic to a proper factor group // J. London Math. Soc. 1950. V. 25. P. 247-248.
10. Takashi J., Irwin J.M. A quasi-decomposable Abelian group without proper isomorphic quotient groups and proper isomorphic subgroups, 2 // J. Fac. Sci. Hokkaido Univ. Ser. 1. 1969. V. 20. No. 4. P. 194-203.
11. Крылов П.А., Михалев А.В., Туганбаев А.А. Абелевы группы и их кольца эндоморфизмов. - М.: Факториал Пресс, 2006. - 512 с.
12. Мальцев А.И. Обобщенно нильпотентные алгебры и их присоединенные группы // Ма-тем. сб. 1949. Т. 25. № 3. С. 347-366.
13. Микаелян В.Г. О конечно порождённых разрешимых нехопфовых группах // Фундамент. прикл. матем. 2009. Т. 15. № 1. С. 81-98.
14. Фукс Л. Бесконечные абелевы группы: в 2 т. - М.: Мир, 1974. - Т. 1. - 335 с.
15. Фукс Л. Бесконечные абелевы группы: в 2 т. - М.: Мир, 1977. - Т. 2. - 417 с.
Статья поступила 15.12.2011 г.
Kaigorodov E.V. HOPFIAN ABELIAN GROUPS. This paper presents the general properties of Hopfian Abelian groups, in particular, those related to direct decompositions. The complete description of Hopfian divisible groups is presented; on the basis of this description, the study of hopficity of arbitrary Abelian groups is reduced to the study of hopficity of reduced groups. Direct sums of cyclic groups that are Hopfian groups are characterized.
Keywords: Abelian group, Hopfian group, divisible group, reduced group, cyclic group
KAIGORODOV Evgeny Vladimirovich (Tomsk State University)
E-mail: [email protected]
