can any subgroup of the unitary group of full matrix alg $M_n(\mathbb{C})$ be approximated on finite sets by a finite subgroup? is this true for amenable groups? <script type="text/javascript" src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script>