리 군
Lie group decompositions