Presentations for three remarkable submonoids of the dihedral inverse monoid on a finite set
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.
- On three submonoids of the dihedral inverse monoid on a finite set
- A presentation for a submonoid of the symmetric inverse monoid
- PRESENTATIONS FOR SOME MONOIDS OF PARTIAL TRANSFORMATIONS ON A FINITE CHAIN
- A PRESENTATION OF THE DUAL SYMMETRIC INVERSE MONOID
- scientific article; zbMATH DE number 1944127
- A DIVISION THEOREM FOR THE PSEUDOVARIETY GENERATED BY SEMIGROUPS OF ORIENTATION PRESERVING TRANSFORMATIONS ON A FINITE CHAIN
- A Presentation of the Singular Part of the Symmetric Inverse Monoid#
- Abelian kernels of some monoids of injective partial transformations and an application
- Automorphisms of partial endomorphism semigroups.
- CONGRUENCES ON MONOIDS OF ORDER-PRESERVING OR ORDER-REVERSING TRANSFORMATIONS ON A FINITE CHAIN
- Endomorphisms of semigroups of order-preserving partial transformations
- Endomorphisms of semigroups of oriented transformations
- scientific article; zbMATH DE number 3654376 (Why is no real title available?)
- scientific article; zbMATH DE number 789816 (Why is no real title available?)
- Normally ordered inverse semigroups
- On Divisors of Pseudovarieties Generated by Some Classes of Full Transformation Semigroups
- On the monoid of partial isometries of a finite star graph
- On the structure of \(\mathcal{IO}_n\)
- PARTIAL CROSS-SECTIONS OF SYMMETRIC INVERSE SEMIGROUPS
- Presentations for some monoids of injective partial transformations on a finite chain.
- Semigroup and Group Presentations
- Semigroups of order preserving mappings on a finite chain: A new class of divisors
- The monoid of all injective order preserving partial transformations on a finite chain.
- The monoid of all injective orientation preserving partial transformations on a finite chain
This page was built for publication: Presentations for three remarkable submonoids of the dihedral inverse monoid on a finite set
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6145347)
