Let $X$ be a closed, orientable surface of genus at least 2, and let $\phi: \pi_1(X) \to \pi_1(X)$ be a surjective homomorphism. Is $\phi$ necessarily injective?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Yes. Surface groups are Hopfian. More generally, all residually finite groups are Hopfian  see Theorem IV.4.10 in Lyndon and Schupp's book "Combinatorial Group Theory". 

