Recognition of Subgroups of Direct Products of Hyperbolic Groups

Martin R. Bridson and Charles F. Miller III

Preprint, January 2002; to appear in Proc. AMS

We give examples of direct products of three hyperbolic groups in which there cannot exist an algorithm to decide which finitely presented subgroups are isomorphic.