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

<*=<? * / , ^ 1> £ ~ £ / , отрезок t&f t ’,,t 1~>3L назовем начальным открытым отрезком, a t t В- L c _ начальным закрыты;.! отрез­ ком. Аналогичные понятия вводятся для коночных отрезков. 3 слове (3) начальны)': (конечный) отрезок L^ t a* . t e-iq t fi) назовем закрытой левой (правой) половшей, отрезок ... t £sKg t-£* ( t sKgt£sf y . . . ) - закрытым большим началь­ ным (конечным) отрезком. В слове (4) начальный (конечный) отрезок ( t (*rSp t &S4... i a'l'fg назовем закрытой левой (правой) половшой. В слове Cj = r*Bt t £'Bz . . . t t > kH t P , Пусть W={W ;}i= /,// 7 конечное множество слов группы G-* , каждое из которых приведено к виду (3) ши (4 ). Будем говорить, что у слова u r£= t i\B,t ' . f i t l.,.&k t £kBk ^ t f y , гд е . £ = ± ( ctp-O*/,fo~0, */ , £■'= ± / , t - £ J T ; lo 'е\А/ , закрытый начальный от­ резок tb B f t £'Bz ,l.8 (_ t£L изолирован в W , если он не является начальным отрезком ни у какого и г } , 2 = * / , u r ^ fP V \ и г }. О п р е д е л е н и е I . Пазовом коночное множество слов \А/=-1щ ! ) г р у п п ы G-* специальный, если оно удовлетво­ ряет следующим условиям: . i ) закрытая левая половина слова urt e l V , являющегося нетранс- формой, изолирована в W ; если иг- - нетрансфорыа четной длины, то её закрытая левая и закрытая правая половины изолированы в И / ; сi ) длину слова uTj e W , являющегося йетрансформой, нельзя уменьшить, умножая слова и справа на слова из подгруппы, порож­ денной множеством { { м ^ =/ у \ W j) ; длину произвольного элемента и г - e W нельзя уменьшить, умножая на слово У & < {UTcju jp t >■ , U v U L ( u T j) ; , , р <-L<- ) пусть U/j ~ t L/ц/-, f 1-sWj L Kuri. L s l sw-...C Qu r...l/L£- S где Ы = ~ з W ШШ W j ' Г1Л/: ^ d -0 ,±1 t R - 0 ,* 1 , w~: - нетрансформа вида (3) и / - Ц ^ ?*/*«*• t £k u r /3 =0,t / ■ < f= ± /' - нетрансформа вида (4) из (У п {Wp'*fir‘Ltur tgfurr t t^riUfj...t€trng ^ a p - 0 ,± 1 , подмножество нотрансформ и з \u r 'j v, где л /г/*/ закрытая полов;ша которых окг чнвается на frriul, ослп подгруппа te,rm \ тогда J n v ?r ^ t ^ 4 t e{ , , r m t ? * , V ( £ единичная подгруппа, т О L(wju)>l ( u r ) il(u'-uiv s,J')2 /.(игр)