Let Tk be a compact orientable surface of genus k. By the mapping class group, M(Tk), of Tk we mean the group of all orientation-preserving homeomorphisms of Tkk modulo those isotopic to the identity. We prove here that M(Tk) is residually finite, using the algebraic interpretation of M(Tk) due to Nielsen.
No takes yet. Share an insight, caveat, or question.
Edna K. Grossman (1974) studied this question.