Pseudovarieties of ordered completely regular semigroups
From MaRDI portal
Publication:2422183
Abstract: This paper is a contribution to the theory of finite semigroups and their classification in pseudovarieties, which is motivated by its connections with computer science. The question addressed is what role can play the consideration of an order compatible with the semigroup operation. In the case of unions of groups, so-called completely regular semigroups, the problem of which new pseudovarieties appear in the ordered context is solved. As applications, it is shown that the lattice of pseudovarieties of ordered completely regular semigroups is modular and that taking the intersection with the pseudovariety of bands defines a complete endomorphism of the lattice of all pseudovarieties of ordered semigroups.
Recommendations
Cites work
- A Reiterman theorem for pseudovarieties of finite first-order structures
- A SYNTACTICAL PROOF OF LOCALITY OF DA
- All Varieties of Bands I
- Complete endomorphisms of the lattice of pseudovarieties of finite semigroups
- Complexity of finite semigroups
- Congruences on the Lattice of Pseudovarieties of Finite Semigroups
- scientific article; zbMATH DE number 1944133 (Why is no real title available?)
- scientific article; zbMATH DE number 1455132 (Why is no real title available?)
- scientific article; zbMATH DE number 789816 (Why is no real title available?)
- scientific article; zbMATH DE number 3353602 (Why is no real title available?)
- Hyperdecidability of pseudovarieties of orthogroups
- Nonstandard characterization of pseudovarieties
- On FO 2 Quantifier Alternation over Words
- On varieties of completely regular semigroups. I
- On varieties of completely regular semigroups. II, III
- On varieties of ordered semigroups.
- Profinite semigroups and applications.
- Pseudovarieties of completely regular semigroups
- Representations of relatively free profinite semigroups, irreducibility, and order primitivity
- Residual finiteness in completely regular semigroup varieties
- Stability in semigroups
- Sur le produit de concatenation non ambigu
- The \(\mathfrak q\)-theory of finite semigroups.
- The Birkhoff theorem for finite algebras
- The lattice of equational classes of idempotent semigroups
- Towards a pseudoequational proof theory
- Varieties and pseudovarieties of ordered normal bands
- Varieties of ordered algebras
Cited in
(12)- Varieties and pseudovarieties of ordered normal bands
- On Kovács-Newman ordered semigroups
- Pseudovarieties of finite semigroups having a complete radical.
- Pseudovarieties of completely regular semigroups
- Locally countable pseudovarieties
- NORMALLY ORDERED SEMIGROUPS
- PSEUDORECURSIVE VARIETIES OF SEMIGROUPS—I
- The globals of pseudovarieties of ordered semigroups containingB2and an application to a problem proposed by Pin
- THE PSEUDOVARIETY GENERATED BY ALL SEMIGROUPS OF ORIENTATION-PRESERVING TRANSFORMATIONS ON A FINITE CYCLE
- Representations of relatively free profinite semigroups, irreducibility, and order primitivity
- Join irreducible semigroups
- Orderability of the prefix expansion of an ordered inverse semigroup
This page was built for publication: Pseudovarieties of ordered completely regular semigroups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2422183)
