On the semigroup BωF\boldsymbol{B}_ω^{\mathscr{F}} which is generated by the family F\mathscr{F} of atomic subsets of ωω

preprint2023arXivOpen access

Abstract

We study the semigroup BωF\boldsymbol{B}_ω^{\mathscr{F}}, which is introduced in [O. Gutik and M. Mykhalenych, \emph{On some generalization of the bicyclic monoid}, Visnyk Lviv. Univ. Ser. Mech.-Mat. \textbf{90} (2020), 5--19], in the case when the family F\mathscr{F} of subsets of cardinality ⩽1\leqslant 1 in ωω. We show that BωF\boldsymbol{B}_ω^{\mathscr{F}} is isomorphic to the subsemigroup Bω↱(Fmin⁡)\mathscr{B}_ω^{\Rsh}(\boldsymbol{F}_{\min}) of the Brandt ωω-extension of the semilattice Fmin⁡\boldsymbol{F}_{\min} and describe all shift-continuous feebly compact T1T_1-topologies on the semigroup Bω↱(Fmin⁡)\mathscr{B}_ω^{\Rsh}(\boldsymbol{F}_{\min}). In particulary we prove that every shift-continuous feebly compact T1T_1-topology ττ on Bω↱(Fmin⁡)\mathscr{B}_ω^{\Rsh}(\boldsymbol{F}_{\min}) is compact and moreover in this case the space (Bω↱(Fmin⁡),τ)(\mathscr{B}_ω^{\Rsh}(\boldsymbol{F}_{\min}),τ) is homeomorphic to the one-point Alexandroff compactification of the discrete countable space D(ω)\mathfrak{D}(ω). We study the closure of BωF\boldsymbol{B}_ω^{\mathscr{F}} in a semitopological semigroup. In particularly we show that BωF\boldsymbol{B}_ω^{\mathscr{F}} is algebraically complete in the class of Hausdorff semitopological inverse semigroups with continuous inversion, and a Hausdorff topological inverse semigroup BωF\boldsymbol{B}_ω^{\mathscr{F}} is closed in any Hausdorff topological semigroup if and only if the band E(BωF)E(\boldsymbol{B}_ω^{\mathscr{F}}) is compact.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.