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

148 Таораа* в. Судаствуат алгоритм ,* 0 11 .рм! во а обо* формул* Ф S J оагаатурш 6 ^ огроат поаатллаум формулу ф “ ' A s ■мгватурк! такую, что ф ' т ,к ф истинна в* полугрупп* Пи Док-ю. Пусть ф ( Q * ' * * ) ^ ■стаяв* и П - ти m : V' ? \/( 4 <35/ < «/ ' 11 л :V *0 " ' 0.,- • $ >х»» , 0 , , - ^ , ^ а,. 4. . 4 У 1 V 0.. олугрупп* Н истинн* формул* I \ 4 & л ) . * = v t i j t * ; / * $ / ) ) ъ ° л , at q / q j , Отображай»* e f ; Qt -» й / О, »*д*«т ааоаорфаам п о л у г ­ руппы П„С в* полугруппу Н , тогд* / е м . /41 / формул* ф a c t иннв ■■ полугрупп* П— m и (« m > д а* ■ о л у г р у п п * Н истинна формул* у ~ Ч гд* С —это любо* и» ^ ' Пусть У, , . \ - L ^ч^и*лк»ч UyiH ф, , • K.J , — Ь « (<( н'п,)) - ъ к 1 н 4 % 1 >) ■ [ f * / _i “•трудно л е п е т а т ь , ч т о формул* Фу астанн* на полугрупп* П* п\ М л>.m ,к ф истинна ав Н. А- пврвмаван* фор- Е- нерамвави*