Presentations for three remarkable submonoids of the dihedral inverse monoid on a finite set (Q6145347)

For the chain \(\Omega_{n}=\{1< \ldots <n\}\), let \(\mathcal{S}_{n}\) and \(\mathcal{I}_{n}\) denote the symetric group and the symetric inverse monoid on \(\Omega_{n}\). A partial permutation \(\alpha \in \mathcal{I}_{n}\) is called \textit{order-preserving} (\textit{order-reversing}) if \(x\leq y\) implies \(x\alpha\leq y\alpha\) (\(x\alpha\geq y\alpha\)) for all \(x, y\in \mathrm{dom\,}(\alpha)\), and \(\alpha \in \mathcal{I}_{n}\) is called \emph{monotone} if it is order-preserving or order-reversing. The inverse submonoid of \(\mathcal{I}_{n}\) consisting of all order-preserving (monotone) partial permutations is denoted by \(\mathcal{POI}_{n}\) (\(\mathcal{PODI}_{n}\)). A sequence \(S=(a_{1}, a_{2}, \ldots , a_{t})\) of elements of \(\Omega_{n}\) is called \textit{cyclic} (\textit{anti-cyclic}) if there exists not more than one index \(1\leq i\leq t\) such that \(a_{i}>a_{i+1}\) (\(a_{i}<a_{i+1}\)) where \(a_{t+1}=a_{1}\). \(S\) is called \textit{oriented} if \(S\) is cyclic or anti-cyclic. A partial permutation \(\alpha \in \mathcal{I}_{n}\) with \(\mbox{dom\,}(\alpha) =\{a_{1}< \cdots < a_{t}\}\) is called \textit{orientation-preserving} (\textit{orientation-reversing, oriented}) if the sequence \((a_{1}\alpha, \ldots , a_{t}\alpha)\) is cyclic (anti-cyclic, oriented). The inverse submonoids of \(\mathcal{I}_{n}\) consisting of all orientation-preserving (oriented) permutations is denoted by \(\mathcal{POPI}_{n}\) (\(\mathcal{PORI}_{n}\)). The dihedral group \(\mathcal{D}_{2n}\) with \(2n\) elements is the smallest subgroup of \(\mathcal{S}_{n}\) containing both \(\left( \begin{array}{ccccc} 1 & 2 & \cdots & n-1 & n\\ 2 & 3 & \cdots & n & 1 \end{array}\right)\) and \(\left( \begin{array}{ccccccc} 1 & 2 & \cdots & n-1 & n\\ n & n-1 & \cdots & 2 & 1 \end{array}\right)\). In fact, \(\mathcal{D}_{2n}\) is the symmetry group of a regular polygon with \(n\) vertices. If \[ \mathcal{DI}_{n}=\{ \alpha \in \mathcal{I}_{n} : \alpha =\beta_{\mid_{\mathrm{dom\,}(\alpha)}} \, \mbox{ for some }\, \beta \in \mathcal{D}_{2n}\}, \] then \(\mathcal{DI}_{n}\) is an inverse submomoid of \(\mathcal{I}_{n}\). The authors give three monoid presentations for three inverse submonoids of the dihedral inverse monoid \(\mathcal{DI}_{n}\), namely: \(\mathcal{DI}_{n}\cap \mathcal{POI}_{n}\), \(\mathcal{DI}_{n}\cap \mathcal{OPDI}_{n}\) and \(\mathcal{DI}_{n}\cap \mathcal{POPI}_{n}\), respectively.