The rank of the semigroup of order-, fence-, and parity-preserving partial injections on a finite set

Abstract

The monoid of all partial injections on a finite set (the symmetric inverse semigroup) is of particular interest because of the well-known Wagner-Preston Theorem. In this article, we step forward the study of a submonoid of the symmetric inverse semigroup. We explore the monoid of all order-, fence-, and parity-preserving transformations on an $n$-element chain. We also characterize the transformations in that monoid and show that it has a rank $3n-6$. In particular, we provide a generating set $A_n$ of minimal size and exhibit concrete normal forms for the transformations generated by $A_n$.