ON THE DECIDABILITY OF MEMBERSHIP IN THE GLOBAL OF A MONOID PSEUDOVARIETY

DOI10.1142/S0218196710005571zbMath1205.20058MaRDI QIDQ3561118

Karl Auinger

Publication date: 25 May 2010

Published in: International Journal of Algebra and Computation (Search for Journal in Brave)

zbMATH Keywords

membership problemgroup pseudovarietiesdecidability of membershiplocal pseudovarietiescategory pseudovarietiesglobals of monoid pseudovarietiessemidirect products of monoid pseudovarieties

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) Quasivarieties and varieties of groups (20E10) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40)

Related Items (2)

Locality and Centrality: The Variety ZG ⋮ On a locality-like property of the pseudovariety J

Cites Work

• Categories as algebra: An essential ingredient in the theory of monoids
• Finite semigroup varieties of the form V*D
• Undecidability of the identity problem for finite semigroups
• UNDECIDABILITY, AUTOMATA, AND PSEUDOVARITIES OF FINITE SEMIGROUPS
• On power groups and embedding theorems for relatively free profinite monoids
• On the extension problem for partial permutations
• A delay theorem for pointlikes

This page was built for publication: ON THE DECIDABILITY OF MEMBERSHIP IN THE GLOBAL OF A MONOID PSEUDOVARIETY