Abstract
This paper introduces a notion of presentation for locally inverse semigroups and develops a graph structure to describe the elements of locally inverse semigroups given by these presentations. These graphs will have a role similar to the role that Cayley graphs have for group presentations or that Schützenberger graphs have for inverse monoid presentations. However, our graphs have considerable differences with the latter two, even though locally inverse semigroups generalize both groups and inverse semigroups. For example, the graphs introduced here are not ‘inverse word graphs’. Instead, they are bipartite graphs with both oriented and non-oriented edges, and with labels on the oriented edges only. A byproduct of the theory developed here is the introduction of a graphical method for dealing with general locally inverse semigroups. These graphs are able to describe, for a locally inverse semigroup given by a presentation, many of the usual concepts used to study the structure of semigroups, such as the idempotents, the inverses of an element, the Green’s relations, and the natural partial order. Finally, the paper ends characterizing the semigroups belonging to some usual subclasses of locally inverse semigroups in terms of properties on these graphs.
Similar content being viewed by others
References
Auinger, K.: The bifree locally inverse semigroup on a set. J. Algebra 166, 630–650 (1994)
Auinger, K.: On the bifree locally inverse semigroup. J. Algebra 178, 581–613 (1995)
Billhardt, B.: Bifree locally inverse semigroups as expansions. J. Algebra 283, 505–521 (2005)
Byleen, K., Meakin, J., Pastijn, F.: The fundamental four-spiral semigroup. J. Algebra 54, 6–26 (1978)
Graham, R.L.: On finite 0-simple semigroups and graph theory. Math. Syst. Theory 2, 325–339 (1968)
Hall, T.: Identities for existence varieties of regular semigroups. Bull. Austral. Math. Soc. 40, 59–77 (1989)
Houghton, C.H.: Completely 0-simple semigroups and their associated graphs and groups. Semigroup Forum 14, 41–67 (1977)
Howie, J.: Fundamentals of Semigroups Theory. Clarendon Press, Oxford (1995)
Kad’ourek, J., Szendrei, M.B.: A new approach in the theory of orthodox semigroups. Semigroup Forum 40, 257–296 (1990)
Munn, W.D.: Free inverse semigroups. Proc. London Math. Soc. 29, 385–404 (1974)
Nambooripad, K.S.S.: Pseudo-semilattices and biordered sets I. Simon Stevin 55, 103–110 (1981)
Newman, M.H.A.: On theories with a combinatorial definition of equivalence. Ann. Math. 43(2), 223–243 (1942)
Oliveira, L.: A Munn tree type representation for the elements of the bifree locally inverse semigroup. Monatsh. Math. 183, 653–678 (2017)
Reilly, N.: Bipartite graphs and completely 0-simple semigroups. Semigroup Forum 84, 176–199 (2012)
Scheiblich, H.: Free inverse semigroups. Semigroup Forum 4, 351–359 (1972)
Scheiblich, H.: Free inverse semigroups. Proc. Amer. Math. Soc. 38, 1–7 (1973)
Stephen, J.B.: Presentations of inverse semigroups. J. Pure Appl. Algebra 63, 81–112 (1990)
Yeh, Y.T.: The existence of e-free objects in e-varieties of regular semigroups. J. Algebra 164, 471–484 (1992)
Acknowledgements
This work was partially supported by CMUP (UID/ MAT/00144/2019), which is funded by FCT with national (MCTES) and European structural funds through the programs FEDER, under the partnership agreement PT2020.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Victoria Gould.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Oliveira, L. A combinatorial approach to the structure of locally inverse semigroups. Semigroup Forum 103, 575–621 (2021). https://doi.org/10.1007/s00233-021-10203-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233-021-10203-z