リー群
Infinitesimal Lie group representations.