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

(17) и,иг . ■и%> “ Ч ьи - ■ иьа ; ■■■, u\+i - где t ~ 0 или t~1 » и‘,+р ■ н > и%+1- и% Е -.; и^ +г- ип , где р =0 или f , со слвдующши свойствтл;: для слов (1 7 ): (171 L(и,) * L(иг ) i . . . ±L(u k') t ..,, LCu^J < . . . * / Cu^r). Причем для любой пари рядом стоящих подслов % я- ' ■ % < ’ > U i«« нетрансформа , траноформа, 1 ( и , ^ н )< /. (Шкл ) < / ( и ^ +2 )t L ( и 1кы) _ /. щ v , ) , /. > = £ ^ +а ). Дня подолов ( 1 7 ') : . L (ih 1*p')2...*L(U il t ) ,. .. ; L ( ,J4m+t ) i '- & L ( u - n )f причем для любых дв^.с рядом СТОЯЩИХ ПОДСЛОВ у ' ^ * fU\ * i4 U\+ t Щ;*г- нетрансформа, Щ - трансформа, ^ ^ ) < Ш у , ) < Ц и 1^ ( )> Ц и ^ , ч ) ~ Ц ш ^ и с ^ ) , ^ ^ ' ' ^ ~ ^ V ,/0. Если £ = / , р =( , то подслово го- слева умножается на транс­ форму Ц\_, , а справа - на траксформу &V, . ^ i -г I “ с,*/ - нетрансформы, причем L( u l -,)<L( c^.3)< l (w)t U u ^ U i^ M , L(uvZu, 4 ux>L(w-)t С (и ^ )< Ш ^ ,Х (ш ), L (Ui/ +1) (^<! ^1/ +f), (u s ) (USUit Uif +t). ЛЕША 8. Пусть 7/ £ + * / t e, / t £i f £n /s t& ^ ^ 7 f fi либо A . L n u f k t S n u , / ^ I n u r / t . (3 = 0 , ± f ; Где u p принадлежит специальному мно­ жеству { (Wi}L=p y l ) { i u j - 'l ^ p ; J Пусть Js= tXLfupfi... Liio- t L - закрытое подслово левой половины u f , причем г < а . если t*Lfw. ... inv^ t** явля­ ется изолированной закрытой левой половин: ’ нет. шсформы ttgf, а й /l в противном случае. Тогда, если v-Gir4Пqp(JU0,$ ) * Е , то среди под­ групп ряда (6) содержится подгруппа' (Л1у) такая, что - 33 -