Epigroups in which the operation of taking pseudo-inverse is an endomorphism. (Q2447252)

A semigroup \(S\) is said to be an epigroup if every subsemigroup of \(S\) has a non-empty intersection with a subgroup of \(S\). Epigroups can be considered as unary semigroups under the unary operation of taking so-called pseudo-inverse \(x\mapsto\overline x\). The author characterizes epigroups satisfying the identity \(\overline{xy}=\overline x\cdot\overline y\) in the language of forbidden divisors, thus solving a problem raised by \textit{L. N. Shevrin} [Russ. Acad. Sci., Sb., Math. 82, No. 2, 485-512 (1995); translation from Mat. Sb. 185, No. 7, 129-160 (1994; Zbl 0839.20073)].