On the monoid of cofinite partial isometries of $\mathbb{N}$ with a bounded finite noise
Олег Гутік, Pavlo Khylynskyi · arXiv (Cornell University) · 2021
In the paper we study algebraic properties of the monoid $\mathbf{I}\mathbb{N}_{\infty}^{\boldsymbol{g}[j]}$ of cofinite partial isometries of the set of positive integers $\mathbb{N}$ with the bounded finite noise $j$. For the monoids $\mathbf{I}\mathbb{N}_{\infty}^{\boldsymbol{g}[j]}$ we prove counterparts of some classical results of Eberhart and Selden describing the closure of the bicyclic semigroup in a locally compact topological inverse semigroup. In particular we show that for any positive integer $j$ every Hausdorff shift-continuous topology $τ$ on $\mathbf{I}\mathbb{N}_{\infty}^{\boldsymbol{g}[j]}$ is discrete and if $\mathbf{I}\mathbb{N}_{\infty}^{\boldsymbol{g}[j]}$ is a proper dense subsemigroup of a Hausdorff semitopological semigroup $S$, then $S\setminus \mathbf{I}\mathbb{N}_{\infty}^{\boldsymbol{g}[j]}$ is a closed ideal of $S$, and moreover if $S$ is a topological inverse semigroup then $S\setminus \mathbf{I}\mathbb{N}_{\infty}^{\boldsymbol{g}[j]}$ is a topological group. Also we describe the algebraic and topological structure of the closure of the monoid $\mathbf{I}\mathbb{N}_{\infty}^{\boldsymbol{g}[j]}$ in a locally compact topological inverse semigroup.