El Problema de Nielsen (parte II)

Recordemos que el Problema de Nielsen consiste en determinar qué subgrupos del grupo modular Γ(Sg) pueden ser representados en Top(Sg). Por ejemplo, dado H⊂Γ(Sg) con H=<h> cíclico infinito, ¿es cierto que h es de orden infinito? Hagamos g=0 y consideremos el grupo modular Γ(S2). En 1926 H. Kneser publica el resultado que afirma que todo homeomorfismo de S2 que preserva orientación es isotópico a una rotación; el análogo diferenciable se debe a S. Smale . En el caso de considerar el grupo modular Γ±(S2) de todos los homeomorfismos (los que preservan orientación y los que no) se tiene que Γ±(S2) es isomorfo a Z2={1,a}, donde 1 es la identidad y a es la función antipodal x↦−x. Así, todo el grupo Γ±(S2) queda representado por las funciones identidad y antipodal. Tomemos el caso g=1. Recordemos el isomorfismo $\Gamma(S_g)\cong Out \pi_1(S_...