Isomorphism problem for finitely generated fully residually free groups

Inna Bumagin, Olga Kharlampovich, Alexei Miasnikov

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…