Regular semigroups weakly generated by one element

DOI10.1007/S00233-023-10389-4zbMATH Open1530.20190arXiv2302.08461OpenAlexW4387540945MaRDI QIDQ6145359FDOQ6145359

Authors:

Publication date: 9 January 2024

Published in: Semigroup Forum (Search for Journal in Brave)

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}.

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

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

zbMATH Keywords

word problemregular semigroupweakly generated semigroup

Mathematics Subject Classification ID

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

Cites Work

• On theories with a combinatorial definition of 'equivalence'
• A new approach in the theory of orthodox semigroups
• Identities for existence varieties of regular semigroups
• 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)