ヘルマン・ワイル
The finite-dimensional irreducible representations πλ of "U" are indexed by certain λ in formula_142. The corresponding character formula and dimension formula of Hermann Weyl give explicit formulas for