Nuclear $C\sp *$-algebras have amenable unitary groups

Alan L. T. Paterson
1992 Proceedings of the American Mathematical Society  
Let A be a unital C*-algebra with unitary group G. Give G the relative (Banach space) weak topology. Then G is a topological group, and we show that A is nuclear if and only if there exists a left invariant mean on the space of right uniformly continuous, bounded, complex-valued functions on G.
doi:10.1090/s0002-9939-1992-1076577-8 fatcat:gidbbx22vraprlgs4vssqgmfcy