Dynamics of implicit operations and tameness of pseudovarieties of groups

DOI10.1090/S0002-9947-01-02857-4zbMath0988.20014OpenAlexW1731851992MaRDI QIDQ2750958

Jorge Almeida

Publication date: 21 October 2001

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/s0002-9947-01-02857-4

zbMATH Keywords

semigroupsimplicit operationsdecidabilitypseudovarieties of finite groupsprofinite topologiesrelatively free groups

Mathematics Subject Classification ID

Subgroup theorems; subgroup growth (20E07) Varieties and pseudovarieties of semigroups (20M07) Free semigroups, generators and relations, word problems (20M05) Free nonabelian groups (20E05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Quasivarieties and varieties of groups (20E10) Limits, profinite groups (20E18)

Related Items

PROFINITE METHODS IN SEMIGROUP THEORY ⋮ Reducibility of pointlike problems ⋮ Pseudovarieties defining classes of sofic subshifts closed under taking shift equivalent subshifts. ⋮ Some reducibility properties for pseudovarieties of the form DRH ⋮ Presentations of Schützenberger groups of minimal subshifts. ⋮ Freeness of Schützenberger groups of primitive substitutions ⋮ Two-variable identities for finite solvable groups. ⋮ BURNSIDE-TYPE PROBLEMS RELATED TO SOLVABILITY ⋮ A NEW PROOF OF THE RHODES TYPE II CONJECTURE ⋮ Every decidable pseudovariety of abelian groups is completely tame ⋮ On the endomorphism monoid of a profinite semigroup ⋮ Infinite-vertex free profinite semigroupoids and symbolic dynamics. ⋮ COMPLETE REDUCIBILITY OF THE PSEUDOVARIETY LS1 ⋮ SUBWORD COMPLEXITY OF PROFINITE WORDS AND SUBGROUPS OF FREE PROFINITE SEMIGROUPS ⋮ The pseudovariety of all nilpotent groups is tame ⋮ Profinite topologies ⋮ PROFINITE IDENTITIES FOR FINITE SEMIGROUPS WHOSE SUBGROUPS BELONG TO A GIVEN PSEUDOVARIETY ⋮ CHARACTERIZATION OF SOLVABLE GROUPS AND SOLVABLE RADICAL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intersections of finitely generated subgroups of free groups and resolutions of graphs
• Profinite groups and Boolean graphs
• The Birkhoff theorem for finite algebras
• On pseudovarieties
• On the profinite topology on negatively curved groups
• On some systems of equations with constraints in a free group. -- Addenda.
• Finite groups in which every two elements generate a soluble subgroup
• Residual nilpotence and relations in free groups
• Complexity of finite semigroups
• INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES
• A Conjecture on the Hall Topology for the Free Group
• FREE INVERSE MONOIDS AND GRAPH IMMERSIONS
• THE PRO-p TOPOLOGY OF A FREE GROUP AND ALGORITHMIC PROBLEMS IN SEMIGROUPS
• REDUCED FACTORIZATIONS IN FREE PROFINITE GROUPS AND JOIN DECOMPOSITIONS OF PSEUDOVARIETIES
• On the Decidability of Iterated Semidirect Products with Applications to Complexity
• HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS
• UNDECIDABILITY, AUTOMATA, AND PSEUDOVARITIES OF FINITE SEMIGROUPS
• A Kurosh Subgroup Theorem for Free Pro--Products of Pro--Groups
• 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
• ON THE HYPERDECIDABILITY OF PSEUDOVARIETIES OF GROUPS
• ON SEPARABILITY PROPERTIES OF GROUPS
• Extending partial automorphisms and the profinite topology on free groups
• Nonsolvable finite groups all of whose local subgroups are solvable