Abstract
In this paper we initiate the study of aleph _0-categorical semigroups, where a countable semigroup S is aleph _0-categorical if, for any natural number n, the action of its group of automorphisms {text {Aut}}(S) on S^n has only finitely many orbits. We show that aleph _0-categoricity transfers to certain important substructures such as maximal subgroups and principal factors. We examine the relationship between aleph _0-categoricity and a number of semigroup and monoid constructions, namely Brandt semigroups, direct sums, 0-direct unions, semidirect products and {mathcal {P}}-semigroups. As a corollary, we determine the aleph _0-categoricity of an E-unitary inverse semigroup with finite semilattice of idempotents in terms of that of the maximal group homomorphic image.
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.