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

( М ' ) = П х ; ; Г Ч . .. r ^ Y V . Г', <ij=0}±f ; принадлежит траноформа rV.. ^ fhjuSj .гч, г», где Л * , если <5^,/=/ , d he It, , если £ . ; * - / , то среди подгрупп ряда (и) содержится подгруппа СЛр- г » г-' r t . Ч -s/ v . ^ . .. r t v г°? которая содержит трансформу иг ; в) пусть для некоторой трансформы u r = r ^ t 4 . . . ^ j t - ^ K t S > j . . . r f / n у Q 4 принадлежащей подгруппе № ' M - V r 4 . . f ‘w V V / V ’ <7 а и некоторой нетрансформы 1 *•**<, (1) при L(Y)-2m+< (левая закрытая половина У изо­ лирована) и L(Y~'wY)LCY) существует подгруппа (JUis ) ■ряда ( 6 ) , содержащая Y w- Y » (2) при LtY^urY'i)t< h(Y) и L (Y )= 2m +1 либо L(Yh2m существует Ш',е) из ( S ) , содержащая YemY~& i . г) пусть Xryj Гещ t £u . , у ; подгруппа ряда (6) и V = t Ч * 1 подслоьо левой половины и/, , Щ. * . не являющееся изолированной закрытой левой половиной ьг* в специальном множестве тогда, если подгруппе (М.\Л принад­ лежит траноформа иг такая, что то ряду подгрупп (6) принадлежит подгруппа Щ ) - г * rj г* ... Ч ,/ t4 * ' i„„ w r v . г / ’ и Ш « (1ЦД ДОКАЗАТЕЛЬСТВО. Рассмотри!! следующие преобразования. - 25 -