リー群
Lie group decompositions