The semigroup of finite partial order isomorphisms of a bounded rank of an infinite linear ordered set

Abstract

We study algebraic properties of the semigroup $\mathscr{O\!\!I\!}_n(L)$ of finite partial order isomorphisms of the rank $\leq n$ of an infinite linearly ordered set $(L,\leqslant)$. In particular we describe its idempotents, the natural partial order and Green's relations on $\mathscr{O\!\!I\!}_n(L)$. It is proved that the semigroup $\mathscr{O\!\!I\!}_n(L)$ is stable and it contains tight ideal series. Moreover, we show that the semigroup $\mathscr{O\!\!I\!}_n(L)$ admits only Rees' congruences and every its homomorphic image is a semigroup with tight ideal series.