On the monoid of cofinite partial isometries of $\mathbb{N}$ with a bounded finite noise

Abstract

In the paper we study algebraic properties of the monoid $\mathbf{I}{\mathbb{N}}_{\infty }^{\mathbf{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 }^{\mathbf{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 $\tau$ on $\mathbf{I}{\mathbb{N}}_{\infty }^{\mathbf{g}[j]}$ is discrete and if $\mathbf{I}{\mathbb{N}}_{\infty }^{\mathbf{g}[j]}$ is a proper dense subsemigroup of a Hausdorff semitopological semigroup $S$, then $S\setminus \mathbf{I}{\mathbb{N}}_{\infty }^{\mathbf{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 }^{\mathbf{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 }^{\mathbf{g}[j]}$ in a locally compact topological inverse semigroup.

13 pages. arXiv admin note: text overlap with arXiv:2008.03159

Cited by in corpus (2)

• On the semigroup ${\mathbf{B}}_{\omega }^{{\mathcal{F}}_n}$ which is generated by the family ${\mathcal{F}}_n$ of finite bounded intervals of $\omega$
• On a locally compact monoid of cofinite partial isometries of $\mathbb{N}$ with adjoined zero