The intersection of the maximal regular subsemigroups of the semigroup of binary relations.
We provide a solution to the isomorphism problem for torsion-free relatively hyperbolic groups with abelian parabolics. As special cases we recover solutions to the isomorphism problem for: (i) torsion-free hyperbolic groups (Sela, [60] and unpublished); and (ii) finitely generated fully residually free groups (Bumagin, Kharlampovich and Miasnikov [14]). We also give a solution to the homeomorphism problem for finite volume hyperbolic -manifolds, for . In the course of the proof of the main result,...
The isomorphism relation on countable torsion free abelian groups is non-Borel.