Character inner product

ID: character-inner-product

For complex class functions on a finite group , the character inner product is
If is irreducible, this inner product is its multiplicity in the representation with character .

New to topics? Read the docs here!