JournalsggdVol. 1 , No. 1DOI 10.4171/ggd/1

The isomorphism problem for residually torsion-free nilpotent groups

  • Gilbert Baumslag

    The City College of New York, United States
  • Charles F. Miller III

    University of Melbourne, Melbourne, Australia
The isomorphism problem for residually torsion-free nilpotent groups cover

Abstract

Both the conjugacy and isomorphism problems for finitely generated nilpotent groups are recursively solvable. In some recent work, the first author, with a tiny modification of work in the second author's thesis, proved that the conjugacy problem for finitely presented, residually torsion-free nilpotent groups is recursively unsolvable. Here we complete the algorithmic picture by proving that the isomorphism problem for such groups is also recursively unsolvable.