Growth functions of groups of surfaces (Q1922300)

The main result is a formula for the growth function (here the generating function \(\sum d_nz^n\), where \(d_n\) is the number of the elements in a group \(G\), whose minimal presentation as words in the alphabet \(X=\{a_1,\dots,a_n,a^{-1}_1,\dots,a^{-1}_n\}\) has length \(n\)) of the fundamental group of a closed orientable surface of genus \(g\): \(G=\langle X\mid\prod^g_{i=1}[a_i,b_i]=1\rangle\). The proof uses the term rewriting approach and standard formula for calculating generating series in a confluent term rewriting system.