A presentation for a submonoid of the symmetric inverse monoid (Q6573641)

The symmetric inverse semigroup \(\mathrm{I}_n\) is considered, that is, the semigroup of all partial injective transformations of the set \(\overline{n} =\{1, 2 , \dots, n\}\), where \( n\) is a positive integer. Parallel with the usual linear order \(1<2< \dots< n\) on the set \(\overline{n}\), the so-called zig-zag order (a partial order) \(\preceq\) is considered: \(1\prec 2\succ 3 \prec 4 \succ \dots\). The submonoid of \(\mathrm{I}_n\) consisting of all order-preserving partial injections on \((\overline{n}, \leq) \) is denoted by \(\mathrm{POI}_n\). The submonoid of \(\mathrm{I}_n\), consisting of all order-preserving partial injections of \((\overline{n}, \preceq) \), is denoted by \(\mathrm{PFI}_n\) because \((\overline{n}, \preceq) \) is colled fence. Let \(\mathrm{IF}_n =\{\alpha \in \mathrm{PFI}_n \vert \,\alpha ^{-1} \in \mathrm{PFI}_n\}\) and \(\mathrm{IOF}_n = \mathrm{IF}_n\cap \mathrm{POI}_n\). The main object of the consideration is the monoid \(\mathrm{IOF}_n^{\mathrm{par}}\) of all parity-preserving transformations of \(\mathrm{IOF}_n\). The main result is a presentation for \(\mathrm{IOF}_n^{\mathrm{par}}\), that is, a set \(X\) and a binary relation \(R\) on the free monoid \(X^*\) generated by \(X\) are found such that \(\mathrm{IOF}_n^{\mathrm{par}}\) is isomorphic to the factor semigroup \(X^*/\rho _{R}\), where \(\rho _{R}\) is the congruence on \(X^*\) generated by \(R\).