Character inner product
ID: character-inner-product
For complex class functions on a finite group , the character inner product isIf is irreducible, this inner product is its multiplicity in the representation with character .
New to topics? Read the docs here!