scientific article; zbMATH DE number 2221701

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algorithmshomomorphismssplittingsfree groupsfinitely presented groupssystems of equationsBass-Serre theoryGrushko decompositionsfinitely generated fully residually free groupscyclic JSJ decompositionsfreely indecomposable finitely generated fully residually free groups

Mathematics Subject Classification ID

Generators, relations, and presentations of groups (20F05) Free nonabelian groups (20E05) Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations (20E06) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Residual properties and generalizations; residually finite groups (20E26) Equational classes, universal algebra in model theory (03C05)

Related Items

Groups with free regular length functions in $\mathbb{Z}^{n}$ ⋮ Elementary theory of free non-abelian groups. ⋮ The isomorphism problem for finitely generated fully residually free groups. ⋮ Effective construction of covers of canonical Hom-diagrams for equations over torsion-free hyperbolic groups ⋮ On systems of equations over free products of groups. ⋮ Detecting free splittings in relatively hyperbolic groups ⋮ Subgroup properties of pro-\(p\) extensions of centralizers. ⋮ Detecting geometric splittings in finitely presented groups ⋮ Computing equations for residually free groups. ⋮ On systems of equations over free partially commutative groups ⋮ The fully residually \(F\) quotients of \(F*\langle x,y\rangle\). ⋮ Limit groups over partially commutative groups and group actions on real cubings ⋮ The Grushko decomposition of a finite graph of finite rank free groups: an algorithm.