# Talk:Peter-Weyl theorem

In the paragraph about consequences of the theorem, $\phi(\alpha)\neq e$ doesn 't make sense to me. Perhaps, the author meant $\phi(\alpha)\neq \phi(e)$?
I guess, the author denotes by $e$ the unit of the relevant group (even if different groups coexist in a single expression). Maybe indeed $\phi(\alpha)\neq \phi(e)$ is better.