リー群
Lie group representation