The isomorphism problem for finitely generated fully residually free groups.

DOI10.1016/J.JPAA.2006.03.025MaRDI QIDQ860430zbMATH OpenOpenAlexFDO

Authors Inna Bumagin, Olga Kharlampovich, Alexei Myasnikov

Publication date 9 January 2007

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

algorithmsfinitely generated groupsisomorphism problemfinite presentationsfully residually free groupsJSJ-decompositionsone-ended groupsgroups of outer automorphisms

Mathematics Subject Classification ID

Free nonabelian groups (20E05) Residual properties and generalizations; residually finite groups (20E26) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Abstract: We prove that the isomorphism problem for finitely generated fully residually free groups is decidable. We also show that each finitely generated fully residually free group G has a decomposition that is invariant under automorphisms of G, and obtain a structure theorem for the group of outer automorphisms Out(G).

Recommendations

• The isomorphism problem for profinite completions of finitely presented, residually finite groups.
• The isomorphism problem for residually torsion-free nilpotent groups.
• scientific article; zbMATH DE number 5379375
• THE VIRTUAL ISOMORPHISM PROBLEM FOR FINITELY GENERATED GROUPS
• scientific article; zbMATH DE number 1109630
• Bounding the residual finiteness of free groups.
• The isomorphism problem for a class of para-free groups
• FINITE INDEX SUBGROUPS OF FULLY RESIDUALLY FREE GROUPS
• The isomorphism problem for finite extensions of free groups is in PSPACE
• scientific article; zbMATH DE number 2144681

Cites work

• scientific article; zbMATH DE number 3153997 (Why is no real title available?)
• scientific article; zbMATH DE number 3873585 (Why is no real title available?)
• scientific article; zbMATH DE number 140320 (Why is no real title available?)
• scientific article; zbMATH DE number 3574107 (Why is no real title available?)
• scientific article; zbMATH DE number 2144681 (Why is no real title available?)
• scientific article; zbMATH DE number 2221699 (Why is no real title available?)
• scientific article; zbMATH DE number 2221701 (Why is no real title available?)
• A very short proof of Forester's rigidity result
• Algebraic geometry over groups. I: Algebraic sets and ideal theory
• Automorphisms of hyperbolic groups and graphs of groups.
• CSA-groups and separated free constructions
• Canonical representatives and equations in hyperbolic groups
• Combination of convergence groups.
• Cut points and canonical splittings of hyperbolic groups
• Cyclic splittings of finitely presented groups and the canonical JSJ deccomposition
• DECIDABILITY OF THE UNIVERSAL AND POSITIVE THEORIES OF A FREE GROUP
• Decidable Properties of Polycyclic Groups
• Deformation and rigidity of simplicial group actions on trees.
• Diophantine geometry over groups. I: Makanin-Razborov diagrams
• EQUATIONS IN A FREE GROUP
• Equations in Free Groups
• Every group is an outer automorphism group of a finitely generated group.
• Groups With Parametric Exponents
• Implicit function theorem over free groups.
• Irreducible affine varieties over a free group. II: Systems in triangular quasi-quadratic form and description of residually free groups
• ON SYSTEMS OF EQUATIONS IN A FREE GROUP
• On uniqueness of JSJ decompositions of finitely generated groups.
• Relatively hyperbolic groups
• Relatively hyperbolic groups: intrinsic geometry, algebraic properties, and algorithmic problems
• Residually Free Groups
• Some general algorithms. II: Nilpotent groups
• Structure and rigidity in (Gromov) hyperbolic groups and discrete groups in rank \(1\) Lie groups. II
• The conjugacy problem for relatively hyperbolic groups.
• The isomorphism problem for hyperbolic groups. I
• The isomorphism problem for toral relatively hyperbolic groups.

Cited in

(25)

• ACTIONS, LENGTH FUNCTIONS, AND NON-ARCHIMEDEAN WORDS
• Finite submonoids of free left regular bands with unit
• Splittings and automorphisms of relatively hyperbolic groups
• OUTER AUTOMORPHISM GROUPS OF CERTAIN TREE PRODUCTS OF ABELIAN GROUPS
• Deciding isomorphy using Dehn fillings, the splitting case
• Nielsen realization by gluing: limit groups and free products
• The isomorphism problem for toral relatively hyperbolic groups.
• Compressed words and automorphisms in fully residually free groups.
• On isomorphisms to a free group and beyond
• Groups acting on tree-graded spaces and splittings of relatively hyperbolic groups.
• Limit groups over coherent right-angled Artin groups
• A polynomial bound on solutions of quadratic equations in free groups.
• scientific article; zbMATH DE number 1504570 (Why is no real title available?)
• Trees of cylinders and canonical splittings.
• On rigidity and the isomorphism problem for tree braid groups.
• Computing equations for residually free groups.
• Enumerating limit groups.
• Solving one-variable equations in free groups
• scientific article; zbMATH DE number 2144681 (Why is no real title available?)
• The equation w(x, y) = u over free groups: an algebraic approach
• FINITE INDEX SUBGROUPS OF FULLY RESIDUALLY FREE GROUPS
• scientific article; zbMATH DE number 5379375 (Why is no real title available?)
• The isomorphism problem for torsion free nilpotent groups of Hirsch length at most \(5\)
• The outer space of a free product
• Tame automorphisms of elementary free groups.

This page was built for publication: The isomorphism problem for finitely generated fully residually free groups.

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