リー群
Lie group structure.