 Character orthogonality

Irreducible characters are orthonormal for $⟨\chi ,\psi ⟩=|G{|}^{-1}{\sum }_g\chi (g)\overline{\psi (g)}$, and ${\sum }_{\chi }\chi (1{)}^2=|G|$.