리 군
Lie group structure.