Let $G$ be a Hurwitz group, i.e the automorphism group of some Hurwitz surface $C$. Then Hurwitz's automorphisms theorem shows that the quotient map of $C$ by $G$ has ramification points of indexes $2$, $3$ and $7$. My question is how to deduce that $G$ is generated by elements $x$ and $y$ satisfying $x^2=y^3=(xy)^7=1$?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.
By the definition, the quotient $C/G$ is the orbifold $O=S^2(2,3,7)$: Sphere with 3 cone points with pointstabilizers $Z_2, Z_3, Z_7$. Thus, the fundamental group $\pi$ of $O$ has the presentation $$ \langle a, b, c a^2, b^3, c^7, abc\rangle. $$ (You can prove it by appealing to van Kampen theorem for instance, or by looking at the fundamental domain for the action of $\pi$ on the universal cover.) The usual covering theory applies to orbifolds, so every covering of $O$ is given by a subgroup in $\pi$. Regular coverings correspond to normal subgroups $N$ in $\pi$, so the quotient group is $\pi/N$ (same as the deckgroup $G$ in your question) has the properties you need. 

