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.

All labels observed (1)

Label Occurrences
IwasawaDecomposition canonical 2

Description generation (PDg)

The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.

Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning.  
# Instructions
Focus on describing the relationship, not the entities themselves. 
# Response Format
Begin the description with \' Indicates...\'
Input
Predicate: IwasawaDecomposition
Generated description
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.

Sample triples (2)

Subject Object
PSL(2,ℝ) KAN with K≅SO(2), A≅ℝ, N≅ℝ
SL(2,R) KAN decomposition with K=SO(2)