АЛГОРИТМИЧЕСКИЕ ПРОБЛЕМЫ ТЕОРИИ ГРУПП И ПОЛУГРУПП И ИХ ПРИЛОЖЕНИЙ 1983 г.

с «ответственн о. Имеем BPCP-B|fti1V'.$V-ih < С г 7 , где 2 есть граница, входящая в слоги и Z Р\^ , При- чем имеем следующие определяющие соотношения: Вдй| = Si ® i , CJiPa = Ог, — 1 Q l z Pi -t - S i.-iQ i.-i, Q i-i Pi i - S i , Pt. Gj = 6 ?K5 * , Pe-iQk ^Qk^Sk-i , Рк-^Фк-ч = <?k-z SK- / ,..., Pi nQi <-3 » Л S i M . Проведя в слове ЪРС Р R -приведения слева направо и справа налево, получим слово В >1 S i (Яг •.. 5<*-1 2 S{ *fS j*a...S n СгУ~ , в котором ыолет быть еще одно f t -приведение, если S i 2 > 1 / 2 ft , в результате ко­ тор ого получаем R-приведеыюе слово, так как S i - i Q i - i i 1 / 2 R. Теорема доказана. Л и т е р а т у р а 1. Л и н д о н Р . , Ш у п п П. Комбинаторная теория групп .- М: Мир, 1980. 2. Г р и н д л и н г е р М.Д. 0 проблеяв сопряженности и совпадений с антиценгром в теории групп. - Сиб.матем.ж., 1966, т .7 , с . 785-803. 3 . Г р и н д л и н г е р М.Д. К пробдемам товдества слов и сопряженности. - Изв. АН СССР. Сер.матем., 1966, т .2 9 , с . 245-268. 4 . Г р и н д л и н г е р М.Д. Решение проблемы товдества для одного класса групп алгоритмом Дэна и проблемы с о ­ пряженности с обобщением алгоритма Двна. - Докл.АН СССР, 1964, т .1 5 4 , о . 5 0 7 -5 0 9 . 5. O reend lin qe г И- Sehn'd algorithms \or *Uie conju^a- cg and vord proHen is itikt appliccdions.Cenm Pure Appi. hath , 1 3, I9 6 0 , 6 4 1 -6 7 7 . 6. Lipschuti S C7n4he vord prollemancn-Jwrih groups % ftP 1973, p p .4 4 3 -4 5 2 , Amsterdam: Noth-Holland. 7 . С и д и т B.B, 0 централизаторе любого ал еи эн та.- Уче. эан ,41ваневск.гос.»дин -т , 1 9 6 9 ,т . 6 6 , с . 2 0 9 -2 2 4 . 8 . К л а с с е и В.П. О цикличности подгрупп с тождеством в группах с ^ -б а з и с о м . - Прикладная математика. Тула, 1975. - 34 -