High Quality Content by WIKIPEDIA articles! In mathematics, the Weyl character formula in representation theory describes the characters of irreducible representations of compact Lie groups in terms of their highest weights. It is named after Hermann Weyl, who proved it in the late 1920s. By definition, the character of a representation r of G is the trace of r(g), as a function of a group element g in G. The irreducible representations in this case are all finite-dimensional (this is part of the Peter-Weyl theorem); so the notion of trace is the usual one from linear algebra. Knowledge of the character of r is a good substitute for r itself, and can have algorithmic content. Weyl's formula is a closed formula for the , in terms of other objects constructed from G and its Lie algebra. The representations in question here are complex, and so without loss of generality are unitary representations; irreducible therefore means the same as indecomposable, i.e. not a direct sum of two subrepresentations.