李群
Compact Lie group case.