Orthogonal group representations of a finite group 
are group representations over the complex
numbers whose characters 
and 
satisfy
 |
The sum is over all elements of 
. In particular, inequivalent irreducible
representations have orthogonal characters
with respect to this Hermitian inner product.
