Publication:5702493

zbMath1093.20019arXivmath/0407089MaRDI QIDQ5702493

O. G. Kharlampovich, Alexei G. Myasnikov

Publication date: 1 November 2005

Full work available at URL: https://arxiv.org/abs/math/0407089

zbMATH Keywords

algorithms; homomorphisms; splittings; free groups; finitely presented groups; systems of equations; Bass-Serre theory; Grushko decompositions; finitely generated fully residually free groups; cyclic JSJ decompositions; freely indecomposable finitely generated fully residually free groups

Mathematics Subject Classification ID

20F05: Generators, relations, and presentations of groups

20E05: Free nonabelian groups

20E06: Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations

20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)

20E26: Residual properties and generalizations; residually finite groups

03C05: Equational classes, universal algebra in model theory

Related Items

On systems of equations over free products of groups., Computing equations for residually free groups., The fully residually \(F\) quotients of \(F*\langle x,y\rangle\)., The Grushko decomposition of a finite graph of finite rank free groups: an algorithm., Elementary theory of free non-abelian groups., The isomorphism problem for finitely generated fully residually free groups., Groups with free regular length functions in $\mathbb{Z}^{n}$, On systems of equations over free partially commutative groups, Detecting free splittings in relatively hyperbolic groups