리 군
Reductive Lie group