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

С помощью процесса, состоящего из преобразований ы.0 - , подгруппу ( И /, t . . . > ) преобразуем в подгруппу yp(Jll0> S ) = Л,...,^ ), где >? - основа рр(Мп> S) , порожденная под­ группами ряда: (М ,) ^ (Ms ) ^ (Mk ) t М * - множество н е- трансформ, причем подгрушш ( M i ) , L =fJ? , и f ^ e ) являются порождающими подгруппами др (M0j S ), удовлетворяющими условиям Q f-o -y . Теперь в качестве искомого множества возьме( множество, состоящее из объединения образующих подгрупп (M i ) , > я множества Мо . Получим множество { И ■ Из а л- и условия, что нетрансформы из М 0 обладают в свойством f t ) , следует, что множество { W ; обладает свойством (О . Из леммы 10 и а 3 следует, что СИ/с обладает свойством 0-0 } из леммы 8 и а 2 следует свойство ( t i t ) ; (tie) следует непосредственно из а . И з теоремы 3 и теоремы 5 следует теорема I . СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ [ I ] БеввОрхний В.Н. Решение проблемы вхождения для одного класса групп. - В к н .: Вопросы теории групп и полу­ групп. Тульский г о с .п е д .и н -т , Тула, 1972, о .3-86 . [ 2 ] Бевверхний В.Н. Решение проблемы вхождения для некоторых HN N - групп. - В к н .: Четвертая Всесоюзная конфе­ ренция по математической логике: Тезисы докладов и сообщений. Кишинев,1978,с . 9. [ 3 . J Линдон Р . , Щупп П. Комбинаторная теория групп.-М . : Мир, I960. Штеренберг М.И.(Саратов) ИЗУЧЕНИЕ УРАВНЕШ, СВЯЗАННОГО С ПРЕДСТАВЛЕНИЕМ ГРУПП НОС, С ПРИМЕНЕНИЕМ ЭВМ В работе Гаонера [ I ] рассматривалось представление груш кос с помощью конечных матриц. Однако до сих пор неиз­ вестно, является ли гаснеровское представление групп кос точным. - 62 -