Ученые записки математических кафедр вып. 1970 г.

Затем проверяем, пользуясь алгоритмом для решения проблемы тождества слов',' выполнено лн в полугруппе П^ равенство у ; fл = ^ *. • h Если Г, (<f,(éi)) = ii в /7, для всех *; то заключаем1^ что полугруппы /7, И изоморфны. Если же (ii)) / Л в nt Vто проверяем, выполнено лм равенство % (У, (¿¿)) = 4 в /7У для всех t Если да'; то полугруппы üi и /7* изоморфны. Если же (^(^¿))^ ¿i в /7, то проверяем; выполнено ли равенство (V, (¿ü) = ii в П для всех I *' к т.д. Если среди У',, . ■, 4't есть гомоморфизм1, удовлетворявший наиеиу требований, то искомый изоморфизм найден. Впротивном случае берем гомоморфизм VI и проверяем,’ выполне­ но или равенство '/i ('/’¡.(fi)) - 6i в Пi мя всех ¿ иди нет. Если выполнено; то искомнйпзоиорфизмвайден; в противном случае проверяем”, выполнено ли равенство У* (iü) - &С для всех • i \ я т.д. Если среди гомоморфизмов Уу , . . . , Ÿt суиествует такой V < что Ÿj (Ч’г (&i)) : $i * для всех ^ ^ то искомый изоморфизм найден, в противном случав проверяем, выполнено ли равенство (% (■&<■)) - h для всех i V ит.д. Если среди гоиоморфизмов V/ , , V4 , суиествует хотя быодна пара гомоморфизмов У* н V/j ' такая; что выполнено равенство в П, i \ то заключаем1, что полугруппы /7 , и /7г для всех