can any subgroup of the unitary group of full mx alg M_n(C) be approximated on finite sets by a finite subgroup? is this true for amenable groups?