Regular semigroups weakly generated by one element

DOI10.1007/S00233-023-10389-4MaRDI QIDQ6145359zbMATH OpenOpenAlexFDO

Authors

Publication date 9 January 2024

Published in Semigroup Forum (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2302.08461

zbMATH Keywords

word problemregular semigroupweakly generated semigroup

Mathematics Subject Classification ID

Free semigroups, generators and relations, word problems (20M05) Regular semigroups (20M17)

Abstract: In this paper we study the regular semigroups weakly generated by a single element x, that is, with no proper regular subsemigroup containing x. We show there exists a regular semigroup $F_1$ weakly generated by x such that all other regular semigroups weakly generated by x are homomorphic images of $F_1$. We define $F_1$ using a presentation where both sets of generators and relations are infinite. Nevertheless, the word problem for this presentation is decidable. We describe a canonical form for the congruence classes given by this presentation, and explain how to obtain it. We end the paper studying the structure of $F_1$. In particular, we show that the `free regular semigroup $F{I}_2$ weakly generated by two idempotents "is isomorphic to a regular subsemigroup of $F_1$ weakly generated by {xx',x'x}.

Recommendations

• Regular semigroups weakly generated by set
• Regular semigroups weakly generated by idempotents
• On regularity and the word problem for free idempotent generated semigroups
• Finitely generated semigroups having presentation with regular congruence classes.
• On some presentations of completely regular semigroups

Cites work

• A new approach in the theory of orthodox semigroups
• Identities for existence varieties of regular semigroups
• On theories with a combinatorial definition of 'equivalence'
• Regular semigroups weakly generated by idempotents
• THE EXISTENCE OF E-FREE OBJECTS IN E-VARIETIES OF REGULAR SEMIGROUPS

Cited in

(1)

• Regular semigroups weakly generated by set

This page was built for publication: Regular semigroups weakly generated by one element

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6145359)