CC BY
12
ЧЕБЫШЕВСКИЙ СБОРНИК
Том 17. Выпуск 3.
УДК 512.543
АППРОКСИМИРУЕМОСТЬ ФУНДАМЕНТАЛЬНОЙ ГРУППЫ КОНЕЧНОГО ГРАФА ГРУПП КОРНЕВЫМ
КЛАССОМ ГРУПП
Д. В. Гольцов (г. Иваново)
Аннотация
Пусть К — абстрактный класс групп, и пусть К содержит хотя бы одну неединичную группу. Тогда класс К называется корневым, если выполнены следующие три условия:
1. Если А е К и В < А, то В е К.
2. Если А е К и В е К, то А х В е К.
3. Если 1 < С < В < А — субнормальный ряд группы А и А/В, В/С е К, тогда существует нормальная подгруппа В группы А такая, что В < С ш А/В е К.
Группа О называется аппроксимируемой корпевым классом К (или К-аппроксимиру-емой), если для любого неединичного элемента д группы О, существует гомоморфизм у группы О на группу из класса К такой, что ду = 1. Другими словами, группа О называется К-аппроксимируемой, если для любого неединичного элемента д группы О существует нормальная подгруппа N группы О такая, что О/N е К и д е N. Наиболее интересными аппроксимационными свойствами являются аппроксимируемость классом всех конечных групп (финитная аппроксимируемость), аппроксимируемость классом всех конечных р групп и аппроксимируемость классом разрешимых групп. Все эти три класса являются корневыми. Поэтому результаты об аппроксимируемости корневым классом групп имеют достаточно общий характер.
Пусть К — корневой класс конечных групп. И пусть О — фундаментальная группа конечного графа групп с конечными реберными группами. Получено необходимое и достаточное условие почти К-аппроксимируемости группы О.
Ключевые слова: корневой класс групп, фундаментальная группа графа групп, почти К-аппроксимируемость.
ROOT-CLASS RESIDUALITY OF FUNDAMENTAL GROUP OF
A FINITE GRAPH OF GROUP
D. V. Goltsov
Abstract
Let K be an abstract class of groups. Suppose K contains at least a non trivial group. Then K is called a root-class if the following conditions are satisfied:
1. If A € K mid B < A, then B eK.
2. If A eKwid B € K, the n A x B e K.
3. If 1 < C < B < A is a subnormal sequence and A/B,B/C e K, then there exists a normal subgroup D in group A such that D < C and A/D € K.
Group G is root-class residual (or K-residual), for a root-class K if, for every 1 = g € G, exists a homomorphism <p of group G onto a group of root-class K such that g<p = 1. Equivalently, group G is K-residud if, for every 1 = g e G, there exists a normal subgroup N of G such that G/N e Kmid g € N. The most investigated residual properties of groups are finite groups residuality (residual finiteness), p-finite groups residuality and soluble groups residuality. All
there three classes of groups are root-classes. Therefore results about root-class residuality have safficiently enough general character.
Let K be a root-class of finite groups. And let G be a fundamental group of a finite graph of groups with finite edges groups. The necessary and sufficient condition of virtual K-residuality for the group G is obtained.
Key words: root-class of finite groups, fundamental group of a finite graph of groups, virtual
K
1. Введение
Абстрактный класс групп К называется корневым, если выполнены следующие три условия.
1. Если группа А принадлежит классу К и В — подгруппа группы А, то группа В также принадлежит классу К.
2. Прямое произведение любых двух групп из класса К принадлежит классу К.
3. Если 1 < С < В < А — субнормальный ряд группы А такой, что фактор-группы А/В и В/С принадлежат кл ассу К, то в груп пе А существует нормальная подгруппа О такая, что О С С и А/О принадлежит классу К.
Напомним, что группа О называется аппроксимируемой классом, К (или короче К-аппроксимируемой), если для любого неединичного элемента д группы О существует гомоморфизм (группы О на некоторую группу из класса К, переводящий эле мент д в элемент отличный от 1. Группа О называется почти К-аппроксими руемой, если в ней существует К
Если класс К совпадает с классом Т всех конечных групп, то понятие К-аппроксимируемо-сти совпадает с классическим понятием финитной аппроксимируемости. Наряду с финитной аппроксимируемостью рассматривается также Тр-аппроксимируемость и Тп-апироксимиру-емость, где р — простое число, п — множество простых чисел, Тр — класс всех конечных р-групп, — класс всех конечных п-групп. Заметим, что все перечисленные классы Т, Тр,
являются корневыми классами конечных групп.
Аппроксимируемость различными корневыми классами конечных групп для обобщенных свободных произведений и НМ]М-расширений подробно изученаа в работах [1]-[7]. Работы [8]-[10] посвящены изучению аналогичных аппроксимационных свойств для групп автоморфизмов, расщепляемых расширений и некоторых классов разрешимых групп.
Грюнберг в [11] доказал, что свободное произведение групп аппроксимируемых корневым классом само аппроксимируемо этим классом при условии, что любая свободная группа аппроксимируема этим классом. В последствии Д. И. Азаров в [12] установил, что это условие всегда выполняется, т.е. любая свободная группа аппроксимируется любым корневым классом. Поэтому результат Грюнберга принимает следующий вид: свободное произведение групп аппроксимируемых корневым классом само обладает этим свойством.
Если теперь вместо свободного произведения рассмотреть свободное произведение с объединенными подгруппами, то для него результат, аналогичный теореме Грюнберга, уже не имеет место (даже в случае когда объединенная подгруппа конечная). Однако если вместо аппроксимируемости корневым классом рассмотреть почти аппроксимируемость корневым классом, то удается получить следующий результат.
Теорема 1. Свободное произведение двух групп с конечным,и объединенным,и, подгруппами почти аппроксимируемо корневым классом, конечных групп тогда и только тогда, когда этим свойством обладают свободные множители.
Аналогичный результат имеет место и для НМ]М-расширения с конечными связными подгруппами.
66
д. в. гольцов
Теорема 2. НИИ-расширение группы с конечными связными подгруппам,и почти аппроксимируемо корневым классом, конечных групп тогда и только тогда, когда этим свойством обладает, база НИИ-расширения.
Теоремы 1 и 2 допускают следующее простое обобщение.
Теорема 3. Фундаментальная группа конечного графа групп с конечным,и, реберным,и, группам,и, почти аппроксимируема корневым классом, конечных групп тогда и только тогда, когда этим свойством обладают все вершинные группы.
Напомним определение фундаментальной группы графа групп. Это понятие было введено и изучено Бассом и Серром в [13].
Пусть неориентированный связный граф Г состоит из множества вершин X и из множества ребер У. Для каждого ребра у е У зафиксируем начало ребра а(у) е X и конец ребра ш(у) е X.
Граф Г называется конечные графом, если в этом графе множества X и У являются конечными.
Граф групп Л(Г) состоит из графа Г, множества групп {Ох : х е X} (вершинные группы), множеста групп {Ну : у е У} (реберные группы) и вложений групп ау : Ну ^ Оау и шу : Ну ^ Сш(у) для всех у е У.
В графе Г выберим некоторое максимальное поддерево т.е. максимальный подграф, являющийся деревом.
Фундаментальная группа графа групп Л(Г) относительно максимального поддерева, Б — это группа, которая порождается всеми вершинными группами Ох(х е X) и множеством {Ьу : у е У \ Б} и определяется следующими соотношениями:
¿-1 ау(д% = Шу(д) (д е Ну,у е У \ ^
ау(д) = шу(д) (д е Ну,у е Б),
Если граф Г представляет собой две вершины, соединенные одним ребром, то фундаментальная группа О этого графа представляет собой свободное произведение двух вершинных групп с объединенными подгруппами.
Если граф Г представляет собой одну вершину, которая соединена сама с собой ребром в
О
вершинной группы.
Поэтому теоремы 1 и 2 являются частными случаями теоремы 3.
Необходимость в каждой из теорем 1, 2 и 3 очевидна. Достаточность в каждой из этих теорем доказана ниже.
2. Доказательство теоремы 1
Пусть К — некоторый класс конечных групп, являющийся корневым. И пусть
О = (А * В; Н = К, у)
— свободное произведение групп А и В с подгруппами Н и К, объединенными относительно изоморфизма у. Пусть группы А и В почти аппроксимируемы классом К и подгруппы Н и К конечны. Покажем, что группа О почти аппроксимируема классом К.
Так как группа А почти аппроксимируема классом К, то в ней существует подгруппа и конечного индекса аппроксимируемая классом К. Без потери общности можно считать, что
и А А
класс £ состоит из конечных групп. Отсюда и из того, что H — конечная подгруппа группы A, следует, что в группе A существует нормальная подгруппа V конечного индекса такая, что V П H = 1. Пусть M = U П V. Тогда M — нормальная подгруппа конечного индекса группы AM П H = 1 и груп па M аппроксимируема классом K.
Аналогично проверяется, что в группе B существует нормальная подгруппа N конечного индекса, являющаяся аппроксимируемой классом K и такая, что N П K = 1.
Так как M П H = 1 и N П K = 1, то отображение pMN подгруппы HM/M = {hM : h G H} группы A/M на подгруппу KN/N = {kN : k G K} группы B/N, сопоставляющее каждому элементу hM из H M/M элемент h^N из KN/N, является изоморфизмом. Поэтому можно рассматривать свободное произведение
Gmn = A/M * B/N (HM/M, KN/N, <^mn )
групп A/M и B/N с подгруппами HM/M и KN/N, объединенными относительно изоморфизма <ßMN- Так как группы A/M и B/N конечны, то группа Gmn является финитно аппроксимируемой [14].
Очевидно, что существует гомоморфизм pMN : G ^ GMN, продолжающий естественные гомоморфизмы eM : A ^ A/M и eN : B ^ B/N. Тогда apMN = aeM = aM и bpMN = beN = bN для произвольных элементов a и b из подгрупп A и B соответственно.
Поскольку группа GMN финитно аппроксимируема и подгруппы A/M и B/N конечны, то существует гомоморфизм а группы GMN на конечную группу G, инъективный на A/M и B/N. Тогда произведение pMN а является гомоморфизмом группы G на конечную группу G. Поэтому ядро L гомоморфизма pMNа является нормальной подгруппой конечного индекса группы G.
Так как A^fer pMN = M и а инъективен на подгруппе ApMN = A/M, то A^fer pMNа = M, L П A = M L П B = N
L П H = L П A П H = M П H = 1 L П H = 1 L
нормальная подгруппа группы G, следует, что L пересекается по единице со всеми сопряжениями к H в группе G. Поэтому в силу теоремы X. Нейман (см., напр., [15, с. 122]) подгруппа L раскладывается в свободное произведение свободной группы F и некоторых подгрупп вида
L П x-lAx = x-1(L П A)x = x-1Mx,
L П y-1By = y-1(L П B)y = y-1Ny,
где x,y G G.
Свободная группа F аппроксимируема корневым классом K [12], а груп пы x-1Mxyl y-1Ny аппроксимируемы классом K, т. к. x-1Mx = Mm x-1Nx = N для любых x,y G G. Таким обра-L
классом K. Д. H. Азаров и Д. Тьеджо [12] доказали, что свободное произведение любого семейства групп, аппроксимируемых корневым классом K, является K-аппроксимируемой группой. Поэтому группа L аппроксимируема классом K. Отсюда и из того, что L является подгруппой конечного индекса в группе G, следует, что группа G почти аппроксимируема классом K. Теорема 1 доказана.
3. Доказательство теоремы 2
K
G* = (G,t; t-1ht = hp(h G H))
— HNN-расширение группы G с подгруппами H и K, связанными изоморфизмом у. Будем предполагать, что подгруппы H и K конечны. И пусть группа G почти аппроксимируема классом K. Покажем, что группа G* почти аппроксимируема классом K.
G
мальная подгруппа M конечного индекса, являющаяся K-аппроксимируемой, и такая, что M П H = 1 = M П K. Так как H П M = 1 = K П M, то отображение ум подгруппы HM/M = {hM : h G H} группы G/M на подгруппу KM/M = {kM : k G K} группы G/M, сопоставляющее каждому элементу hM из HM/M элемент hyM из KM/M, является изоморфизмом.
Поэтому можно рассматривать HNN-расширение
GM = (Gm , t; t-lht = Ъум (h g H M/M ) )
группы GM = G/M со связанными подгруппами HM/M и KM/M. Так как группа GM конечная, то группа G* финитно аппроксимируема [16].
Очевидно, что существует гомоморфизм рм : G* —> G*M, продолжающий естественный гомоморфизм ем : G —> GM и такой, что tpM = t. Тогда для каждого элемента a из G выполняется apM = aM.
Так как группа G* финитно аппроксимируема и ее подгруппа GM конечна, то существует гомоморфизм а группа G* на конечную грynnv G, иньективный на подгруппе GM. Тогда произведение pM а является гомоморфизмом группы G* на конечную гр ynnv G. Поэтому ядро L гомоморфизма pM а является нормальной подгруппой конечного индекса группы G*.
Поскольку GПКег pM = M и а инъективен на подгруппе GM = GpM, то GПКег pMа = M,
т. е. L П G = M. Тогда L П H = L П G П H = M П H = 1. Таким образом, подгруппа L, а
G*
HL
раскладывается в свободное произведение свободной группы F и некоторых подгрупп вида
L П x-lGx = x-l(L П G)x = x-lMx,
где x G G* Поскольку грvnna F и подгруппы L П x-lGx аппроксимируемы классом K, то и группа L аппроксимируема к лассом K. Отсюда и из тог о, что L является подгруппой конечного индекса в группе G*, следует, что гр vnna G* почти K-аппроксимируема. Теорема 2 доказана.
4. Доказательство теоремы 3
Рассмотрим конечный граф групп Л(Г) состоящий из графа Г, множества групп {Ох : х е X} (вершинные группы), множеста групп {Ну : у е У} (реберные группы) и вложений групп ау : Ну ^ Оау и шу : Ну ^ Ош(у) для всех у е У. Пусть Б — некоторое максимальное поддерево в графе Г т-е- максимальный подграф, являющийся деревом. И пусть О — фундаментальная группа графа групп Л(Г) относительно максимального поддерева Б. Заметим, что группа О не зависит от выбора дерева Б, дерево Б необходимо только при описании группы О
Пусть К — некоторый класс конечных групп, являющийся корпевыи. Пусть группы Ох почти аппроксимируемы классом К для любого х е X и группы Ну являются конечными уе У О К
количеству ребер в графе Г.
Для доказательства базы индукции рассмотрим граф групп с одной реберной группой. Фундаментальная группа такого графа представляет собой либо свободное произведение двух почти К-аппроксимируемых групп с конечным объединением, либо HNN-pacшиpeниe почти
K-аппроксимируемой группы с конечными связными подгруппами. Справедливость теоремы 3 в этих случаях следует из теорем 1 и 2.
Индуктивный шаг также обеспечивается теоремами 1 и 2. В самом деле возможны два случая.
1. Рассмотрим сначала случай, когда S совпадает с Г В этом случае группа G является древесным свободным произведение групп Gx. Поэтому группу G легко представить как свободное произведение с конечными объединенными подгруппами двух древесных произведений с меньшим количеством реберных групп.
2. Рассмотрим теперь случай, когда S не совпадает с Г, то есть существует ребро y из Y, не
SG
y
групп с меньшим числом реберных групп.
В первом из рассмотренных случаев индуктивный шаг обеспечивается теоремой 1, во втором — теоремой 2. Теорема 3 доказана.
5. Заключение
Рассмотрен вопрос о почти аппроксимируемости корневым классом обобщенных свободных произведений групп и HNN-расширений. Получены критерии почти аппроксимируемости корневым классом конечных групп свободного произведения двух групп с конечными объединенными подгруппами и HNN-расширения группы с конечными связными подгруппами. Эти результаты получили обобщения в виде критерия почти аппроксимируемости корневым классом конечных групп фундаментальной группы конечного графа групп.
Остаётся неисследованным вопрос о том, будут ли теоремы 1, 2 и 3 справедливы для произвольного корневого класса, не обязательно состоящего из конечных групп.
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. D. Azarov. Residual properties of generalized free products with cyclic amalgamation // Commun, in Algebra. 2015. Vol. 43:4. P. 1464 - 1471.
2. Азаров Д. И. Аппроксимируемость некоторыми классами конечных групп обобщенного свободного произведения групп с нормальной объединенной подгруппой // Сиб. матем. журн. 2015. Т. 56. № 2. С. 249 - 264.
3. Азаров Д. И. О финитной аппроксимируемости HNN-расширений и обобщенных свободных произведений групп конечного ранга // Сиб. матем. журн. 2013. Т. 54. № 6. С. 1203 -1215.
4. Азаров Д. И. О почти аппроксимируемости конечными р-группами нисходящих HNN-расширений // Чебышевский сборник. 2012. Т. 13. В. 1. С. 9 - 19.
5. Азаров Д. И. О финитной аппроксимируемости обобщенных свободных произведений групп конечного ранга // Сиб. матем. журн. 2013. Т. 54. № 3. С. 485 - 497.
6. Азаров Д. Н. О почти аппроксимируемости конечными р-группами групп Баумслага -Солитэра // Модел. и анализ информ. систем. 2013. Т. 20. № 1. С. 116 - 123.
7. Азаров Д. И. О почти аппроксимируемости конечными р-группами // Чебышевский сборник. 2010. Т. 11. В. 3(35). С. 11 - 20.
8. Азаров Д. Н. Аппроксимационные свойства групп автоморфизмов и расщепляемых расширений // Известия ВУЗов. Математика. 2015. № 8. С. 3 - 13.
9. Азаров Д. Н. Аппроксимируемость разрешимых групп конечного ранга некоторыми классами конечных групп // Известия ВУЗов. Математика. 2014. № 8. С. 18 - 29.
10. Азаров Д. И. Некоторые аппроксимационные свойства разрешимых групп конечного ранга // Чебышевский сборник. 2014. Т. 15. Вып. 1(49). С. 7 - 18.
11. Gruenberg К. W. Residual properties of infinite solublegroups // Proc. London Math. Soc. 1957. V. 7, P. 29-62.
12. Азаров Д. H., Тьеджо Д. Об аппроксимируемости свободного произведения групп с объединенной подгруппой корневым классом групп // Науч. тр. Иван. гос. ун-та. 2002. Т. 5, С. 6-10.
13. Serre J.-P. Trees. Springer-Verlag 1980.
14. Baumslag G. On the residual finiteness of generalized free products of nilpotent groups // Trans. Amer. Math. Soc. 1963. V. 106, №2. P. 193-209.
15. Линдон P., Шупп П. Комбинаторная теория групп. М.: Мир, 1980.
16. Karrass A., Solitar D. Subgroups of HNN groups and groups with one defining relation // Can. J. Math. 1971. V. 28, P. 627-643.
REFERENCES
1. Azarov, D. N. 2015, "Residual properties of generalized free products with cyclic amalgamation" , Commun. in Algebra. Vol. 43:4. P. 1464-1471.
2. Azarov, D. N. 2015, "Residuallitv by same classes of finite groups of generalized free products of groups with normal amalgamation" , Sibirskii Math. J., vol. 56, issue 2, pp. 219 26 1. (Russian)
3. Azarov, D. N. 2015, "On residual finiteness of HNN-extension and of generalized free products of finite rank groups" , Sibirskii Math. J., vol. 54, issue 6, pp. 1203—1215. (Russian)
4. Azarov, D. N. 2012, "On the virtually residuallitv by finite p-groups of descending HNN-extensions", Chebvshevskii Sb., vol. 13, issue 1, pp. 9—19. (Russian)
5. Azarov, D. N. 2013, "On residual finiteness of generalized free products of groups of finite rank" , Sibirskii Math. J., vol. 54, issue 3, pp. 1*5 197. (Russian)
6. Azarov, D. N. 2013, "On the virtually residuallitv by finite p-groups of Baumslag-Solitar groups" , Modeling and Analysis of Information Systems., vol. 20, issue 1, pp. 116 123. (Russian)
7. Azarov, D. N. 2010, "On the virtually residuallitv by finite p-groups" , Chebvshevskii Sb., vol. 11, issue 3, pp. 11—21. (Russian)
8. Azarov, D. N. 2015, "Residual properties of automorphism groups and split extension" Izvestiva VUZov. Mathematics, issue 8, pp. 3 13. (Russian)
9. Azarov, D. N. 2014, "The residuallitv of solvable groups of finite rank by some classes of finite groups", Izvestiva VUZov. Mathematics, issue 8, pp. 18—29. (Russian)
10. Azarov, D. N. 2014, "The residuallitv of solvable groups of finite rank by some classes of finite groups", Izvestiva VUZov. Mathematics, issue 8, pp. 18—29. (Russian)
11. Gruenberg, K. W. 1957, "Residual properties of infinite solublegroups", Proc. London Math. Soc. V. 7, P. 29-62.
12. Azarov, D. N., Tieudjo, D. 2002, "On the residuallitv of a free product with amalgamation by a root class of groups" , Nauch. trudv of Ivanovo State University. Mathematics., issue 5, pp. 6—10. (Russian)
13. Serre J.-P. Trees. Springer-Verlag 1980.
14. Baumslag G. 1963, "On the residual finiteness of generalized free products of nilpotent groups" Trans. Amer. Math. Soc. V. 106, №2. P. 193-209.
15. Lyndon R. C., Schupp P. E., Combinatorial group theory, Springer-Verlag Berlin Heidelberg New York 1977
16. Karrass A., Solitar D. 1971, "Subgroups of HNN groups and groups with one defining relation" Can. J. Math. V. 28, P. 627-643.
Ивановский государственный университет. Получено 3.06.2016 г. Принято в печать 13.09.2016 г.
