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

взведение групп /у а объединением по а&лмияропанным подгруппам № , соответствующее д ер ево - графу Г ' с р , получаемому из Г стиранием ребра [ ^ < £ ,J ( т о ч к а £ Г ') 1 руппа<J f , <Or . Таким образом, * fn0 ; x itQ f» , lfn os * 'f(lfn0s)>. Записывая теперь любые в нормальной ферме, соо тветству­ ющей новому представлению С , с псыощыо лемм 19 , 2 0 , 2 1 , по­ вторяя рассуждения, приведенные в доказательстве лемм 17 и 18 , получим доказательство теоремы I и соответственно теоремы 2. сльдавий ь. в разрешима проблема сопряженности степенной сопряженности сло в, если Dpt ( A i ) * o , др.н (6 t )tO . СЛЕДОТВИВ 6 . В группе £««$,...,в«, Р4„ Я,,А(а<,- К ■> &>&),*•#*> разрешима проблема сопряженности степенной сопряженности слов, если ( Э р(*?)*0, ^ (В?) ФО Следствия Ь и 6 можно объединить следующим образом. СЛЕДСТВИЕ 7 . В группе $ ■=« г , , . . . , » * , { р , } и р п , А (^ ( а ,, . . , а п , р д = й , у К ., * 4 % ), > разрешима проблема сопряженности степенной сопряженности слов, если сЬ, ( А ф ф О а ^ ф в'ф ф О при i - P & , Список использованной литературы 1 . Линдон Р . , Шупп П. Комбинаторная теория групп. Mr Мир, I9 6 0 . 2 . лмелевский Ю.А. Уравнении*в свободной полугр.упле //труды Мат. ин-та АН СССР. 1971. 3 . Ьезверхний В .Н . О пересечении конечно порожденных подгрупп свободной группы//Сб. научи, трудов капедры высшей математики. Тула, 1974. С. Ы -5 8 . 4 . Безверхняя И.С. О сопряженности конечных множеств подгрупп в свободном произведении групп //Алгоритмические' проблемы теории групп и пол.угрупп. Тула: Т у л .г о с.п е д .и н -т , 19 8 1 . С .It 2 - Н 6 . Б. L a ' i s e n .L . У?и с & т у и р а а / p r o A t t m . a n d c u c € i c . НА/А/- c c 7 i s t x a c t i o n J . A u s t i n ? . A t c it h . S ee /977. A p M S -* 0 /. 38