리 군
Nilpotent Lie group