nLab
Iwasawa decomposition

References