Existentially closed -groups
We prove that the Cayley graphs of are expanders with respect to the projection of any fixed elements in generating a Zariski dense subgroup.
We show that random Cayley graphs of finite simple (or semisimple) groups of Lie type of fixed rank are expanders. The proofs are based on the Bourgain-Gamburd method and on the main result of our companion paper [BGGT].
Let be a fixed symmetric finite subset of that generates a Zariski dense subgroup of when we consider it as an algebraic group over by restriction of scalars. We prove that the Cayley graphs of with respect to the projections of is an expander family if ranges over square-free ideals of if and is an arbitrary numberfield, or if and .