On a problem of M. Kambites regarding abundant semigroups
Abstract
A semigroup is \emph{regular} if it contains at least one idempotent in each -class and in each -class. A regular semigroup is \emph{inverse} if satisfies either of the following equivalent conditions: (i) there is a unique idempotent in each -class and in each -class, or (ii) the idempotents commute. Analogously, a semigroup is \emph{abundant} if it contains at least one idempotent in each -class and in each -class. An abundant semigroup is \emph{adequate} if its idempotents commute. In adequate semigroups, there is a unique idempotent in each and -class. M. Kambites raised the question of the converse: in a finite abundant semigroup such that there is a unique idempotent in each and -class, must the idempotents commute? In this note we use ideal extensions to provide a negative answer to this question.
Cite
@article{arxiv.1006.3677,
title = {On a problem of M. Kambites regarding abundant semigroups},
author = {Joao Araujo and Michael Kinyon},
journal= {arXiv preprint arXiv:1006.3677},
year = {2011}
}
Comments
V2: Revised after referee caught an error with the construction of examples of order > 4. Includes new correct constructions, and a new conjecture (along with computational evidence). V3: to appear in Comm. Algebra