where is the Lie algebra of , is called the Cartan decomposition of . The exponential factor is invariant under conjugation by but is not a subgroup. The complexification is invariant under taking adjoints, since consists of unitary operators and of positive operators.
