リー群
Nilpotent Lie group