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

укоротить длину правого крыла ^ В т . B , t a подгруппы ) , то определяем с помощью алгоритма O t такое слово W- * / . и г е д р С М ." г S " ) , что %£**'.. t £’B, t«ur=/ibUi l '... t 4 где k t U, , если 6i = ( , и fie U l, , если &t = - f ; /3 = 0 , t f , %?<-<... f-'B 'ft? - конечное подслово правого крала КЛ'(М/ ) некоторой подгруппы (М д ) ряда (4 8 ), или конечное подслово правой половины некоторого Y-e , c - ± i , Y ‘ eJ/aU M , причем i - максимально возможное. Заменяем подгруппу Ш "(„ ) подгруппой w - W t H ) w . Л „ г , Пусть при выполнении преобразования нельзя укоротить длину Ye", , где Y fH= A n либо &=0 ,± /; p = 0 , t f ; h .e lj, ; если и h elp , еслиб„,=-^ Определяем с помощью алгоритма O t такие слова щ * 1 И , щ сдр(А'0у S ") , i~< ,a , что ^ £н g - t*к'с"щ -><,&Г'гЧ-,. . Ч <Н , -л , $ 7 * . ф Г P'=o,tfi p '- o , t f ; A t eU, , если <5,=/ , и h , €U- / t если hg удовлетворяет аналогичным условиям, 1 irT> , / е щ • Каждое из слов t lY>. есть либо конечное подслово правого крила В ^ '(М д ) некото­ рой подгруппы (М у ) ряда (4 8 ), либо конечное подслойо правой половины некоторого Y f , d = t f , Yg ^JUC,OJU”o f, причем i и j максимально возможные. Заменяем слово YUf словом щ Y * / щ . Л ?г/ Если предыдущим выполнялось преобразование <£ц f , то к ряду (48) прясоедшим пода руппу , н гучям ряд ( < (M it ] * ) и г Ш ) К рядам ( 4 8 ') и (49) применяем конечное число раз пре­ образования Л, - 4з . Получим ряд , инвариантный относятель- - 56 -