АЛГОРИТМИЧЕСКИЕ ПРОБЛЕМЫ ТЕОРИИ ГРУПП И ПОЛУГРУПП 1981 г.

выписывающий пересечение двух конечно порожденных подгрупп, то в В разрешала проблема пересечения любого конечного чнсла классов смежности конечно порожденных подгрупп. Из теоремы 4 и леммы 8 следует TE0EL.IA 4/ . Пусть G ~ А ,* А г , где A ; (1=1,2) обладают с в о й с тв а м и R и Ц . Тогда, если в сомножителях: I) разре­ шаю п р о б ле м а п е р е с е ч е н и я , классов смежности .двух конечно по­ рож денны х подгрупп, 2 ) существует алгоритм, выписывающий образующ ие П ересе зния д1”ос конечно порожденных подгрупп, 3) разрешима проблема построено) нормализатора, 4) существует алгоритм, устанавливающий сопряженность двух множеств под­ групп, то в группе С? существует алгоритм, позволяющий уста­ новить для любых двух множеств подгрупп, имеется ли такое г « б - , ч т о Д ( х ■,Hi i= H [). СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ [ И Магнус В ., Каррас А ., Солитэр Д. Комбинаторная теория групп. - !,!.: Наука, 1974. [21 Безверхш й В.И. Нильсеновский метод с о к р ащ е н для свобод­ ного цроизв .тения групп: Сборник н аучн .тр. ка.у. выс­ шей математики. - Тула, ТШ, 1972, о . 44-70. [3 ] Безверхшй В .Н ., Роллов З.Е . о подгруппах свободного про­ изведения г р у ш .'В к н .: Современная алгебра. Я ., 1974, c l 16-32. 14] Молдаванский Д.И. Метод Нильсена для свободного произве­ дения груцп.~Уч. зал Ивановок. г о с .п е д .и н -т а ,т .6 1 , Ивгново,1968, 0 ,4 2 -5 4 . [5 ] Молдаванский Д.И. Сопряженность подгрупп свободного про­ изведения ,~Уч. з а л . Ивановок, го с. пед. и н -та, т . 106. Иваново,1972, с.1 2 3 -1 3 5 . [6 ] Бевверхняя И.С. Аналог р езультата Уайтхеда для конечного множества подгрупп свободной группы и свободного произведения гпупп. -Прикладная математика,Тула,1976, 0 .4 6 -5 5 . - 116 -