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

Л ' р к~ ++'+' d' p' ( I ~ j А , a i-t-i приведено по модулю А ) , кото­ рая ниитгу предложения I равносильна двум системам сравнений н О (w.o<l т ) (8) Р : К121 = р ; { ^ 1 и.) (8) ( l 1 - 1 , а , ..., 4 , l i- i приведено по модулю А ) . Так как чиоло и. взаимно просто с каждым из чисел р., , p i r - ; рл, , из (9) получаем, что для всех i s А К 'V 5 О и И0Т01ЛУ все числа должны делиться на Из (8) теперь следует, что все числа i , «, также дол­ жны делиться на Wv , - противоречие. Итак, группа C-i cl , I , (С1 &Q-- ( К' и ее подгруппа А , порожденная элементом О- , удовлетворяют условиям леммы 2 , и финитная аппроксимируемость относительно сопряженности группы = <0.,Ц дЧ а .1= доказана.’ «9 Л и т е р а т у р а I ; Линдон Р ., Шупп П. Комбинаторная теория групп.' М.,1980. 2 . *С)уат J. Л ероЛ о+ .м ) Cchjw.js -ie-l .к aw i-e j aj«<>.t<>..sl - | пвй пн 1 НVtV- - Т. А «КН лД . M o U .3 w '( > ’>.A)) m o ) v-.йЗ, р 3» Т о .ь « С . ic.p o iio .titi'tv ’ cf e.e v t o i н. ^ i-'xe^d&cT. ^чочрА , -- Pice.. Aw«4. IW . 1 9 ^ 2 , / 1<°, > /.s, p. ал З ' - ч ч ч . 4. ' Молдаванский Д .И ., Кравченко Л.В.’ Финитная аппрокоимиру- емость относительно сопряженности некоторых групп с одним определяющим соотношением.’ Дон. в ВИНИТИ 2 8 .0 4 .8 4 , №2773-84 ДШ .) 5 . Магнус В ., Каррас А.1, Солитер Д. Комбинаторная теория групп. 1974. 6 . ' Co?E.i.n-i £>. Т?». at4c-k -c'!p^u4 .^ + c aVp-V'» r,| {<vu.a. pN<.~ ri 0 $. e>i Г.Ч, q n o < .if i i . Р ъ с * . А 'г и Л . £(?# ( 1 ), 49 H ', v / . i t . , р Н О - И З