On the cyclic inverse monoid on a finite set

Abstract

In this paper we study the cyclic inverse monoid $\CI_n$ on a set $\Omega_n$ with $n$ elements, i.e. the inverse submonoid of the symmetric inverse monoid on $\Omega_n$ consisting of all restrictions of the elements of a cyclic subgroup of order $n$ acting cyclically on $\Omega_n$. We show that $\CI_n$ has rank $2$ (for $n\geqslant2$) and $n2^n-n+1$ elements. Moreover, we give presentations of $\CI_n$ on $n+1$ generators and $\frac{1}{2}(n^2+3n+4)$ relations and on $2$ generators and $\frac{1}{2}(n^2-n+6)$ relations. We also consider the remarkable inverse submonoid $\OCI_n$ of $\CI_n$ constituted by all its order-preserving transformations. We show that $\OCI_n$ has rank $n$ and $3\cdot 2^n-2n-1$ elements. Furthermore, we exhibit presentations of $\OCI_n$ on $n+2$ generators and $\frac{1}{2}(n^2+3n+8)$ relations and on $n$ generators and $\frac{1}{2}(n^2+3n)$ relations.