IwasawaDecomposition
P160159
predicate
Indicates that a group element is expressed as a product of elements from its Iwasawa components (typically a maximal compact subgroup, a maximal abelian subgroup, and a nilpotent subgroup) according to the Iwasawa decomposition.