Sum of squares of irreducible degrees

ID: sum-of-squares-of-irreducible-degrees

If are the complex irreducible representations of a finite group and , decomposition of the regular representation gives

New to topics? Read the docs here!