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

я , ... 4 Щг Ш ) ОШЛМЬНИЕ I I [ 2 ]. (I) Булем говорить, что слово r V 4 . А гЧ ^ Ч ' - *!t$, vned,fi=0,±t ,е с =и , £'=*/ , обладает свойстюм (к ) , если закрытая лев., половина и закрытый большой конечный отрезок его изолированы в множестве подгрупп (II) и среди подгрупп ряда (II) содержатся подгруппы: t % t \ . . e „ г * ' в ; т « t* e ,t('Gtr<e;'t'°\ t dG t d, Cl') Будем говорить, что слово fdS, ( f'.. t e*'Bs t fsBt't**- -'4-, ...fity t* где о 1,р=0,*/, Ъ =±/ ,£ /= * / , обладает свойством ( я ) , если закрытая левая и закрытая правая половины его изолированы во множестве подгрупп (II) и среди подгрупп ряда (II) содержатся подгруппы 1*8, t e> 8S t t е$~' G f es-< в ;,... Й ; 'Г Ы . t aG Г ы- f t * ‘. . . l r . W , с . ( 2 ) Будем гою ри ть, что слово Y e- t В, if ’Bl ...Bs t lseo t fsB^.,. t 't* где <^( 3 = 0 ,*/, <st , £/= ±/ , обладает свойством (* * j, если закры­ тый большой начальный, либо закрытый большой конечный отрезок либо оба одновременно не изолированы в множестве подгрупп (II) и если, изолировав их вместе с закрытой левой половиной в мно­ жестве подгрупп (II) , мы получим ряд У * *А ( 12 ) относительно которого Y f обладают свойством (ж). (2') Будем говорить, что слово Y f = r V \ . . Bs t ^ B ' t e‘-<8'S4 ГДe J (^ '( { t/( ^ * < ‘ S[ =i< , обладает свойством (и х ), если закрытая левая половина! либо закрытая правая половина его , либо обе вместе не изолиро­ ваны в множестве подгрупп (II) и если, изолировав их в множе­ стве подгрупп (II) , мы получим ряд (12), относительна которого слово обладает свойстюм (ж). (3) Будем говорить, что слово Уг= ..fify't* где <i,p=0,*t, £t =± / , e [ = t f , обладает свойством (их*), если з а ­ крытая левая и закрытая правая его половины не изолированы в множестве подгрупп СИ) и. изолировав их, мы получим ряд CI 2 ) , относительно которого У£ обладает свойством (* ). ЛШМА 9 C2J. Пусть имеем ряды: Л, « Ял s ... « (13) (Mtf )<(JILU ) % (14) 21