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

/ Л — s ° > “ > j °> X лр. / < A s ( V , О ) ” ‘ . Л р . , х = X , , В = / Г <v с ~ / (2)У г ^ ; V s С * ■ <-сР > з> = : С <СсГ ; А х o c i ° х ' * Р , ' Аг Полагая получим 1) по допущению , 2) *41 ■•‘ аСлг°СА1 = e c = y z * c trc~ е JE , , сг> ° ^ л г € J r 3) Х У = X i C ^ G 3 , . Т . к . < ° " s * ........1г>Л „ - * с <г Это противоречит условию Шопределения класоа_ К ‘ . Совершенно аналогично показывается, что Ср где 1 ± u & - t , (Ч) (иУ счУ Ч/Оа = ^Арч- ^лри где s Ху, Х у , С A i , (° оС _ Л / л р , 1 . н " , ( 1 ) Ч ■ г*/;' - ^ / и Cj U ^ a abip / * ‘" XMi,Xcl ', Следующий оаг преобразования IV в (7) состоит в рассмот­ рении зацепления на границе и И / '* и т .д . Таким образом, преобразования элемента вида Cl \ v L с дополнительными опреде­ ляющими словами £ l KW ,H начинаются слева с участием слога Q, и продолжаются слева направо так, что производится всякий раз замена выделенного дополнительного определяющего олова на равные ему элементы из его дерева элементарных преобразований, затем рассматривается зацепление. Дерево элементарных преобразований элемента W может содержать бесконечное множество элементов, равных W , Пусть множество JU состоит из элементов W и элементов входящих в их деревья элементарных преобразований. Легко показать, что AJ замкнуто относительно элементарных 99