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$?
Residual finiteness of fundamental groups of surfaces.
aglearner
- 14.3k
- 8
- 40
- 99