English

On locally compact shift continuous topologies on the semigroup $\boldsymbol{B}_{[0,\infty)}$ with an adjoined compact ideal

Group Theory 2024-01-15 v1 General Topology

Abstract

Let B[0,)\boldsymbol{B}_{[0,\infty)} be the semigroup which is defined in the Ahre paper \cite{Ahre=1981}. The semigroup B[0,)\boldsymbol{B}_{[0,\infty)} with the induced usual topology τu\tau_u from R2\mathbb{R}^2, with the topology τL\tau_L which is generated by the natural partial order on B[0,)\boldsymbol{B}_{[0,\infty)}, and the discrete topology are denoted by B[0,)1\boldsymbol{B}^1_{[0,\infty)}, B[0,)2\boldsymbol{B}^2_{[0,\infty)}, and B[0,)d\boldsymbol{B}^{\mathfrak{d}}_{[0,\infty)}, respectively. We show that if S1IS_1^I (S2IS_2^I) is a Hausdorff locally compact semitopological semigroup B[0,)1\boldsymbol{B}^1_{[0,\infty)} (B[0,)2\boldsymbol{B}^2_{[0,\infty)}) with an adjoined compact ideal II then either II is an open subset of S1IS_1^I (S2IS_2^I) or the semigroup S1IS_1^I (S2IS_2^I) is compact. Also, we proved that if SdIS_{\mathfrak{d}}^I is a Hausdorff locally compact semitopological semigroup B[0,)d\boldsymbol{B}^{\mathfrak{d}}_{[0,\infty)} with an adjoined compact ideal II then II is an open subset of SdIS_{\mathfrak{d}}^I.

Keywords

Cite

@article{arxiv.2401.06636,
  title  = {On locally compact shift continuous topologies on the semigroup $\boldsymbol{B}_{[0,\infty)}$ with an adjoined compact ideal},
  author = {Oleg Gutik and Markian Khylynskyi},
  journal= {arXiv preprint arXiv:2401.06636},
  year   = {2024}
}

Comments

10 pages