Profinite semigroups, Mal'cev products, and identities

DOI10.1006/jabr.1996.0192zbMath0857.20040OpenAlexW2004986871MaRDI QIDQ1922482

Jean-Eric Pin, Pascal Weil

Publication date: 5 March 1997

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/483c19ca7da56369728649f28b13608201522dde

zbMATH Keywords

finite semigroupsdecidabilitycommutative semigroupsbases of identitiespseudovarietiesMal'cev productsordered semigroupsnilpotent semigroupspseudo-identities\({\mathcal J}\)-trivial semigroupsfree pro-\({\mathbf V}\) semigroupspointlike subsets

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07) Free semigroups, generators and relations, word problems (20M05) Semigroups in automata theory, linguistics, etc. (20M35) Ordered semigroups and monoids (06F05)

Related Items

POLYNOMIAL CLOSURE AND TOPOLOGY ⋮ INEVITABLE GRAPHS AND PROFINITE TOPOLOGIES: SOME SOLUTIONS TO ALGORITHMIC PROBLEMS IN MONOID AND AUTOMATA THEORY, STEMMING FROM GROUP THEORY ⋮ CLOSED SUBGROUPS IN PRO-V TOPOLOGIES AND THE EXTENSION PROBLEM FOR INVERSE AUTOMATA ⋮ NORMAL FORMS FOR FREE APERIODIC SEMIGROUPS ⋮ PROFINITE SEMIGROUPS, VARIETIES, EXPANSIONS AND THE STRUCTURE OF RELATIVELY FREE PROFINITE SEMIGROUPS ⋮ PROFINITE METHODS IN SEMIGROUP THEORY ⋮ SEMIDIRECT PRODUCTS OF ORDERED SEMIGROUPS ⋮ On Decidability of Intermediate Levels of Concatenation Hierarchies ⋮ Polynomial closure and unambiguous product ⋮ On FO 2 Quantifier Alternation over Words ⋮ Polynomial closure and unambiguous product ⋮ Some reducibility properties for pseudovarieties of the form DRH ⋮ Polynomials, fragments of temporal logic and the variety DA over traces ⋮ On the irreducibility of pseudovarieties of semigroups. ⋮ Locally countable pseudovarieties ⋮ The omega-reducibility of pseudovarieties of ordered monoids representing low levels of concatenation hierarchies ⋮ Pointlike sets with respect to R and J. ⋮ A PROFINITE APPROACH TO STABLE PAIRS ⋮ The \(\omega\)-inequality problem for concatenation hierarchies of star-free languages ⋮ Theme and Variations on the Concatenation Product ⋮ On the power pseudovariety \(\mathbf{PCS}\). ⋮ On non-commuting sets in finite soluble CC-groups. ⋮ SOME OPERATORS THAT PRESERVE THE LOCALITY OF A PSEUDOVARIETY OF SEMIGROUPS ⋮ Irreducibility of certain pseudovarieties¹ ⋮ On the lattice of sub-pseudovarieties of DA. ⋮ Some results onC-varieties ⋮ A counterexample to a conjecture concerning concatenation hierarchies ⋮ Unnamed Item ⋮ On Radical Congruence Systems II ⋮ Representations of relatively free profinite semigroups, irreducibility, and order primitivity ⋮ Profinite topologies ⋮ Bases for pseudovarieties closed under bideterministic product ⋮ HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS ⋮ POINTLIKE SETS, HYPERDECIDABILITY AND THE IDENTITY PROBLEM FOR FINITE SEMIGROUPS ⋮ A conjecture on the concatenation product ⋮ Tameness of pseudovariety joins involving R.