[math] \newcommand{\mathds}{\mathbb}[/math]

This article was automatically generated from a tex file and may contain conversion errors. If permitted, you may login and edit this article to improve the conversion.

Prove that given a compact quantum group [math]G[/math], in order for having a faithful model [math]C(G)\subset M_K(C(T))[/math], the discrete dual [math]\Gamma=\widehat{G}[/math] must be amenable.