On the hyperdecidability of semidirect products of pseudovarieties

DOI10.1080/00927879808826395zbMath0931.20047OpenAlexW2055792429MaRDI QIDQ4224014

Jorge Almeida, Pedro V. Silva

Publication date: 30 March 1999

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

Full work available at URL: https://doi.org/10.1080/00927879808826395

zbMATH Keywords

semidirect productsdecidabilitymembership problempseudovarieties of finite groupshyperdecidable pseudovarietiesorder-computable pseudovarietieshyperdecidabilitypseudovarieties of bandspseudovarieties of finite completely simple semigroups

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07) Free semigroups, generators and relations, word problems (20M05)

Related Items

ON HYPERDECIDABLE PSEUDOVARIETIES OF SIMPLE SEMIGROUPS, INEVITABLE GRAPHS AND PROFINITE TOPOLOGIES: SOME SOLUTIONS TO ALGORITHMIC PROBLEMS IN MONOID AND AUTOMATA THEORY, STEMMING FROM GROUP THEORY, ON THE HYPERDECIDABILITY OF PSEUDOVARIETIES OF GROUPS, PROFINITE METHODS IN SEMIGROUP THEORY, The pseudovariety $J$ is hyperdecidable, SC-hyperdecidability of \(\mathbf R\), Semidirect product with an order-computable pseudovariety and tameness., Profinite topologies, PSEUDOVARIETY JOINS INVOLVING ${\mathscr J}$ -TRIVIAL SEMIGROUPS, HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS

Cites Work

• Categories as algebra: An essential ingredient in the theory of monoids
• Profinite categories and semidirect products
• Pointlike sets: the finest aperiodic cover of a finite semigroup
• Product expansions
• INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES
• Undecidability of the identity problem for finite semigroups
• Semidirect products of regular semigroups
• HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS
• ON HYPERDECIDABLE PSEUDOVARIETIES OF SIMPLE SEMIGROUPS