6
$\begingroup$

Let $G$ be a group with finite generating set $A$, define the distance $d(g,h)=\mathrm{min}\{n:gh^{-1}=a_1^{\varepsilon_1}\dots a_n^{\varepsilon_n}, a_i\in A,\varepsilon_i=\pm1\}.$ Define the ball of radius $n$, $B_{G,A}(n)=\{g\in G:g=a_1^{\varepsilon_1}\dots a_m^{\varepsilon_m}, a_i\in A,\varepsilon_i=\pm1,m\leq n\}.$ And define the function $\beta_{G,A}(n)=|B_{G,A}(n)|$, I want to prove that this is a linear function if and only if the group is virtually cyclic. I proved that if the group is virtually cyclic then this function is linear, I have some problems in the other direction. Looking at the example of the infinite dihedral group $D_\infty=\langle a,b|a^2=b^2=1\rangle$, I thought that maybe if we define $g$ to be the product of all the generators and $H$ the subgroup generated by $g$ then this can work, but I couldn't prove that this is true (I even don't know if this is true).

Of course we can suppose $G$ is infinite, otherwise this is trivial.

  • 1
    The approach I'm familiar with uses the ends of the Cayley graph of the group. (Pretty much) the same question has been asked here: http://mathoverflow.net/questions/21578/is-there-a-simple-proof-that-a-group-of-linear-growth-is-quasi-isometric-to-z2012-05-31

0 Answers 0