On topological McAlister semigroups

DOI10.1016/J.JPAA.2022.107274zbMATH Open1506.22004arXiv2103.03301OpenAlexW3135846821MaRDI QIDQ2104899FDOQ2104899

Authors: S. Bardyla 

Publication date: 8 December 2022

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: In this paper we consider McAlister semigroups over arbitrary cardinals and investigate their algebraic and topological properties. We show that the group of automorphisms of a McAlister semigroup $mathcal{M}_{lambda}$ is isomorphic to the direct product $Sym(lambda)imesmathbb{Z}_2$, where $Sym(lambda)$ is the group of permutations of the cardinal $lambda$. This fact correlates with the result of Mashevitzky, Schein and Zhitomirski which states that the group of automorphisms of the free inverse semigroup over a cardinal $lambda$ is isomorphic to the wreath product of $Sym(lambda)$ and $mathbb{Z}_2$. Each McAlister semigroup admits a compact semigroup topology. Consequently, the Green's relations $mathscrD$ and $mathscrJ$ coincide in McAlister semigroups. The latter fact complements results of Lawson. We showed that each non-zero element of a Hausdorff semitopological McAlister semigroup is isolated. This fact is an analogue of the result of Mesyan, Mitchell, Morayne and P'{e}resse, who proved that each non-zero element of Hausdorff topological polycyclic monoid is isolated. Also, it follows that the free inverse semigroup over a singleton admits only the discrete Hausdorff shift-continuous topology. We proved that a Hausdorff locally compact semitopological semigroup $mathcal{M}_1$ is either compact or discrete. This fact is similar to the result of Gutik, who showed that a Hausdorff locally compact semitopological polycyclic monoid $mathcal{P}_1$ is either compact or discrete. However, this dichotomy does not hold for the semigroup $mathcal{M}_2$. Moreover, $mathcal{M}_2$ admits continuum many different Hausdorff locally compact inverse semigroup topologies.

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

Recommendations

• On locally compact semitopological graph inverse semigroups
• On a semitopological extended bicyclic semigroup with adjoined zero
• On semitopological symmetric inverse semigroups of a bounded finite rank
• On locally compact semitopological O-bisimple inverse \(\omega\)-semigroups
• On topological semigroups of matrix units

zbMATH Keywords

automorphismsemitopological semigrouplocally compact semigroupMcAlister semigroups

Mathematics Subject Classification ID

Structure of topological semigroups (22A15) Inverse semigroups (20M18)

Cites Work

• Set theory. An introduction to independence proofs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Strong representations of the polycyclic inverse monoids: cycles and atoms.
• Title not available (Why is that?)
• The Polycyclic MonoidsP_nand the Thompson GroupsV_n,1
• Primitive partial permutation representations of the polycyclic monoids and branching function systems.
• Topological graph inverse semigroups
• On a semitopological polycyclic monoid
• Title not available (Why is that?)
• On the Closure of the Bicyclic Semigroup
• Automorphisms of the endomorphism semigroup of a free monoid or a free semigroup
• Automorphisms of the Endomorphism Semigroup of a Free Inverse Semigroup
• A new construction for free inverse semigroups.
• On countably compact 0-simple topological inverse semigroups
• Stability in semigroups
• Embedding the bicyclic semigroup into countably compact topological semigroups
• Swelling actions of \(\Gamma\)-compact semigroups
• Title not available (Why is that?)
• Some Results on Stability in Semigroups
• McAlister semigroups
• Inverse Semigroups Which are Separated Over a Subsemigroup
• On locally compact topological graph inverse semigroups
• On universal objects in the class of graph inverse semigroups
• A Parametrization of the Irreducible Representations of a Compact Inverse Semigroup
• The Polycyclic Inverse Monoids and the Thompson Groups Revisited

Cited In (4)

• On a semitopological semigroup \(\boldsymbol{B}_{\omega}^{\mathscr{F}}\) when a family \(\mathscr{F}\) consists of inductive non-empty subsets of \(\omega \)
• Hausdorff topologies on the \(\alpha\)-bicyclic semigroup
• Mackey groups and Mackey topologies
• On a locally compact monoid of cofinite partial isometries of \(\mathbb{N}\) with adjoined zero

This page was built for publication: On topological McAlister semigroups

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