リー群
Compact Lie group case.