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

тим, 4 Toir,l iJ, ес л и /?>.£. Эквивалентность систем (14) исходному диофантов.у уравнению теперь доказывается так же, как это было еде.- дано в пункте 3 для системы ( I ) (здесь надо положить = «г i Ч ;. Важно то , что для всякогоае2существует такое, что<У( = Te l^ ( t? ) - a у ^ 2 (т а кш i i является ecf). Из .уравнения (13) можно те­ перь получить бескоэфс(ициентное уравнение в группе таким же способом, как это было сделано для уравнения (3 ). Теорема 3 доказа на. Список использованной литературы 1. Матиясевич Ю.В. Диофантовы множества//Успехи матем.наук. 1973. Т .22. *5.0.185-222. 2 . Ремесленников В.Н..Романьков Ь.А.Теоретико-модельные и алгорит­ мические вопросы теории групл//Итоги науки и техники.Алгебра.Топо логия.Геоме трия .Т . 21. ВИНИТИЛ 983. 3 . Репин Н.Н„Проблемы разрешимости уравнений с одной неизвестной в нильпотентных группах//Известия. АН СССР. Сер.матЛ984.Т .48 Л 6 . С. 1295-1320. 4 . Репин Н.Н.Некоторые просто заданные группы, для которых невозмо жен алгоритм, распознающий разрешимость уравнении//Вопросы кибер­ нетики, 1988.Вш .134.0.167-175. 5 . Романьков В.А. О неразрешимости проолемы эндоморфной сводимости в свободных нильпотентных группах и в свободных кольцах//Алгебра и логика.1977.Т .16. 44. С.ч57-471. 6 . Шпильрайн В.Э.Об алгоритмической неразрешимости уравнений в н е­ которых гр.уппах//Девятая Всесоюзная конфе|енцик по матем.логике: Тезисы докладов.Ленинградл988.0.184. 7 .ЗсхЯ . 7гее ati7setenUa6 c a& u & is / //Jn,* U a i A /95.3. V 5 7 М3. P. 547-560. f G utenSeZO 6 Coho-rno 6 c y ,c a ( to /u c s cn р го е уг tA eoey / / £ e c t Motes M a t* 743(7970) & cteitin J. Fiee /ruxxu& i o v t i J ie e a foe-Azas м и г 3 ie e р г .- iy i a£#ett<3A'; tA e А 'Л гееаг tfeh n 'a u e /SO kaos 771a th fe>c 7 9 6 9 V 74.4 P 455' 4 6 9