Quantifying residual finiteness of linear groups

Normal residual finiteness growth measures how well a finitely generated residually finite group is approximated by its finite quotients. We show that any finitely generated linear group Gamma <= GL(d)(K) has normal residual finiteness growth asymptotically bounded above by (n log n)(d2-1); notably this bound depends only on the degree of linearity of Gamma. If char K = 0 or K is a purely transcendental extension of a finite field, then this bound can be improved to n(d2-1). We also give lower bounds on the normal residual finiteness growth of P in the case that P is a finite index subgroup of G(Z) or G(F-p[t]), where G is Chevalley group of rank at least 2. These lower bounds agree with the computed upper bounds, providing exact asymptotics" on the normal residual finiteness growth. In particular, finite index subgroups of G(Z) and G(Fp[t]) have normal residual finiteness growth n(dim(G)). We also compute the non-normal residual finiteness growth in the above cases; for the lower bounds the exponent dim(G) is replaced by the minimal codimension of a maximal parabolic subgroup of G. (C) 2017 Elsevier Inc. All rights reserved.