リー群
リー環の表現に対しては、対応するリー群の表現との整合性を課す。一般に、formula_28 がリー群の表現であれば、