Uniform independence in linear groups. (Q938282)

Tits's alternative says that if \(\Gamma\) is a finitely generated group of matrices over a field which does not contain a solvable subgroup of finite index then \(\Gamma\) contains two elements which generate a non-Abelian free subgroup. The authors show that there are such two elements (depending on the finite generating set) with bounded length with respect to any finite generating set.