On inverse submonoids of the monoid of almost monotone injective co-finite partial selfmaps of positive integers

Abstract

In this paper we study submonoids of the monoid ${\mathcal{I}}_{\infty }^{\Rsh \nearrow }(\mathbb{N})$ of almost monotone injective co-finite partial selfmaps of positive integers $\mathbb{N}$. Let ${\mathcal{I}}_{\infty }^{\nearrow }(\mathbb{N})$ be a submonoid of ${\mathcal{I}}_{\infty }^{\Rsh \nearrow }(\mathbb{N})$ which consists of cofinite monotone partial bijections of $\mathbb{N}$ and ${\mathcal{C}}_{\mathbb{N}}$ be a subsemigroup ${\mathcal{I}}_{\infty }^{\Rsh \nearrow }(\mathbb{N})$ which is generated by the partial shift $n\mapsto n+1$ and its inverse partial map. We show that every automorphism of a full inverse subsemigroup of ${\mathcal{I}}_{\infty }^{\nearrow }(\mathbb{N})$ which contains the semigroup ${\mathcal{C}}_{\mathbb{N}}$ is the identity map. We construct a submonoid $\mathbf{I}{\mathbb{N}}_{\infty }^{[\underline{1}]}$ of ${\mathcal{I}}_{\infty }^{\Rsh \nearrow }(\mathbb{N})$ with the following property: if $S$ is an inverse submonoid of ${\mathcal{I}}_{\infty }^{\Rsh \nearrow }(\mathbb{N})$ such that $S$ contains $\mathbf{I}{\mathbb{N}}_{\infty }^{[\underline{1}]}$ as a submonoid, then every non-identity congruence $\mathfrak{C}$ on $S$ is a group congruence. We show that if $S$ is an inverse submonoid of ${\mathcal{I}}_{\infty }^{\Rsh \nearrow }(\mathbb{N})$ such that $S$ contains ${\mathcal{C}}_{\mathbb{N}}$ as a submonoid then $S$ is simple and the quotient semigroup $S/{\mathfrak{C}}_{\mathbf{mg}}$, where ${\mathfrak{C}}_{\mathbf{mg}}$ is minimum group congruence on $S$, is isomorphic to the additive group of integers. Also, we study topologizations of inverse submonoids of ${\mathcal{I}}_{\infty }^{\Rsh \nearrow }(\mathbb{N})$ which contain ${\mathcal{C}}_{\mathbb{N}}$ and embeddings of such semigroups into compact-like topological semigroups.

arXiv comment12 pages. arXiv admin note: text overlap with arXiv:1802.03598; and text overlap with arXiv:1908.08521 by other authors

References in corpus (7)

• Topological Graph Inverse Semigroups
• Embedding the bicyclic semigroup into countably compact topological semigroups
• Classifying locally compact semitopological polycyclic monoids
• On the dichotomy of a locally compact semitopological bicyclic monoid with adjoined zero
• On monoids of monotone injective partial self-maps of integers with cofinite domains and images
• On semitopological interassociates of the bicyclic monoid
• Topological properties of Taimanov semigroups

Cited by in corpus (5)

• 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
• On the monoid of cofinite partial isometries of $\mathbb{N}$ with a bounded finite noise
• The monoid of monotone injective partial selfmaps of the poset $({\mathbb{N}}^3,⩽)$ with cofinite domains and images
• On the monoid of cofinite partial isometries of ${\mathbb{N}}^n$ with the usual metric