ВОПРОСЫ ТЕОРИИ ГРУПП И ПОЛУГРУПП 1972 г.

_ 84 _ Пополняя последовательность (4 0 ) словом , полу^ У, * . . . s Ц ' ^ и / с i/tH < t " ^</rn> (1„ где W i ) * B ( W < t (V i« ) . Затем ряд (.118) пополняем теми иа подгрупп U - . tn-tjX О ^п-ьх... Z/X, . C i x a C 7-ПХ В %ПХ■■■'lи , ... , V x O l . x , которые в нем не содержатся. Получим рад: ^ ^ Q j /VjkJ'/. ( j2() К рядам ( 1 2 0 ), ( 1 8 ) , ( 119) применяем преоорааования *<J via, oi,2 ? <х!/з 1 переводящие их череа конечное имело шагов в ряды: c£V * £)2 й . . . 4; Q « . . . ^ S ) ^ г ( 1211 (M l £ ) ^ ( ^ * i )<■ • ^ i ’ )} К2 , (122 y t й Ув ^ . .. 4 Ц, < • £ Уп \ , , т л < . , ( I23' где ряд ( 121) является вспомогательным для ( 12 2 ) , (123)1 Выделяем иа последних максимальные подцепочки, являоций соответственно истинными подцепочками рядов ( 1 8 ) , ( Ю).' с учетом аамечания 3: (M ia ) « (M ij (M itt) > t, * Къ (1211 (>25 Теперь рассматриваем подгруппу, порожденную подгруппе*' j рада (124) и словами У/ из ( 125 ) , длине которых w3^ £ длины трансфор* подгруппы ( ) :