English

On a problem of M. Kambites regarding abundant semigroups

Group Theory 2011-08-19 v3

Abstract

A semigroup is \emph{regular} if it contains at least one idempotent in each R\mathcal{R}-class and in each L\mathcal{L}-class. A regular semigroup is \emph{inverse} if satisfies either of the following equivalent conditions: (i) there is a unique idempotent in each R\mathcal{R}-class and in each L\mathcal{L}-class, or (ii) the idempotents commute. Analogously, a semigroup is \emph{abundant} if it contains at least one idempotent in each R\mathcal{R}^*-class and in each L\mathcal{L}^*-class. An abundant semigroup is \emph{adequate} if its idempotents commute. In adequate semigroups, there is a unique idempotent in each R\mathcal{R}^* and L\mathcal{L}^*-class. M. Kambites raised the question of the converse: in a finite abundant semigroup such that there is a unique idempotent in each R\mathcal{R}^* and L\mathcal{L}^*-class, must the idempotents commute? In this note we use ideal extensions to provide a negative answer to this question.

Keywords

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

R2 v1 2026-06-21T15:38:08.646Z