On power commutative semigroups (Q1184166)

A semigroup \(S\) is called power commutative if \(S\) satisfies the equation \((xy)^ n=(yx)^ n\) for some positive integer \(n\). Finite power commutative semigroups, which form a pseudovariety, are characterized in 7 equivalent ways including finite semigroups which are semilattices of unipotent semigroups, and those semigroups in which every regular \({\mathcal D}\)-class is a group. It is proved that the pseudovariety of power commutative semigroups strictly contains the join of the pseudovarieties of \({\mathcal J}\)-trivial semigroups and groups, but is equal to \(G^{-1}J\), the pseudovariety of finite semigroups \(S\) such that there is a relational morphism \(\varphi\) from \(S\) to a finite aperiodic semigroup \(T\) (in \(J\)) such that the inverse image of each subgroup of \(T\) is a subgroup of \(S\).