# Generating pairs of projective special linear groups that fail to lift

## TL;DR

This paper constructs explicit examples of pairs of groups, specifically free products of cyclic groups and finite projective special linear groups, that demonstrate the failure of a lifting property originally posed by Neumann.

## Contribution

The authors introduce a new approach to produce infinitely many negative examples to Neumann's problem, including cases with infinite groups, using free products and finite linear groups.

## Key findings

- Constructed explicit pairs of groups $(G,H)$ with $G$ as a free product of cyclic groups and $H$ as $ ext{PSL}(2,p)$.
- Provided infinitely many negative examples for the case $n=2$.
- Extended examples to include cases where $H$ is infinite.

## Abstract

The following problem was originally posed by B.H. Neumann and H. Neumann. Suppose that a group $G$ can be generated by $n$ elements and that $H$ is a homomorphic image of $G$. Does there exist, for every generating $n$-tuple $(h_1,\ldots, h_n)$ of $H$, a homomorphism $\vartheta \colon G \to H$ and a generating $n$-tuple $(g_1,\ldots,g_n)$ of $G$ such that $(g_1^\vartheta,\ldots,g_n^\vartheta) = (h_1,\ldots,h_n)$? M.J. Dunwoody gave a negative answer to this question, by means of a carefully engineered construction of an explicit pair of soluble groups. Via a new approach we produce, for $n = 2$, infinitely many pairs of groups $(G,H)$ that are negative examples to the Neumanns' problem. These new examples are easily described: $G$ is a free product of two suitable finite cyclic groups, such as $C_2 \ast C_3$, and $H$ is a suitable finite projective special linear group, such as $\mathrm{PSL}(2,p)$ for a prime $p \ge 5$. A small modification yields the first negative examples $(G,H)$ with $H$ infinite.