Orthogonality of Irreducible Characters for Compact Lie Groups identifies how characters encode irreducible representations and conjugacy information. In concrete terms, it formalizes the statement that let be a compact Lie group, and let denote the normalized Haar probability measure on ..