Supongamos que G(Z) es un grupo aritmético no compacto de rango superior (por ejemplo SLn(Z) con n≥3 o Sp2g(Z) con g≥2 ). He visto un resultado ( http://arxiv.org/abs/math/0409345 ) que dice que todo subgrupo de índice finito Γ de G(Z) contiene un subgrupo de índice finito más pequeño generado por tres elementos.
¿Alguien conoce algún ejemplo de G(Z) ¿en el que se puede sustituir el tres por el dos? Creo que Alan Reid tiene algún resultado en esta dirección.
[Editar] Que 2 sea suficiente es una conjetura, atribuida a Alex Lubotzky. Que 3 DO basta para los entramados no uniformes de mayor rango en el resultado mencionado en el enlace. Lo que pido es un solo ejemplo en el que basten 2 generadores.