Алгоритмические проблемы теории групп и полугрупп. 1994 г.

УЖ £19.4. в .к .Б ь а в ь р л м Тульский пединститут О НОРМАЛИЗАТОРАХ БЛЬШНТОВ в С (р )^ .Т (с^ ) - ГРУППАХ Ь статье доказывается конечная пороаденность нормализа­ тора произвольного элемента в конечно определенной группе " « 3 » о 7 ™ Г ' С * > « 7¥ * И » < 1 процедуры, позволяющей выписывать образующие нов " » "« "« » " « М х о д ш » , достаточные у о л Т Г . 1 „ «“ »‘■«»х диаграмм, пре которых нормализатор Л ' есть расширение циклической группы <и/0> с помощью конечной Как следствия из полученных результатов вытекают известные теоремы^разрешхмости проблемы равенства и сопряженности слов '2 I . понятие полосы в /¿-диаграммах « Ш 0 ^ , , Т , 7 т о Г ' И“ еВ”“ “ “ “ РОйЛе“ б д а " “ п»Д ь=о .а,ь - о си ош “ , ,о м ™ - пусть £ - конечное симметрязованное подмножество и ч Г б г :?п°н псо“ Г Г о ^ ватг ; г * ' диаграм- п л о с к о с т и ^ и « л е ю н Г ^ Д р00" 00™ 1« « ” каВДому ребру е карты М то ~ Граница некоторой Области Я) из ^ « Л ( Т •••■•<’ а М и “ И ' “ * “ » Ч - . « » слово , „р” Г * - ТЬСРИа Ш ! 7 7 7 ’ щ границу множествах »оромвиыал сви етр вэомш нш « „ « “ » Г Г Т “ " Г • несократимое е л о » Л 'е Г принадлежит 7 ' Тогла “ " “ ' ’ » с« » если существует связная одно связная Р * ^ и Только что для некоторой выделенной вершины о ~™ !^ рамма М т а к а я , кь> ты М с началом в точке п им ° нв ^ граница е е , В * п т „ V * г , Х Г « » » « . куском о т и о с 'в т о д н н с ^ ^ ;™ « « е 4