Studying semigroups of mappings using quasi-identities (Q5952240)
From MaRDI portal
scientific article; zbMATH DE number 1688636
Language | Label | Description | Also known as |
---|---|---|---|
English | Studying semigroups of mappings using quasi-identities |
scientific article; zbMATH DE number 1688636 |
Statements
Studying semigroups of mappings using quasi-identities (English)
0 references
10 July 2003
0 references
A \(pq\)-variety \(V\) is a class of finite semigroups closed under the formation of subsemigroups and finitary direct products; (equivalently \(V\) is defined by a set of quasi-identities, that is identities that are formal consequences of a list of other identities. For example, left cancellativity: \((xy=xz\to y=z)\)). Let \(C\) denote a finite chain, \(P\) a finite poset. Denote by \(O(P)\) [resp. \(OE(P)\)] the semigroup of all order-preserving [resp. all order-preserving decreasing] maps on \(P\). Let the \(pq\)-varieties generated by the \(OE(P)\), the \(OE(C)\), and the \(O(C)\) be denoted respectively by \(J^\flat_p\), \(J^\flat_c\), and \(O^\flat\). Let \(J\) denote the \(pq\)-variety of all \(\mathcal J\)-trivial semigroups. It is proved that no semigroup class lying in the interval \([J^\flat_c,J^\flat_p\vee O^\flat]\) can be defined among all finite semigroups by any system of quasi-identities involving only finitely many variables. The second main result is that the interval \([J^\flat_p,J]\) contains a chain of \(pq\)-varieties isomorphic to the chain of the reals.
0 references
order-preserving decreasing maps
0 references
\(pq\)-varieties
0 references
finite semigroups
0 references
quasi-identities
0 references
finite chains
0 references
finite posets
0 references