リー群
Reductive Lie group