Character inner product 2026-10-03
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 .