Central average of representation matrices at squares
ID: central-average-of-representation-matrices-at-squares
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.
New to topics? Read the docs here!