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 was proved by Hermann Weyl (1925, 1926a, 1926b).
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.
Read more about Weyl Character Formula: Statement of Weyl Character Formula, Weyl Denominator Formula, Weyl Dimension Formula, Freudenthal's Formula, Weyl–Kac Character Formula, Harish-Chandra Character Formula, See Also
Famous quotes containing the words character and/or formula:
“The true worth of a race must be measured by the character of its womanhood.”
—Mary Mcleod Bethune (1875–1955)
“Given for one instant an intelligence which could comprehend all the forces by which nature is animated and the respective positions of the beings which compose it, if moreover this intelligence were vast enough to submit these data to analysis, it would embrace in the same formula both the movements of the largest bodies in the universe and those of the lightest atom; to it nothing would be uncertain, and the future as the past would be present to its eyes.”
—Pierre Simon De Laplace (1749–1827)