Lie group decomposition

building Lie groups out of subgroups