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

зон f V £' . . 3 *£‘ слова гл е <Х,р=0*/, если рдду ( 6 ) принадлежит такая подгруппа ( Я /^ )= ^ г и t £' г ^ ... 1пХ t {riAis t in г 'п х ... ?/х t * что подслою (*В< t ff. &Lt ‘ слова и г и подслово 7;* t ‘ левой по­ ловины трансйорм из (М^) принадлежат одному левому классу смежности подгруппы по подгруппе Ц , если £~т( , и по подгруппе U_t , ьсАа £,=/. ОПРЦДьДЫШ 9 [3 ]. Будем говорить, что закрытый отрезок В-t*L слова W - t c‘Bi t {' t пв„+, где dfi-O , * ! , является изолированным в множестве слов { У * ' }i= 7 ^ > если ни одно из \^£ , f =±1 , Yj£{{4i±l) \ { u r i u/~1} } t не содержит закрытое начальное подслово длины i , принадлежшиее классу смежности t£!.. 8 t t Ч/у. , где Т - 1 , если £i=~1 , и S’ =-1, если<^=/ ОЬРдДьЛЬНкБ 10 [3 ]. Будем называть вспомогатель­ ным рядом подгрупп ряд, связанный с рядом <$) и последователь­ ностью (IJ) и обладающий свойствами: (J.) если ряду (. 6 ) принадлежит подгруппа r ei.. г'пх t ^ A i d t ( n ln x t * r . . гы £1 в et . ± i то вспомогательный ряд содержит подгруппы w e * . G ; (; 2 ) если слою Y ^ B , S, t e*B0 .. есть слово из последовательности ( 10 ) с изолированной закрытой леьои половиной в множестве подгрупп ( 6 ) и слов (ДО), то вспо могателышй рад содержит подгруппы: r t f * ; .- ..£ • * $ & , ( h (3) если слою V \=1ЫВ ^ .. &s f ‘B ) d , p = 0 * 1 > $£=*(, есть слою из последовательности ( 10 ) с изолированными закры­ тыми левой и правой половинами в множестве подгрупп ( 6 ) и слов (13) , то •вспомогательный рад содержит подгруппы: t X r * ; t \ ' X . B g t ^ G t v* X s ,. Ъ Р , G ; (я) каждая подгрупп* вспомогательного ряда входит в него один раз. Упорядочим подгруппы { » () вспомогательного ряда по длинам крыльев ьуодяг !И х в иих трановорм, получим ряд: 20