Bilateral semidirect product decompositions of transformation monoids. (Q535232): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
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^+\). | |||
Property / review text: 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^+\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Peeter Normak / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20M20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20M05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20M30 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5886844 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
bilateral semidirect products | |||
Property / zbMATH Keywords: bilateral semidirect products / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
reverse semidirect products | |||
Property / zbMATH Keywords: reverse semidirect products / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
transformation semigroups | |||
Property / zbMATH Keywords: transformation semigroups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
free monoids | |||
Property / zbMATH Keywords: free monoids / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
presentations | |||
Property / zbMATH Keywords: presentations / rank | |||
Normal rank |
Revision as of 09:52, 1 July 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Bilateral semidirect product decompositions of transformation monoids. |
scientific article |
Statements
Bilateral semidirect product decompositions of transformation monoids. (English)
0 references
11 May 2011
0 references
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^+\).
0 references
bilateral semidirect products
0 references
reverse semidirect products
0 references
transformation semigroups
0 references
free monoids
0 references
presentations
0 references