Semidirect product with an order-computable pseudovariety and tameness.

DOI10.1007/S00233-010-9236-ZMaRDI QIDQ5962327zbMATH OpenOpenAlexFDO

Authors Jorge Almeida, José Carlos Costa, Maria Lurdes Teixeira

Publication date 22 September 2010

Published in Semigroup Forum (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/1822/11162

zbMATH Keywords

hyperdecidable pseudovarietiesimplicit signaturesorder-computable pseudovarietiesrelatively free profinite semigroupssemidirect products of pseudovarieties of semigroupssystems of equationstameness

Mathematics Subject Classification ID

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

Recommendations

• Tameness of pseudovariety joins involving R.
• Reducibility of Joins Involving Some Locally Trivial Pseudovarieties
• Tameness of Some Locally Trivial Pseudovarieties
• On the hyperdecidability of semidirect products of pseudovarieties
• Tameness of joins involving the pseudovariety of local semilattices.

Cites work

• A SYNTACTICAL PROOF OF LOCALITY OF DA
• Categories as algebra: An essential ingredient in the theory of monoids
• Decidability and tameness in the theory of finite semigroups.
• Equations in free groups are not finitely approximable
• Extending partial automorphisms and the profinite topology on free groups
• scientific article; zbMATH DE number 4028925 (Why is no real title available?)
• scientific article; zbMATH DE number 53371 (Why is no real title available?)
• scientific article; zbMATH DE number 3561239 (Why is no real title available?)
• scientific article; zbMATH DE number 1944113 (Why is no real title available?)
• scientific article; zbMATH DE number 1419247 (Why is no real title available?)
• HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS
• Implicit operations on finite \({\mathcal J}\)-trivial semigroups and a conjecture of I. Simon
• INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES
• Infinite-vertex free profinite semigroupoids and symbolic dynamics.
• On Pointlike Sets and Joins of Pseudovarieties
• On some systems of equations with constraints in a free group. -- Addenda.
• On the Decidability of Iterated Semidirect Products with Applications to Complexity
• On the extension problem for partial permutations
• On the hyperdecidability of semidirect products of pseudovarieties
• Profinite categories and semidirect products
• Profinite categories, implicit operations and pseudovarieties of categories
• The \(\mathfrak q\)-theory of finite semigroups.
• The restricted Burnside problem for varieties of semigroups
• UNDECIDABILITY, AUTOMATA, AND PSEUDOVARITIES OF FINITE SEMIGROUPS

Cited in

(6)

• Every decidable pseudovariety of abelian groups is completely tame
• Profinite topologies
• On -reducibility of pseudovarieties of the form V D
• TAMENESS OF THE PSEUDOVARIETY LS1
• The pseudovariety of all nilpotent groups is tame
• Tameness of pseudovariety joins involving R.

This page was built for publication: Semidirect product with an order-computable pseudovariety and tameness.

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