For a complex irreducible representation of a finite group , the sum commutes with every : conjugation sends its summands to , merely permuting the summation index. Schur's lemma gives . Taking the trace yields , proving the identity. Here is the Frobenius-Schur indicator. For a reducible representation the sum is still central in its image, but need not be one scalar on all irreducible constituents.
Articles by others on the same topic
There are currently no matching articles.