El teorema de los subgrupos normales de Margulis afirma que cualquier subgrupo normal de una red de rango superior es finito o de índice finito. La pregunta obvia es: ¿se pueden clasificar los subgrupos normales finitos de tales retículos? (incluso $SL(n, \mathbb{Z})$ y $Sp(2n, \mathbb{Z})$ sería un buen comienzo).
Respuesta
¿Demasiados anuncios?Estos son los subgrupos centrales, véase http://www.mathematik.uni-regensburg.de/loeh/seminars/normal_subgroup_thm.pdf . Se demuestra que todo subgrupo normal no central tiene índice finito (página 7).