On the lattice of sub-pseudovarieties of DA.

DOI10.1007/S00233-010-9258-6zbMATH Open1213.20054arXiv0904.2893OpenAlexW2113769955MaRDI QIDQ711615FDOQ711615

Authors: Manfred Kufleitner, Pascal Weil 

Publication date: 27 October 2010

Published in: Semigroup Forum (Search for Journal in Brave)

Abstract: The wealth of information that is available on the lattice of varieties of bands, is used to illuminate the structure of the lattice of sub-pseudovarieties of DA, a natural generalization of bands which plays an important role in language theory and in logic. The main result describes a hierarchy of decidable sub-pseudovarieties of DA in terms of iterated Mal'cev products with the pseudovarieties of definite and reverse definite semigroups.

Full work available at URL: https://arxiv.org/abs/0904.2893

Recommendations

• The lattice of pseudovarieties of idempotent semigroups and a non-regular analogue
• Some pseudovariety joins involving the pseudovariety of finite groups
• On a problem of Brzozowski and Fich
• The lattices of varieties and pseudovarieties of band monoids
• Varieties and pseudovarieties generated by \(\mathcal D\)-chains
• Pseudovarieties of completely regular semigroups
• On maximal pseudo-varieties of finite monoids and semigroups
• Join irreducible semigroups
• Varieties of idempotent semirings with commutative addition.
• Complete endomorphisms of the lattice of pseudovarieties of finite semigroups

zbMATH Keywords

Malcev productspseudovarieties of finite semigroupsbases of pseudoidentitiescomplete lattice homomorphismslattices of band varietieslattices of pseudovarietiesvarieties of languages

Mathematics Subject Classification ID

Lattices of varieties (08B15) Quasivarieties (08C15) Varieties and pseudovarieties of semigroups (20M07) Semigroups in automata theory, linguistics, etc. (20M35)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The lattice of equational classes of idempotent semigroups
• Varieties of Bands Revisited
• Logic Meets Algebra: the Case of Regular Languages
• All Varieties of Bands I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some results on the dot-depth hierarchy
• Sur le produit de concatenation non ambigu
• Algebraic Theory of Machines. I. Prime Decomposition Theorem for Finite Semigroups and Machines
• The lattices of varieties and pseudovarieties of band monoids
• The lattice of pseudovarieties of idempotent semigroups and a non-regular analogue
• On radical congruence systems
• Profinite semigroups, Mal'cev products, and identities
• On FO 2 Quantifier Alternation over Words
• Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words
• Title not available (Why is that?)
• Complete endomorphisms of the lattice of pseudovarieties of finite semigroups
• PROFINITE METHODS IN SEMIGROUP THEORY

Cited In (9)

• THE GLOBALS OF SOME SUBPSEUDOVARIETIES OF $\mathsf{DA}$
• A SYNTACTICAL PROOF OF LOCALITY OF DA
• The word problem for omega-terms over the Trotter-Weil hierarchy
• The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy
• The lattices of pseudovarieties of DA and B
• Decomposition of the lattice of pseudovarieties of finite semigroups induced by bands
• SOME OPERATORS THAT PRESERVE THE LOCALITY OF A PSEUDOVARIETY OF SEMIGROUPS
• The amazing mixed polynomial closure and its applications to two-variable first-order logic
• On FO 2 Quantifier Alternation over Words

This page was built for publication: On the lattice of sub-pseudovarieties of DA.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q711615)