ВОПРОСЫ ТЕОРИИ ГРУПП И ПОЛУГРУПП 1972 г.

s ' -- , По"” В(рагр» 1 Яиост теоршя ~J<- рг* <^77 М Улвдствив « 5 , Теория ^ £ » " - д jc“°^ —> разрешив, «з доказательства следотвии 5. легко ееметitЬ, что — <<7, *> * - «•певь неразрешимости теории ,У( f • ф Пс*> ревев степени неразрешимости теории х/(^ ^ » о * * исследняя в силу теоремы в реви» етепеви Верверешиности 0 ;П м теории х / ( . гж, . легко поназать, что * Е ^ 0, п<~ степень неразрешимости теории f — рввяа степеня неразрешимости теории ^ « в последи*/ [в] разрешимо. Известно, что в свободной полугруппе Пrt ври О-'} 2 систем} рввевот» X, - Ч <VХ*= Уя можно заменить одни еиу эквивалентным в некотором смысле X, О, Х*)(, 0,,Хг- -УДУ,Ул^.Эго позволяет звав & опустить. Покажем, что злак V нельзя гаме "ить уравнением и той смысле, что не существует уравнения t*T/ X У0 , у t ^Q,,.„,QnJ- ^ тЯХ .ДД , Уя, О....... , 0 -У , р«иениями которого являотев «•«ори (X ,,х (/ У., У,у> “ ( х „ х ,, у ,, y j я только ови, где X,, Хд, У., У* — проязвольинв слова в алфавите / о , , .... Сг„ ) . Допуетии противное, т.е, что существует уравнение 'ЙХу.ДгДо.. л с Ф 1 Х У , X,, yt, f t ,,. , a j , ревеяиями которого яяляютоя вое возможные наборы