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

рованной левой половиной нетрансфорш из специального мно­ жества. Тогда Ссц...С»п = 2-j h , где a 'n 'h Xjtfj Z j h! • Допустим, что здесь Са^... Qrt-Щ. Присоединение к М равносильно присоединению эле­ мента CJCjn • а ) Пусть разрываешй слог </j - ядро символа И4' А и Ui,-^ - нетрансформа нечетной длины, IU-<| = U*, А,д 1 Х- 4 ,п '> М ^ 1 м , л ) " И м е е м обобщенный неправильный разрыв Ut-* = U«.-4,AД]лС",СХ^о • Возможны случаи: изолирована левая или правая половина M-t-л . Для определенности по­ ложим, что левая - М^-^л . Б елове llA =PUAn имеем 'ЦС) , тай как С - подслово левой половины или левая половина, не изолированная в специальном множе­ стве W . Рассмотрим различные случаи. a ,) K C M O U r t ) - Слог eXjn и последний слог С лежат в разных сомножи­ телях. Тогда U C J ja U n ,n H t ( U A) . так как UA=CK,U,„; i ( C ) U ( U '1n) ; i(U ,)> 2 K C )M 5 i(CXjn U i - v i ) c 2 'l( C ) ^ . Присоединение i 4 , n. равносильно увеличению Pic. в паре (Рц,К) характеристики X(U) , перечисляю­ щей элементы длины к . Нетрансформа 1/Ц учитывается парой fPs.S) , расположенной правее пары (FV ,K ) . Кро­ ме т о г о , в слове CXdnU<, А;П подслово С являет­ ся неизолированной левой половины U -символа. Тогда среди подгрупп \ D i) вспомогательного ряда содержится подгруппа вида D j = С о С ”4 и элемент "Р(С о С"4) пересчитывается парой (Рц.', К ') > расположенной правее пары ( Р х .К ) . Домножение (X, на (C ^ n U i- 4 ,n ) '4 и сопряжение подгруппы СоСн “присоединяешм элементом C J (jn lU - 4 ,n приводит к уменьшению пар (R j.S ) и (ь \ , ) К')* по крайней мере, на I , и • а в) i ( C ) = l ( U i 4 , n ) t - 10