Generating pairs of projective special linear groups that fail to lift
The following problem was originally posed by B. H. Neumann and H. Neumann.Suppose that a group can be generated by elements and that is a homomor-phic image of . Does there exist, for every generating -tuple (ℎ1, … , ℎ ) of ,a homomorphism ∶ → and a generating -tuple (1, … , ) of such that( 1 , … , ) = (ℎ1, … , ℎ )?M. J. Dunwoody gave a negative answer to this question, by means of a carefullyeng