リー群
Semisimple Lie group