arXiv++ Combinatorics

Let G be a Chevalley group scheme of rank l. We show that the following holds for some absolute constant d>0 and two functions p_0=p_0(l) and C=C(l,p). Let p>p_0 be a prime number and let G_n:=G(\Z/p^n\Z) be the family of finite groups for n>0. Then for any n>0 and any subset S which generates G_n we have diam(G_n,S)< C n^d, i.e., any element of G_n is a product of Cn^d elements from S\cup S^{-1}. In particular, for some C'=C'(l,p) and for any n>0 we have, diam(G_n,S)< C' log^d(|G_n|). Our proof is elementary and effective, in the sense that the constant d and the functions p_0(l) and C(l,p) are calculated explicitly. Moreover, there exists an efficient algorithm to compute a short path between any two vertices in any Cayley graph of the groups G_n.

We prove that if G is SL_2(F) or PSL_2(F), where F is a finite field, and A is a set of generators of G, then either |AAA| > |A|^(1+epsilon), where epsilon is an absolute positive real number, or AAA=G. As a corollary we get that the diameter of any Cayley graph of G is Poly-Logarithmic in |G|.

Fix a prime $p$ and an integer $m$ with $p> m \geq 2$. Define the family of finite groups \[ G_n :=SL_m (\mathbb{Z}/p^{n}\mathbb{Z}) \] for $n=1,2,... $. We will prove that there exist two positive constants $C$ and $d$ such that for any $n$ and any generating set $S\subseteq G_{n}$, \[ diam(G_n,S) \leq C \cdot log^d (|G_n|)\] when $diam (G,S)$ is the diameter of the finite group $G$ with respect to the set of generators $S$. It is defined as the maximum over $g \in G$ of the length of the shortest word in $S \cup S^{-1}$ representing $g$. This result shows that these families of finite groups have a poly-logarithmic bound on the diameter with respect to \emph{any} set of generators. The proof of this result also provides a efficient algorithm for finding such a poly-logarithmic representation of any element. In addition it shows that the power $d$ in the $log$ bound can be arbitrary close to 3 for $m=2$ and arbitrary close to 4 for $m>2$.