の指標を知ることは自身の良い代替であり,アルゴリズム的内容を持ち得る.ワイルの公式はから構成される他の対象とのリー環のことばでをで表す.ここで問題の表現は複素でありしたがって一般性を失うことなくユニタリ表現である;したがって"既約"は"直既約",つまり2つの部分表現の直和でないことと同じ意味である.