Equations in free groups are not finitely approximable
From MaRDI portal
Publication:4226312
DOI10.1090/S0002-9939-99-04747-4zbMath0914.20031OpenAlexW1737496324MaRDI QIDQ4226312
Anatole Khelif, Thierry Coulbois
Publication date: 25 January 1999
Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/s0002-9939-99-04747-4
Generators, relations, and presentations of groups (20F05) Decidability of theories and sets of sentences (03B25) Free nonabelian groups (20E05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Limits, profinite groups (20E18)
Related Items
Finite approximation and commutators in free groups. ⋮ Some reducibility properties for pseudovarieties of the form DRH ⋮ Recognizing pro-\(\mathrm{R}\) closures of regular languages ⋮ Unnamed Item ⋮ Complete κ-reducibility of pseudovarieties of the form DRH ⋮ TAMENESS OF JOINS INVOLVING THE PSEUDOVARIETY OF LOCAL SEMILATTICES ⋮ Approximations of groups, characterizations of sofic groups, and equations over groups ⋮ Every decidable pseudovariety of abelian groups is completely tame ⋮ Semidirect product with an order-computable pseudovariety and tameness. ⋮ COMPLETE REDUCIBILITY OF THE PSEUDOVARIETY LS1 ⋮ The pseudovariety of all nilpotent groups is tame ⋮ Profinite topologies ⋮ Tameness of pseudovariety joins involving R.
