Power centralized semigroups. (Q862380)

Here are considered power centralized semigroups, i.e., semigroups \(S\) where for every \(x,y\in S\) there exists \(n=n(x,y)\) such that \(x^ny=yx^n\). It is shown that a power centralized semigroup is 0-simple iff it is a power centralized group with adjoined zero; a subdirectly irreducible power centralized semigroup with globally idempotent core (minimal ideal which is idempotent) is isomorphic either to a subdirectly irreducible power centralized group \(G\) or \(G^0\).