Reference request fundamental group of surface of genus $g$ and $n$ boundary components

512 Views Asked by At

Let $\Sigma_{g,n}$ be the compact, oriented surface of genus $g$ with $n$ disjoint open discs removed, where the boundary circles are called $\partial_i$. I would like to find a reference for the following group presentation of the fundamental group and the first homology group:

$\pi_1(\Sigma_{g,n},x) =\langle \alpha_1,\ldots,\alpha_g,\beta_1,\ldots,\beta_g, \partial_1,\ldots, \partial_n \rangle \Big/ \Big(\prod_{i=1}^g \alpha_i\beta_i\alpha_i^{-1}\beta_i^{-1}\prod_{j=1}^n \partial_j\Big) \\ H_1(\Sigma_{g,n},\mathbb{Z}) =\pi_1(\Sigma_{g,n},x)/[\pi_1(\Sigma_{g,n},x),\pi_1(\Sigma_{g,n},x)] =\mathbb{Z}^{2g+n}\Big/ \Big(\prod_{j=1}^n \partial_j\Big)$

Does anyone know a reference? It would be nice if the reference would also include a picture with the $\alpha_i$ and $\beta_i$. If $n=0$ the result can for example be found in Hatchers algebraic topology, page 51. Of course, if we know the first fact, the second one is quite clear.