The Cartan decomposition is a decomposition of a semisimple Lie group or Lie algebra, which plays an important role in their structure theory and representation theory. It generalizes the polar decomposition of matrices.
Read more about Cartan Decomposition: Cartan Involutions On Lie Algebras, Cartan Pairs, Cartan Decomposition On The Lie Group Level, Relation To Polar Decomposition