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

(7) ((V 'A = -^ (А^Пи,^Л(Ц*0)У Ф п Г ,,г=о т :; п щ - ц ш ) * £ ) ) , то рассматриваем подгруппу Ц ~ ^ * з у ^ /Ьн' Г 7 -у+ з,у и для нее устанавливаем справедливость соотноше!Шя: ( ( ^ с г д = ~ ^ < Н Д 7Щ ~ Д > ^& (Da+ E ) ) v ( 7 *) v ( f ^ у - О & ^ п ц г ^ Ш ^ Е ) ) . Если соотношение справедливо, то рассматриваем подгруппу Я ' ^ Т1/ г < % С * г * г г ^ у . Через конечное число шагов, на каждом из которых будут выпол­ няться соотношег я (7.’ ), мы получил подгруппу W - t X y t ^ .X ^ D T ^ . . . Л чХ уГ* (8) Если же соотношения ( V ) не выполняются, то подгруппу У Щ ) г ~ £ не рассматриваем. I) Пусть £ = / , L (Y )= 2 n + f и л евая полоь.на Y изо­ лирована в специальном множестве l ^ 'h * jpy . Тогда, если выполняются соотношения: ((б п у=Л& (Ш гЮ 8 ,(Т ) '*Е )) v v ( ( 6 nY = o & (1 ) n u f - D')St ( $ * £ ) ) , (9) то рассматриваем подгруппу Ш ) = t ° 4 ty t ^ , п (10) с помощью которой преобразуем ряд (5 ) посредством преобразо­ ваний ( o i) , ( р ) или ( ? ) , указанных в Д, ^ 2) Пусть £ = - / , L ( Y e) ^ 2 n + i и левая половила У ^ н е изолирована в специальном ’ш атеотве . Тогда преобразуем ряд (5) с помощью подгруппы ( 8 ) , применяя (& ) , ф ) или ( ( Г) из . 3) Пусть 1 (У*)= 2 п и . - 27 -