Approximate groups, III: the unitary case

Abstract

By adapting the classical proof of Jordan's theorem on finite subgroups of linear groups, we show that every approximate subgroup of the unitary group U_n(C) is almost abelian.

19 pages, several revisions in the light of very helpful comments from the referee, including a simplification of the main argument