Изоморфизм полугруппы и множества правых нулей

[GlobalMiwka]

Они эквивалентны $\forall x\in K(xa=xb)\Leftrightarrow \forall \varphi_x(\varphi_a\varphi_x=\varphi_b\varphi_x)$, где $a\rightarrow \varphi_a,x\rightarrow(\varphi_x\colon K\rightarrow x)$ у нас ведь изоморфизм. Эквивалентны $\varphi_a(x)\Leftrightarrow \varphi_a\varphi_x$

$\forall x\in K(xa=\varphi_a(x))$ - это второе условие изоморфизма по условию задачи.

[george66]

Посмотрите второе условие - есть ли в нём буква $\varphi$?

[GlobalMiwka]

В нем есть буква альфа $\forall x\in K(xa=x\alpha)$. Разница-то какая $\varphi,\alpha$ или $\gamma$