On the semigroup \boldsymbol{B}_{\omega}^{\mathscr{F}_n}, which is generated by the family \mathscr{F}_n of finite bounded intervals of \omega

DOI10.15330/CMP.15.2.331-355arXiv2208.09155OpenAlexW4385703295MaRDI QIDQ6145262FDOQ6145262

Authors: O. Gutik 

Publication date: 31 January 2024

Published in: Carpathian Mathematical Publications (Search for Journal in Brave)

Abstract: We study the semigroup $$, which is introduced in the paper [O. Gutik and M. Mykhalenych, emph{On some generalization of the bicyclic monoid}, Visnyk Lviv. Univ. Ser. Mech.-Mat. extbf{90} (2020), 5--19 (in Ukrainian)], in the case when the family $mathscr{F}_n$ generated by the set $0,1,ldots,n$. We show that the Green relations $mathscrD$ and $mathscrJ$ coincide in $$, the semigroup $$ is isomorphic to the semigroup $mathscr{I}_{o}meg{a}^{n+1}(overrightarrowmathrmconv)$ of partial convex order isomorphisms of $(omega,leqslant)$ of the rank $leqslantn+1$, and $$ admits only Rees congruences. Also, we study shift-continuous topologies on the semigroup $$. In particular we prove that for any shift-continuous $T_1$-topology $au$ on the semigroup $$ every non-zero element of $$ is an isolated point of $$, $$ admits the unique compact shift-continuous $T_1$-topology, and every $omeg{a}_{mathfrakd}$-compact shift-continuous $T_1$-topology is compact. We describe the closure of the semigroup $$ in a Hausdorff semitopological semigroup and prove the criterium when a topological inverse semigroup $$ is $H$-closed in the class of Hausdorff topological semigroups.

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

Recommendations

• On the semigroup B^F_omega which is generated by the family F of atomic subsets of omega
• On a semitopological semigroup \(\boldsymbol{B}_{\omega}^{\mathscr{F}}\) when a family \(\mathscr{F}\) consists of inductive non-empty subsets of \(\omega \)
• On feebly compact topologies on the semigroup \(\mathbb{B}_{\omega}^{\mathfrak{F_1}}\).
• On locally compact shift continuous topologies on the semigroup \(\boldsymbol{B}_{[0,\infty)}\) with an adjoined compact ideal
• On group congruences on the semigroup \(\mathbf{B}^{\mathfrak{F}}_{\omega}\) and its homomorphic retracts in the case when the family \(\mathfrak F\) consists of inductive non-empty subsets of \(\omega\).

zbMATH Keywords

compactnessclosuretopological semigroupinverse semigroupsemitopological semigroupbicyclic monoidRees congruencebicyclic extension\( \omega_{\mathfrak{d}} \)-compactness

Mathematics Subject Classification ID

Semigroups of transformations, relations, partitions, etc. (20M20) Ideal theory for semigroups (20M12) Representation of semigroups; actions of semigroups on sets (20M30) Structure of topological semigroups (22A15) Compactness (54D30) Transformation groups and semigroups (topological aspects) (54H15) Inverse semigroups (20M18)

Cites Work

• Topological monoids of almost monotone injective co-finite partial selfmaps of the set of positive integers
• On inverse submonoids of the monoid of almost monotone injective co-finite partial selfmaps of positive integers
• On the closure of the extended bicyclic semigroup
• On a complete topological inverse polycyclic monoid

Cited In (1)

• On the semigroup B^F_omega which is generated by the family F of atomic subsets of omega

This page was built for publication: On the semigroup $\boldsymbol{B}_{\omega}^{\mathscr{F}_n}$, which is generated by the family $\mathscr{F}_n$ of finite bounded intervals of $\omega$

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