Un teorema bien conocido de Gruenberg implica que un grupo nilpotente libre de torsión residual generado finitamente es residualmente$p$ - finito para todos los primos$p$. ¿Qué pasa con lo contrario?
Pregunta: ¿Existe algún ejemplo de un grupo generado finitamente$G$ con las propiedades de que$G$ es residualmente$p$ - finito para todos los primos$p$, pero$G$ es ¿No es nilpotente sin torsión residual?
