리 군
Compact Lie group case.