On the closure of the extended bicyclic semigroup

zbMATH Open1404.22006arXiv1201.0090MaRDI QIDQ2941897FDOQ2941897

Authors: Iryna Fihel, O. Gutik 

Publication date: 26 August 2015

Abstract: In the paper we study the semigroup $mathscr{C}_{mathbbZ}$ which is a generalization of the bicyclic semigroup. We describe main algebraic properties of the semigroup $mathscr{C}_{mathbbZ}$ and prove that every non-trivial congruence $mathfrakC$ on the semigroup $mathscr{C}_{mathbbZ}$ is a group congruence, and moreover the quotient semigroup $mathscr{C}_{mathbbZ}/mathfrakC$ is isomorphic to a cyclic group. Also we show that the semigroup $mathscr{C}_{mathbbZ}$ as a Hausdorff semitopological semigroup admits only the discrete topology. Next we study the closure $operatorname{cl}_T(mathscr{C}_{mathbbZ})$ of the semigroup $mathscr{C}_{mathbbZ}$ in a topological semigroup $T$. We show that the non-empty remainder of $mathscr{C}_{mathbbZ}$ in a topological inverse semigroup $T$ consists of a group of units $H(1_T)$ of $T$ and a two-sided ideal $I$ of $T$ in the case when $H(1_T)eqvarnothing$ and $Ieqvarnothing$. In the case when $T$ is a locally compact topological inverse semigroup and $Ieqvarnothing$ we prove that an ideal $I$ is topologically isomorphic to the discrete additive group of integers and describe the topology on the subsemigroup $mathscr{C}_{mathbbZ}cupI$. Also we show that if the group of units $H(1_T)$ of the semigroup $T$ is non-empty, then $H(1_T)$ is either singleton or $H(1_T)$ is topologically isomorphic to the discrete additive group of integers.

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

Recommendations

• On a semitopological extended bicyclic semigroup with adjoined zero
• On the closure of \(B^ 2_{(-\infty,\infty)}\)
• On closures in semitopological inverse semigroups with continuous inversion
• On a semitopological semigroup \(\boldsymbol{B}_{\omega}^{\mathscr{F}}\) when a family \(\mathscr{F}\) consists of inductive non-empty subsets of \(\omega \)
• On the closure of \(B^ 1_{[0,\infty)}\)

Mathematics Subject Classification ID

Semigroups of transformations, relations, partitions, etc. (20M20) Structure of topological semigroups (22A15) Transformation groups and semigroups (topological aspects) (54H15) Inverse semigroups (20M18)

Cited In (13)

• The monoid of order isomorphisms between principal filters of \(\mathbb{N}^n\)
• On the semigroup $\boldsymbol{B}_{\omega}^{\mathscr{F}_n}$, which is generated by the family $\mathscr{F}_n$ of finite bounded intervals of $\omega$
• On some generalization of the bicyclic semigroup: the topological version
• Title not available (Why is that?)
• On inverse submonoids of the monoid of almost monotone injective co-finite partial selfmaps of positive integers
• On the group of automorphisms of the semigroup \(\mathbf{B}_{\mathbb{Z}}^{\mathscr{F}}\) with the family \(\mathscr{F}\) of inductive nonempty subsets of \(\omega\)
• On locally compact semitopological O-bisimple inverse \(\omega\)-semigroups
• Characterizing categorically closed commutative semigroups
• On a semitopological extended bicyclic semigroup with adjoined zero
• The Munn semigroup \(T_{\mathbb Z}\).
• On a semigroup generated by the extended bicyclic semigroup and the \(\omega \)-closed family
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: On the closure of the extended bicyclic semigroup

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