Vítor Hugo Fernandes

The notion of the Abelian kernel of a finite monoid is a generalization of that of the derived subgroup of a finite group. A monoid $M$ is then called solvable if its chain of Abelian kernels terminates with the submonoid of $M$ generated by its idempotents. The main result of this paper is that the finite idempotent commuting monoids bearing this property are precisely those whose subgroups are solvable. In particular any finite aperiodic monoid is Abelian-solvable in this sense. A generalization of the main result of this paper has been published [in Int. J. Algebra Comput. 14, No. 5-6, 655-665 (2004; Zbl 1081.20067)] by the authors and ıt S. Margolis and ıt B. Steinberg.

In this short note we construct an extension of the Vagner-Preston representation for block-groups and show that its kernel is the largest congruence that separates regular elements.