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⩾2$) and $n{2}^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.

arXiv admin note: substantial text overlap with arXiv:2205.02196

Cited by in corpus (1)

• Presentations for three remarkable submonoids of the dihedral inverse monoid on a finite set