The isomorphism problem for finitely generated fully residually free groups

AbstractWe prove that the isomorphism problem for finitely generated fully residually free groups (or F-groups for short) is decidable. We also show that each F-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)