1: \begin{definition}[cf.~\cite{Breuer} Theorem 3.2, Theorem 3.14]  

2: \label{surface kernel definition}

3: A \emph{signature} is a list of integers $(g_0; e_1,\ldots,e_r)$ with

4: $g_0\geq 0$, $r \geq 0$, and $e_i \geq 2$.  \\

5: 

6: 

7: A set of \emph{surface kernel generators} for a finite group $G$ and signature

8: $(g_0; e_1,\ldots,e_r)$ is a sequence of elements $a_1,\ldots,

9: a_{g_0}, b_{1},\ldots, b_{g_0}, g_1,\ldots, g_r \in G$ such that

10: \begin{enumerate}

11: \item  $\langle a_1,\ldots,

12: a_{g_0}, b_{1},\ldots, b_{g_0}, g_1,\ldots, g_r \rangle = G$;

13: \item $\Order(g_i)=e_i$; and

14: \item $\prod_{j=1}^{g_0} [a_j,b_j] \prod_{i=1}^{r} g_i = \Id_G$.

15: \end{enumerate}

16: \end{definition}

17: