CartanDecomposition
P160160
predicate
Indicates a decomposition of a Lie group or Lie algebra element into a product (or sum) of components from a maximal compact subalgebra and its complementary subspace, as specified by the Cartan decomposition.