Lie group
리 군 formula_1의 (리 대응 아래 대응하는) 리 대수가 formula_11라고 하자. 그렇다면, 그 리 군 딸림표현