Einstein Institute of Mathematics, Edmond Safra Campus, Givat Ram, 91904 Jerusalem, Israel
Abstract:
Fix a prime and an integer with . Define the family of finite groups
for . We will prove that there exist two positive constants and such that for any and any generating set ,
when is the diameter of the finite group with respect to the set of generators . It is defined as the maximum over of the length of the shortest word in representing .
This result shows that these families of finite groups have a poly-logarithmic bound on the diameter with respect to any set of generators. The proof of this result also provides an efficient algorithm for finding such a poly-logarithmic representation of any element.