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.
| Attributes | Values |
|---|---|
| rdfs:comment |
|
| is known for of |