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

является начальным отрезком ни у какого слова иг? , }= ± / , u r ^ { W \W j j } [2]. ОБРЫЫМИЙ 4 [ 2 .3 J . Назовем конечное множество слов группы G* специальным, если оно удовлетво­ ряет следующим'условиям: I / закрытая левая половина слова u s ^W , являющегося нетранс- формой , изолирована в И/ ; если Щ - нетрансформа четной дли­ ны, то её закрытая левая и закрытая правая половины изолирова­ ны в W ; 2 / длину слова Ufyt W , являющегося нетрансформой, нельзя уменьшить, умножая слева и справа на слова из подгруппы, по­ рожденной множеством \ Wj } ; длину произволь­ ного элементе Wj *IVнельзя уменьшить, умножая на слово V e < i u r i } L=^ > , L ( V ) < L ( w h 3 / пусть и /- = t % u j t £!.. l Sas t* * K y , где ±1 , f= ± /, un - нетрансформа вида ( 3 ) из W либо " } • РЧ?•■■■ f i l m t \ где, a K v- $r = ± l , cy = 4 I f , есть подмножество нетрансформ поло тогда <ър= 0 ,± 1 , <5 = ± / , «г- - нетрансйорма вида (4) из W и t \ . ^ r t £%y . j £%UJ/1*l 11 £ I из *1 t ^ з а к р л а я правая вина которых оканчивается на V i 'lu y ... l €>Z/Ur \ ' если подгруппа Н=< {Urc}i=fjj> 0 ^% 'иг. . t £iC ft £{ . ( Е - единичная подгруппа), то УиеН ,1(кги)> 1/м ) L(WjUUfft)^lj[uE) V пусть t l! J M t K ln w ? r A i w *' J ‘ ■■ Ц < % . . . * 4 * < * £ = t < , i =t l , d t * 0 ,t i , f c O , H слова из td<l [ № . 1 W - V1^ - Hi / ах / t*r / < • t £/t<J £ •• £/TMf не обязательно различные закрытой левой полоьинв W"- начальное подслово - начальное подслоьо закрытой левой иоловины IV * . Ьоди t^ 'itu/. t C'. Jliur t '..1 tiu ,iQ не существует слова иГф/ и ге < { ^ \ы Г Е > и 1 ( и г)<Я/1 такого, что WW^xt ^'l tf’ / W t*P / г J L’4ri L 1 ( p u * 1 L/ u i , u r y liu $ ~ - l n y 16