リー群
Lie group decomposition