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

У -Yu - - Yu , У ^ и пусть X A ^ V V * 1^ s является максимальным за­ крытым начальным отрезком X) . не изолированным в множестве подгрупп (2 7 ). Ряду (27) принадлежат подгруппы: Y u t X t ^ t ’ ^ t ^ & G t ^ ^ X 1 ' ^ , ( 44 ) Y u t 4 M ; ; ' . Слово X под действием преобразований переходит в слово Y i % Y r Y o [ t % ; t 4 l f X U , а подгруппы ( 4 3 ') ряда (27) преобразуются в подгруппы - Y Z , Y £ V % b b t * X ct 4 s J . K t M i ряда ( 3 6 ), удовлетворяющего условию (1) леммы П,и, следова­ тельно, относительно которого с л о в о Y ^'Y jY i обладает либо свойством ( * ) , либо ( ж ) , либо (нзеО . Если ч -Yu - - Y u % t - * X ? t * B t X , , то слово X преобразуется в слово Y i ' X X ~ Y 1 t * f l £ t H V Y t n , а подгруппы (43 ) - в подгруппы : х : т ч л ч ^ х л ч ^ ч с % с % ^ . . л ^ - 49 -