Beyond regular semigroups

The aim of this paper is to study weakly $$U$$U-regular semigroups, a wide class containing all regular semigroups and all abundant semigroups with a regular biordered set of idempotents. Here $$U$$U is a regular biordered set. To do this, we introduce the notions of an RBS category and a weakly regular category over a regular biordered set. We show that the category of weakly $$U$$U-regular semigroups and admissible morphisms is equivalent to the category of weakly regular categories and RBS functors. Our method arises from Nambooripad’s work on the connection between regular biordered sets and regular semigroups. However, there are completely different techniques, the first being the introduction of RBS categories and the second being that it is more convenient to investigate (RBS) categories equipped with pre-orders, rather than with partial orders. A special case of our work is the class of weakly $$U$$U-orthodox semigroups, that is, weakly $$U$$U-regular semigroups with $$U$$U a band, characterised in an earlier article by the author using generalised categories equipped with pre-orders. Our result may be regarded as an extension of Armstrong’s work on concordant semigroups in the abundant case.

[2]  J. von Neumann,et al.  On Regular Rings. , 1936, Proceedings of the National Academy of Sciences of the United States of America.

[3]  Gracinda M. S. Gomes,et al.  Membership of A ∨ G for classes of finite weakly abundant semigroups , 2009, Period. Math. Hung..

[4]  S. Lane Categories for the Working Mathematician , 1971 .

[6]  K. Nambooripad Structure of regular semigroups , 1979 .

[7]  J. Howie An introduction to semigroup theory , 1976 .

[8]  T. Hall On regular semigroups whose idempotents form a subsemigroup , 1969, Bulletin of the Australian Mathematical Society.

[10]  Miyuki Yamada,et al.  Regular semi-groups whose idempotents satisfy permutation identities. , 1967 .

[11]  J. Howie The Maximum Idempotent-Separating Congruence on an Inverse Semigroup , 1964, Proceedings of the Edinburgh Mathematical Society.

[12]  On Superabundant Semigroups Whose Set of Idempotents Forms a Subsemigroup , 2007 .

[13]  Fundamental semigroups having a band of idempotents , 2008 .

[14]  K. Nambooripad Structure of regular semigroups, I fundamental regular semigroups , 1974 .

[15]  A. Mikhalev,et al.  Monoids, Acts and Categories: With Applications to Wreath Products and Graphs. A Handbook for Students and Researchers , 2011 .

[16]  Gracinda M. S. Gomes,et al.  The Free AMPLE Monoid , 2009, Int. J. Algebra Comput..

[17]  Fundamental Representations for Classes of Semigroups Containing a Band of Idempotents , 2008 .

[18]  On the Theory of Inverse Semigroups and Generalised Grouds , 1979 .

[19]  S. Maclane,et al.  General theory of natural equivalences , 1945 .

[20]  UNIFORM SEMILATTICES AND BISIMPLE INVERSE SEMIGROUPS , 1966 .

[21]  K. Nambooripad,et al.  Subdirect products of regular semigroups , 1983 .

[22]  J. Meakin On the structure of inverse semigroups , 1976 .

[23]  Luo Min-xia,et al.  On + - Abundant Semigroups , 2002 .

[24]  J. Howie Fundamentals of semigroup theory , 1995 .

[25]  Structure of concordant semigroups , 1988 .

[26]  K. Shum,et al.  ON LOCALLY EHRESMANN SEMIGROUPS , 2011 .

[27]  The structure mappings on a regular semigroup , 1978 .

[28]  David Easdown,et al.  Biordered Sets Come from Semigroups , 1985 .

[29]  M. Lawson Semigroups and Ordered Categories. I. The Reduced Case , 1991 .

[30]  Structure theorems for weakly B-abundant semigroups , 2012 .

[31]  M. Lawson Rees matrix semigroups , 1990, Proceedings of the Edinburgh Mathematical Society.

[32]  N. Reilly,et al.  Congruences on regular semigroups. , 1967 .

[33]  Yanhui Wang Weakly $$B$$B-orthodox semigroups , 2014, Period. Math. Hung..

[34]  On Uσ-Abundant Semigroups , 2012 .

[35]  Idempotent-connected abundant semigroups , 1981 .

[36]  J. W. Hogan The α-bicyclic semigroup as a topological semigroup , 1984 .

[38]  Fundamental Ehresmann semigroups , 2001 .

[39]  Idempotent bounded C-semigroups , 1994 .

[40]  S Armstrong The structure of type a semigroups , 1984 .

[41]  A generalized Clifford theorem of semigroups , 2010 .

[42]  Quasi-adequate semigroups , 1981 .

[43]  Christopher D. Hollings,et al.  Partial Actions of Monoids , 2007 .