On the cyclic inverse monoid on a finite set

TL;DR

This paper investigates the structure and presentations of the cyclic inverse monoid and its order-preserving submonoid on a finite set, providing explicit ranks, sizes, and generators for these algebraic objects.

Contribution

It introduces explicit presentations and structural properties of the cyclic inverse monoid and its order-preserving submonoid, expanding understanding of their algebraic characteristics.

Findings

$ ext{CI}_n$ has rank 2 and $n2^n - n + 1$ elements.

$ ext{OCI}_n$ has rank $n$ and $3 imes 2^n - 2n - 1$ elements.

Explicit generators and relations are provided for both monoids.

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.