リー群
Symmetric Lie group