ワイルの指標公式
数学において，表現論におけるワイルの指標公式（）はコンパクトリー群の既約表現の指標をのことばで記述する． によって証明された．
定義により， の表現 の指標は群 の元 の関数としての のトレースである．この場合既約表現はすべて有限次元である（これはの一部である）．よってトレースの概念は線型代数学の通常のものである． の指標 を知ることは 自身の良い代替であり，アルゴリズム的内容を持ち得る．ワイルの公式は から構成される他の対象と のリー環のことばで をで表す．ここで問題の表現は複素でありしたがって一般性を失うことなくユニタリ表現である；したがって"既約"は"直既約"，つまり2つの部分表現の直和でないことと同じ意味である．