Abstract
The variety of guarded semigroups consists of all (S,·, ¯) where (S,·) is a semigroup and x ↦ \overline{x} is a unary operation subject to four additional equations relating it to multiplication. The semigroup Pfn(X) of all partial transformations on X is a guarded semigroup if x \overline{f} = x when xf is defined and is undefined otherwise. Every guarded semigroup is a subalgebra of Pfn(X) for some X. A covering theorem of McAlister type is obtained. Free guarded semigroups are constructed paralleling Scheiblich's construction of free inverse semigroups. The variety of banded semigroups has the same signature but different equations. There is a canonical forgetful functor from guarded semigroups to banded semigroups. A semigroup underlies a banded semigroup if and only if it is a split strong semilattice of right zero semigroups. Each banded semigroup S contains a canonical subsemilattice g⋆(S). For any given semilattice L, a construction to synthesize the general banded semigroup S with g⋆ ≅ L is obtained.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.