АЛГОРИТМИЧЕСКИЕ ПРОБЛЕМЫ ТЕОРИИ ГРУПП И ПОЛУГРУПП И ИХ ПРИЛОЖЕНИЙ 1983 г.

следующим рядом подгрупп: * ...* ( « ;;* ) , 137) S/" - подгруппами ряда 4 * 0 , С38) причем (И,') =(МГ) =Vujc , , где f =1, либо (f = -I; для определенности пусть f =1, однако не исключа­ ется случай, когда Щс^ П V-^ Слово л? , удовлетворяющее соотношениям ЪГ = Щ С, Ь! ^p(Mo"',sW=^(Mo", Sc) , (39) выбираем наименьшим в двойном классе смежности: 9р (М с" $ г ; и г * р ( м / , О - Пусть W-i = ^i-iTW - специальное множество обра­ зующих подгруппы Qp(Mpw, 8,") , Wj = i = -T n -спе­ циальное множество образующих <jp(Mc, S/J , L>A=rnaj.[lj(l^M), b(W 22),” >; Ь(Т<Гц2 ,2 )^ . 2.1. Рассмотрим случай, когда в подгруппах З Р ( М с " , О , ДО(Но,8 / ' ) , М . ' " * 4 М о ' М - Наделим в слове Sr Ви максимально возможное закрытое конечное подслово, совпадающее с конеч­ ным закрытым подсловом правой половины некоторого ь Х t где принадлежит специально»^ множеству . Допустим, что 4P j г.- fyv, где -Wif ...tht£4 t * " rn Г,ЧР, и w1' получили, умножая Sr на слово U,,...Up подгруппы ?р(Мсж: з Л ,L(U, . . .Up)^/ . S2 Длина начального закрытого отрезка НтВЛ ...Bi- 2 L ‘ Bwt слова ТО'1 мены® Q^j4] . Допустим противное. Тогда берем В ПОДГруППе 4p(Mc'’ Sc"') ЛЮбоЙ Образующий Urt< ИЗ СПВЦИ- aibHoro множества V\A,L( ^)>2j +1, и рассмотрим пооизпадение ur,U 4 iS ''t - T /'bct£’,.. • • xt 4 r 't tv,e>4, ч х, =*1. Подслово 4 не затрагивается сокрашз- - 70 -