For , right-multiplying by gives
Make the bijective substitution , so . The sum becomes . Hence
Thus is an intertwining operator from the second group representation to the first. This is the Schur averaging of rectangular matrices construction.
The preceding intertwining identity makes a homomorphism between the corresponding simple modules. By Schur's lemma, a nonzero such homomorphism would be an isomorphism. The representations are inequivalent, so this is impossible. Therefore
For equal irreducible group representations, the intertwining identity and the complex Schur's lemma give . Conjugation preserves trace, so
Since , we obtain

Articles by others on the same topic (0)

There are currently no matching articles.