Character orthogonality (source code)

= Character orthogonality

= Orthogonality of characters
{synonym}

Irreducible characters are orthonormal for $\langle\chi,\psi\rangle=|G|^{-1}\sum_g\chi(g)\overline{\psi(g)}$, and $\sum_\chi\chi(1)^2=|G|$.