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

I (Уь- - Vp) f 01 f* <* f" f" ,i- Ф,(Н, , Vf) (0ТИНЯ8 B( полугруппа £?; ,Vr ) t d mi* I» ' к . tyg(Vi, Ур ) нативна ва полугруппа С таккан для юах (К, ,\£|£°W« , ю , очевидно,на С истинна формула Нуать 0, , , 0„, — l e a образующие аолугруппи С , Встречвющиеоя 1 качестве конствит в Ф,(*„■ ■ ■ , V или в Ф * / * .,- Л ? ) . на полугруппа С , очавндно^истинна формула ф, (о<.„ й* , г ) V v/ ф * Н0 ,0rM "РВ Ивтотором < ( Ы , а ) нв полугруппе С истинна формула , Qm*f> ) . Пусть X. , - - — любив олова полугрупин Q . Определим отобрвжавиа у у> О, & О, при t ПрИ V' +i - * * *»*P u У4 ^ °i-f гфи. << . Т$?)П 1 олугруппв Q оврбодиа относитально сбрваующих ^ - 1 ° ‘ > ■ , ° л , Л » то f продолжаемо- до гомоморфима Q в себя, который тоже Судам обозначить черев tf. Нетрудно ааыетить/г.к. каждый образующий при этом гомомсрфнаме пляетоя обрезом некоторого олова, даже образующего/'' что ^р-гомоморфиам полугруппы С на себя. Кроме того, I f толлественен относительно конставт формулы ф{ С От* 1 , ) • Г°где известно, что т.к . ф((Си„, ) истинна не полугруппе Q ,то на полугруппе G истинна и такая формула Ф4(Х,, . , ) ( > ) /ом. напримерШ / ТйкТ^. , — проиавольнм* олова полугруппы С , т* на полугруппе С истинна формуле (А*,...%р) Ф, , Т ? ) , ьсли < = 2 , то>очавидно^ <* — пусто, асли i - i . ,