On the semigroup of order-decreasing partial isometries of a finite chain

TL;DR

This paper studies the algebraic structure of specific semigroups of order-decreasing partial isometries on finite chains, characterizing their cycle structures, Green's relations, and cardinalities.

Contribution

It provides a detailed analysis of the cycle structure, Green's relations, and cardinalities of the semigroups of order-decreasing partial isometries, including the characterization of ${ m ODDP}_n$ as a $0$-E-unitary ample semigroup.

Findings

${ m ODDP}_n$ is a $0$-E-unitary ample semigroup

Cycle structure of order-decreasing partial isometries characterized

Cardinalities of equivalence classes and semigroup order determined

Abstract

Let ${\cal I}_n$ be the symmetric inverse semigroup on $X_n = \{1, 2,..., n\}$ and let ${\cal DDP}_n$ and ${\cal ODDP}_n$ be its subsemigroups of order-decreasing partial isometries and of order-preserving order-decreasing partial isometries of $X_n$, respectively. In this paper we investigate the cycle structure of order-decreasing partial isometry and characterize the Green's relations on ${\cal DDP}_n$ and ${\cal ODDP}_n$. We show that ${\cal ODDP}_n$ is a $0-E-unitary$ ample semigroup. We also investigate the cardinalities of some equivalences on ${\cal DDP}_n$ and ${\cal ODDP}_n$ which lead naturally to obtaining the order of the semigroups.