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

(4) Л е м м а I Z31. Ряд (4 ) можно преобразовать в ряд ( 4 ') : ( м ; к ( н ' г и . . > т ' к ' ) ' (4 0 со следующими свойствами: D gpCMof (MO,.-.,CM|c)) = ^pCMp),(Mi)7...,(M U ')); 2) если подгруппе = Г*д*, ряда (4*) принадлежит трансформа U = Г*,-} .■■r^ Ь р П х . . . , где К принадлежит объединяемой подгруппе, то среди под­ групп ряда (4') ищ ется подгруппа содержащая U ; 3 ) если для некоторой трансформы U =Р^...ПпкКхГ*л*.-Г\*-) принадлежащей подгруппе ( M p =P ^ ...rn^CjV\ij; •••Р>и , и нетрансфорш ^ = Ц . . . ‘1п^КЧР п ,о ...р ^ из М о ,а ,> П , (левая половина ^ изолирована; шполняется соотношение U jf 4tfy )‘ t ( y ) , то существует подгруппа (Mg') ряда (4 '), содержащая трансфорыу у ^ ...Р а д К ,р м ... Р,,*) ft , а если , то существует подгруппа ( Ms') из ряда \ 4 ') , содержащая у ( Р^ ... Р ^К ^Р л * Г<*) f * i 4 ) если , (M s) = P*V »PnVn ,+4,2"'•г л2^(-'йГпгу...С|1- подгруппы ряда (41) , п г > гц * и подгруппа (M j') содержит трансферу U = либ° U ' = »*Л где К ^ n p . p ' V ' l . i • то существует подгруппа ряда (4 ') (М |() = Рлх•■■PfU Рщм,р'к РП|ч ,*)••• P/u . содержащая в первом случае трансфорцу °U , во втором - И' ; 5 ) если (Mg') = Г '^ ...Р ^ х Сдрл^ „ , гЛ( - подгруппа из ряда (4 ') и р *= i^ ...ln^K i П2^-‘ Гп,^,иРп/х,..Ги(е-=11) - элемент специального множества, причем подслово I’ m и- не является изолированной левой по­ ловиной некоторой нетрансфорш г<^ ( <Е =-1 ) и если под- крыльев их трансферы, получаем ряд: