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

151 й» теораы о,9, аеие Кения в твоим * Ь **г*о подучаем.' Т*ор«м| Ц . Сумствуат алгоритм, который по авбой форму,,* сигнатуры u« исключается случв» п очj строит формулу иоаит ивнуо ф / $игаатури 6 ^ теку», что формуле ф встмиыв яа полугрупп* П„ о, „ форыуд» фх* истинна нв полугрупп* | | й . Upu 4 ** t , J фориуда ф с одараит свободны* иарЙйш* jf7, ,jT,* / ■ т о л ь к о и^ф-ф/ л} , , , и„ ) > в у _ ИЦ| но* в л о яа а а * полугруппы | 1 « в и о* у;»у п иу П* , то Формула Ф j тон* сод*рант свободны* пари iU* г ■, $>*. * ТОЛЬКО Н*^ и ДЛЯ ЛВбы* Obi О . Я» полугруппы П „ формула Ф ) вот няне ва полугрупп* П„ г* и т п\ , м f формул* tyi(v£\- , у fK) / истинна на полугрупп* л* . Док 'НО , ф М , )т(0.%) (О? Ч' * / ' 7 ‘ V % 4 k L j < V * <4 . f j , * / V а,, о.,( it , Ч ' • ( * 1 1 ) Ч 0,; * Я. %} н , , Ч ? .. - , с* , й .