Equations in free groups are not finitely approximable

DOI10.1090/S0002-9939-99-04747-4MaRDI QIDQ4226312zbMATH OpenOpenAlexFDO

Authors Thierry Coulbois, Anatole Khelif

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

zbMATH Keywords

equations in groupsfinite quotientsfree groups

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Free nonabelian groups (20E05) Limits, profinite groups (20E18) Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Recommendations

• Finite approximation and commutators in free groups.
• On equations with subgroup restrictions on solutions in free groups
• Equations with constraints on the solution in free groups

Cited in

(17)

• Finite approximation and commutators in free groups.
• Every decidable pseudovariety of abelian groups is completely tame
• Profinite topologies
• Recognizing pro-\(\mathrm{R}\) closures of regular languages
• Systems of equations in free groups which are approximated in the class of finite Abelian groups of s-periodic permutations of positive integers.
• Complete κ-reducibility of pseudovarieties of the form DRH
• COMPLETE REDUCIBILITY OF THE PSEUDOVARIETY LS1
• Some reducibility properties for 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
• The pseudovariety of all nilpotent groups is tame
• scientific article; zbMATH DE number 7120897 (Why is no real title available?)
• The number of non-solutions of an equation in a group
• Semidirect product with an order-computable pseudovariety and tameness.
• Finite approximation of free groups. I: The F-inverse cover problem
• Pseudovarieties of semigroups
• Tameness of pseudovariety joins involving R.

This page was built for publication: Equations in free groups are not finitely approximable

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