Iwasawa decomposition

Definition
Suppose $$G$$ is a connected semisimple real Lie group. The Iwasawa decomposition is an expression of $$G$$ as a product $$KAN$$ where $$K$$ is compact, $$A$$ is abelian, and $$N$$ is nilpotent (unipotent?).