##
**Attainability of the minimal exponent of exponential growth for some Fuchsian groups.**
*(English.
Russian original)*
Zbl 1262.20037

Math. Notes 88, No. 1, 144-148 (2010); translation from Mat. Zametki 88, No. 1, 152-156 (2010).

From the introduction: Suppose that a group \(G\) is generated by a finite set of elements \(S\). By the growth function \(F_{G,S}(m)\) of the group \(G\) with respect to \(S\) we mean the function whose value is the number of elements of \(G\) expressible by group words of length not exceeding \(m\) in the alphabet \(S\). By the obvious inequality \(F_{G,S}(k+m)\leq F_{G,S}(k)F_{G,S}(m)\), the following limit exists: \(\lambda_{G,S}=\lim_{m\to\infty}(F_{G,S}(m))^{1/m}\). This limit is referred to as the exponent of exponential growth
or the growth exponent of \(G\) with respect to the set of generators \(S\). Since only the growth exponents of this kind are treated in what follows, we omit below the word “exponential” for brevity. By the minimal growth exponent of \(G\) we mean the greatest lower bound \(\lambda_G=\inf_S\lambda_{G,S}\) over all finite sets of generators \(S\) of the group \(G\).

In this note, we prove that the minimal growth exponent is attained for the groups \[ H_{g,n}=\langle s_1,t_1,\dots,s_g,t_g\mid ([s_1,t_1]\cdots[s_g,t_g])^n=1\rangle\quad\text{with }n>1. \] These groups are naturally related to the fundamental groups of two-dimensional orientable surfaces and are also known as Fuchsian groups of signature \((g;n)\). Indeed, adding one generating element \(z=([s_1,t_1]\cdots[s_g,t_g])^{-1}\), one can represent the above presentation of the group \(H_{g,n}\) as the following canonical presentation of a Fuchsian group with one elliptic element \(z\) of order \(n\): \(\langle s_1,t_1,\dots,s_g,t_g,z\mid z[s_1,t_1]\cdots[s_g,t_g]=1,\;z^n=1\rangle\).

Theorem 1. The minimal growth exponent of the group \(G=H_{g,n}\) with \(n>1\) is attained at some set of generators which consists of \(2g\) elements.

In this note, we prove that the minimal growth exponent is attained for the groups \[ H_{g,n}=\langle s_1,t_1,\dots,s_g,t_g\mid ([s_1,t_1]\cdots[s_g,t_g])^n=1\rangle\quad\text{with }n>1. \] These groups are naturally related to the fundamental groups of two-dimensional orientable surfaces and are also known as Fuchsian groups of signature \((g;n)\). Indeed, adding one generating element \(z=([s_1,t_1]\cdots[s_g,t_g])^{-1}\), one can represent the above presentation of the group \(H_{g,n}\) as the following canonical presentation of a Fuchsian group with one elliptic element \(z\) of order \(n\): \(\langle s_1,t_1,\dots,s_g,t_g,z\mid z[s_1,t_1]\cdots[s_g,t_g]=1,\;z^n=1\rangle\).

Theorem 1. The minimal growth exponent of the group \(G=H_{g,n}\) with \(n>1\) is attained at some set of generators which consists of \(2g\) elements.

### MSC:

20F05 | Generators, relations, and presentations of groups |

20H10 | Fuchsian groups and their generalizations (group-theoretic aspects) |

20F69 | Asymptotic properties of groups |

### Keywords:

finitely generated groups; Fuchsian groups; groups of exponential growth; group words; growth functions; free products of groups; subgroups of finite index
PDF
BibTeX
XML
Cite

\textit{A. L. Talambutsa}, Math. Notes 88, No. 1, 144--148 (2010; Zbl 1262.20037); translation from Mat. Zametki 88, No. 1, 152--156 (2010)

Full Text:
DOI

### References:

[1] | P. de la Harpe, Topics in Geometric Group Theory, in Chicago Lectures in Math. (Univ. Chicago Press, Chicago, IL, 2000). · Zbl 0965.20025 |

[2] | A. L. Talambutsa, Mat. Zametki 78(4), 614–618 (2005) [Math. Notes 78 (3–4), 569–572 (2005)]. |

[3] | A. Sambusetti, Ann. Sci. École Norm. Sup. (4) 35(4), 477–488 (2002). · Zbl 1018.20036 |

[4] | J. S. Wilson, Invent. Math. 155(2), 287–303 (2004). · Zbl 1065.20054 |

[5] | R. C. Lyndon and P. E. Schupp, Combinatorial Group Theory (Springer-Verlag, Berlin-New York, 1977; Mir, Moscow, 1980). · Zbl 0368.20023 |

[6] | N. Peczynski, G. Rosenberger, and H. Zieschang, Invent. Math. 29(2), 161–180 (1975). · Zbl 0311.20031 |

[7] | G. Rosenberger, Monatsh. Math. 84(1), 55–68 (1977). · Zbl 0369.20014 |

[8] | M. Stall, Some Group Presentations with Rational Growth, http://www.faculty.jacobsuniversity.de/mstoll/papers/ratgrow.dvi . |

[9] | A. I. Markushevich, Theory of Analytic Functions, Vol. 1: Fundamentals of the Theory (Nauka, Moscow, 1967) [in Russian]. · Zbl 0148.05201 |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.