Free orthodox semigroups and free bands with inverse transversals.
A regular semigroup \(S\) has an inverse transversal if it contains an inverse subsemigroup \(S^0\) with the property that each element \(a\) of \(S\) has a unique inverse, which may be denoted \(a^0\), in \(S^0\). The author denotes the class of such semigroups -- which he terms ist-semigroups -- by \(\mathcal{IST}\). They were introduced by \textit{T. S. Blyth} and \textit{R. McFadden} [Proc. R. Soc. Edinb., Sect. A 92, 253-270 (1982; Zbl 0507.20026)]. The operation \(a\to a^0\) turns such semigroups into regular unary semigroups. In [Commun. Algebra 36, No. 7, 2487-2502 (2008; Zbl 1157.20036)] the author showed that \(\mathcal{IST}\) is definable within the variety of regular unary semigroups by the identities \((a^0b^0)^0=b^{00}a^{00}\), \(aa^0bb^0aa^0=aa^0bb^0\) and \(a^0ab^0ba^0a=b^0ba^0a\). Somewhat analogous to the concept of e-variety (or bivariety) of regular semigroups is that of an ist-variety: a class of ist-semigroups closed under homomorphic images, ist-subsemigroups and direct products. For example, the orthodox ist-semigroups form an ist-variety. In this paper, the author introduces a concept of freeness, analogous to the e-free (or bifree) property in e-varieties, and then constructs the orthodox ist-semigroups that are free in this fashion. It is notable that their inverse transversals are free inverse semigroups. He also constructs the ist-bands that are free in this fashion. There remain interesting avenues of research to pursue along these lines.
- Words on free bands with inverse transversals.
- Relatively free *-bands
- Restriction and Ehresmann semigroups.
- Semigroups and ordered categories. I: The reduced case
- Free strict inverse semigroups
- Free Objects in Joins of Strict Inverse and Completely Simple Semigroup Varieties
- JOINS OF INVERSE SEMIGROUP VARIETIES AND BAND VARIETIES
- On *-bands and their varieties.
- The join of the varieties of strict inverse Semigroups and rectangular bands
- The proof and the generalization of Higgins' theorem of divisors of semigroups of order-preserving mappings
- A CLASSIFICATION OF INVERSE TRANSVERSALS
- A new approach in the theory of orthodox semigroups
- A note on regular semigroups with inverse transversals
- Abundant Semigroups with Q-adequate Transversals and Some of Their Special Cases
- Congruences on regular semigroups with inverse transversals*
- Construction of regular semigroups with inverse transversals
- scientific article; zbMATH DE number 3787077 (Why is no real title available?)
- scientific article; zbMATH DE number 930759 (Why is no real title available?)
- Identities for a Class of Regular Unary Semigroups
- Identities for existence varieties of regular semigroups
- INVERSE TRANSVERSALS ARE MUTUALLY ISOMORPHIC
- LRT-biordered sets.
- Naturally ordered regular semigroups with a greatest idempotent
- Quasi-orthodox semigroups with inverse transversals
- Regular semigroups with a multiplicative inverse transversal
- REGULAR SEMIGROUPS WITH INVERSE TRANSVERSALS
- Regular semigroups with inverse transversals
- Split orthodox semigroups
This page was built for publication: Free orthodox semigroups and free bands with inverse transversals.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q625904)
