リー群
Semi-simple Lie group