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

рованные свойствами СО -(iv) специального множества: а ,) если urt eМа и W„ Wa egp(Ao,S), где Ш , ) < £ ( щ ) , L (W n ) < L ( us l \ то а-,) если шрМа и игг ьМ0, Щ+Щ t $Kg{ t(JUi-) где ( М ^ Л г , ' ^ . t ^ l A , ^ n %h. X , p . произвольная подгруппа инвариантного ряда ( 6 ) , of <J=0>± i> , то l ( 4 № M ( i q ) , J 4 2 , j=i,2 , « = * / , * . ± / ; ag) если д,4К&/ £ (Щ) , L(fyjKi$)a2L(g0+lt T0 не существует urtgp(Ma,S) , L(w)<2 L (g^) такого, что L(Qij gj w)<L (gt</Kg}]); а+) пусть Х = Г Ч ,А Л Д % ,* . . <*p=0, ± ( ; /3^=0, ±/; p= /,2 ; £**±1, *=±Л Каждая подгруппа (Mg) , fX 'jj есть либо подгруппа ряда ( 6 ) , либо подгруппа (M q ) , причем в последнем случае имеем в виду элементы из. М0 , L , тогда, если то не существует слова unqp(M0,S ) , L(ux)<Pi t такого,что « t f V 4...4. < 4 ,,,... L. t6"... Л г „ ,.. б v fЛ) - a ff) девая закрытая пободана нетрансфор.а изолиро­ вана в множеотве lH,UJl£\\[w*'} и не является начальным подоло­ вом для любой трансформы Ktg£ f (М^ ) , где (М^) -цс - группа ряда ( 6 ) . В дальнейшем под подгруппе.. gp(JiU,S) будем понимать подгруппу, порождающие подгруппы которой удовлетворяют уелогн­ ям а , - af , и ряд (6) ив подгрупп, порождающих S , инвариан- - 29 -