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.

(And please do not forget to sign your messages with four tildas.) Boris Tsirelson (talk) 17:35, 23 May 2014 (CEST)