#cartan decomposition #lie group #lie algebra #symmetric space #KAK Decomposition