Bilateral semidirect product decompositions of transformation monoids. (Q535232): Difference between revisions

Denote by \(\mathcal{OR}_n\) the monoid of all full transformations on a chain with \(n\) elements that preserve or reverse the orientation, and by \(\mathcal{OD}_n\), \(\mathcal{OP}_n\), \(\mathcal O_n\) its submonoids of all order-preserving or order reversing, of all orientation preserving and of all order-preserving elements, respectively. Denote \(\mathcal O_n^-=\{s\in\mathcal O_n\mid(x)s\leq x,\;\forall x\}\) and \(\mathcal O_n^+=\{s\in\mathcal O_n\mid x\leq(x)s,\;\forall x\}\). A bilateral semidirect product of monoids \(S\) and \(T\) is denoted by \(S\bowtie T\), and the cyclic group of order \(n\) by \(\mathcal C_n\). It is proved -- among a number of other results -- that 1) the monoid \(\mathcal{OR}_n\) is a homomorphic image of \(\mathcal C_n\bowtie\mathcal{OD}_n\), 2) the monoid \(\mathcal{OP}_n\) is a homomorphic image of \(\mathcal C_n\bowtie\mathcal O_n\), 3) the monoid \(\mathcal O_n\) is a homomorphic image of \(\mathcal O_n^-\bowtie\mathcal O_n^+\).