Base orthonormée des fonctions centrales

Théorème : Les caractères de G forment un système orthonormé de l'espace des fonctions centrales. On en déduit que le nombre de caractères irréductibles est le nombres de classes de conjugaison de G (pré-requis pour dresser une table de caractères)