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

- 1 2 8 - Руоть V , Va — любы* ело** в алфавит* V, 1 А„ , ч т о X. • V,= X, X, . нвйд*м Твкм X,, л К,у,. ,У„ * и З Ж й и й О, % - У, Ч, а А„ , г г. , - ’ я" • тог*в • «и у рала* доказанного формула И А,У X, У . О, ) ( | значит, в формул* V,= X, X, A V£ Ч !/„ <$ I А,,*'*, У , О,) астанаа на полугр;пп* А0 Тк V, Ф V# ■ иолуг- рупп* Art « * 0 ^очевидно, на йд * т * я те вов < , что X, ва равно У, , но т.к . X. и У. стаивнв 0. , те аевдатая тввоа Z , что X,г У 0, А V У ГХ, а, 2, fH0 тогда^ очавмдво^формул* &„(\/,, V%) мстмвн* ва ПОЛугруОО* Ап • спи в,,(И, миьинцл. ЦЬ /|А-.^ /им4, Н8Идам таки* X,, Хп.У., , У„, 1 , г**> У*Х, ...X/. , У, У., jU* Д* i ( Anlh4i,Q<) t вствнна .1 ва ш у у ц полугрупп* Ап , а значит, для вс*д t Х( и У, стапани О, > но ори в*которои ■<» лябо X/. = Ч. 0.. Z./wSe Ч, - X,. О,.Z. , во тогда натрудив и м и » , что у, ва равно 1/4 в полугрупп* А« Т*ор*ма 4. Оуц«отву*т алгоритм, который для любой формул* ф(*|, . /? > узкого исчиолаяия прадикатов о равенством еягв*> турн б^п строит позитивную формулу ФЛ[(У. . ) 8 тами х* саны мм свободный* параманаымв У., , У/> теку*, что для любых слов V , , , Vp в алфавита У , ф ( / , иотивив ва полугрупп* ,4„ г» и о. т ,к Формула фд‘ ( г , , yf ) иотивма ва полугрупп* Ап