Skip to main content
2 of 2
added 51 characters in body; edited tags
aglearner
  • 14.3k
  • 8
  • 40
  • 99

Residual finiteness of fundamental groups of surfaces.

What is a simple way to prove that for any compact two-dimensional surface $S$ and an element $g$ in $\mathbb \pi_1(S)$ there exists a finite index normal subgroup $\Gamma\subset \pi_1(S)$ such that $g\notin \Gamma$?

In fact, who was first to prove this statement?

aglearner
  • 14.3k
  • 8
  • 40
  • 99