For , right-multiplying by givesMake the bijective substitution , so . The sum becomes . HenceThus 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, soSince , we obtain
Articles by others on the same topic
There are currently no matching articles.