Graph congruences and wreath products

From MaRDI portal
Publication:2266130


DOI10.1016/0022-4049(85)90071-4zbMath0559.20042MaRDI QIDQ2266130

Denis Thérien, Alex Weiss

Publication date: 1985

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(85)90071-4


20M07: Varieties and pseudovarieties of semigroups

20M35: Semigroups in automata theory, linguistics, etc.

20M15: Mappings of semigroups


Related Items

The globals of pseudovarieties of ordered semigroups containingB2and an application to a problem proposed by Pin, Imre Simon: an exceptional graduate student, ON HYPERDECIDABLE PSEUDOVARIETIES OF SIMPLE SEMIGROUPS, PROFINITE METHODS IN SEMIGROUP THEORY, LOCAL GROUPS IN FREE GROUPOIDS SATISFYING CERTAIN MONOID IDENTITIES, Categories as algebra: An essential ingredient in the theory of monoids, Locally commutative power semigroups and counting factors of words, Reducing the time complexity of testing for local threshold testability, Pseudovarieties defining classes of sofic subshifts closed under taking shift equivalent subshifts., On the equation \(x^ t=x^{t+q}\) in categories, Semigroups and languages of dot-depth two, Results on homomorphic realization of automata by \(\alpha_ 0\)-products, Languages and scanners, Two-sided wreath product of categories, Local varieties of completely regular monoids, Varieties of automata and transformation semigroups, Semidirect products of pseudovarieties from the universal algebraist's point of view, Semigroup expansions using the derived category, kernel, and Malcev products, Profinite categories and semidirect products, Right and left locally testable languages, Expressive power of existential first-order sentences of Büchi's sequential calculus, Logic, semigroups and automata on words, Decomposition techniques for finite semigroups, using categories. II, Bilateral locally testable languages., Profinite categories, implicit operations and pseudovarieties of categories, Finite semigroup varieties of the form V*D, A new algorithm for testing if a regular language is locally threshold testable, Semigroups whose idempotents form a subsemigroup, A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS, BRET TILSON: HIS LIFE AND WORK, The local and global varieties induced by nilpotent monoids, Varieties of finite categories, Catégories et langages de dot-depth un



Cites Work