View source for Complexification (Lie group)

{{Short description|Universal construction of a complex Lie group from a real Lie group}}
{{Lie groups |Semi-simple}}
In [[mathematics]], the '''complexification''' or '''universal complexification''' of a [[real Lie group]] is given by a continuous homomorphism of the group into a [[complex Lie group]] with the [[universal property]] that every continuous homomorphism of the original group into another complex Lie group extends compatibly to a [[Complex analytic function|complex analytic]] homomorphism between the complex Lie groups. The complexification, which always exists, is unique [[Natural isomorphism|up to unique isomorphism]]. Its [[Lie algebra]] is a quotient of the [[complexification]] of the Lie algebra of the original group. They are isomorphic if the original group has a quotient by a discrete normal subgroup which is linear.

For [[compact Lie group]]s, the complexification, sometimes called the '''Chevalley complexification''' after [[Claude Chevalley]], can be defined as the group of complex characters of the [[Hopf algebra]] of [[representative function]]s, i.e. the [[matrix coefficient]]s of finite-dimensional [[unitary representation|representation]]s of the group. In any finite-dimensional faithful unitary representation of the compact group it can be realized concretely as a closed subgroup of the complex [[general linear group]]. It consists of operators with [[polar decomposition]] {{math|''g'' {{=}} ''u'' • exp ''iX''}}, where {{math|''u''}} is a unitary operator in the compact group and {{math|''X''}} is a [[skew-adjoint operator]] in its Lie algebra. In this case the complexification is a [[algebraic group|complex algebraic group]] and its Lie algebra is the complexification of the Lie algebra of the compact Lie group.

==Universal complexification==

===Definition===
If {{math|''G''}} is a Lie group, a '''universal complexification''' is given by a complex Lie group {{math|''G''<sub>'''C'''</sub>}} and a continuous homomorphism {{math|''φ'': ''G'' → ''G''<sub>'''C'''</sub>}} with the universal property that, if {{math|''f'': ''G'' → ''H''}} is an arbitrary continuous homomorphism into a complex Lie group {{math|''H''}}, then there is a unique complex analytic homomorphism {{math|''F'': ''G''<sub>'''C'''</sub> →  ''H''}} such that {{math|''f'' {{=}} ''F'' ∘ ''φ''}}.

Universal complexifications always exist and are unique up to a unique complex analytic isomorphism (preserving inclusion of the original group).

===Existence===
If {{math|''G''}} is connected with Lie algebra {{math|𝖌}}, then its [[universal covering group]] {{math|'''G'''}} is simply connected. Let {{math|'''G'''<sub>'''C'''</sub>}} be the simply connected complex Lie group with Lie algebra {{math|𝖌<sub>'''C'''</sub> {{=}} 𝖌 ⊗ '''C'''}}, let {{math|Φ:  '''G'''  → '''G'''<sub>'''C'''</sub>}} be the natural homomorphism (the unique morphism such that {{math|Φ<sub>*</sub>: 𝖌 ↪ 𝖌 ⊗ '''C'''}} is the canonical inclusion) and suppose {{math|''π'': '''G'''  → ''G''}} is the universal covering map, so that {{math|ker ''π''}} is the fundamental group of {{math|''G''}}. We have the inclusion {{math|Φ(ker ''π'') ⊂ Z('''G'''<sub>'''C'''</sub>)}}, which follows from the fact that the kernel of the adjoint representation of {{math|'''G'''<sub>'''C'''</sub>}} equals its centre, combined with the equality 

:<math>(C_{\Phi(k)})_*\circ \Phi_* = \Phi_* \circ (C_k)_* = \Phi_*</math>

which holds for any {{math|''k'' ∈ ker ''π''}}. Denoting by {{math|Φ(ker ''π'')<sup>*</sup>}} the smallest closed normal Lie subgroup of {{math|'''G'''<sub>'''C'''</sub>}} that contains {{math|Φ(ker ''π'')}}, we must now also have the inclusion {{math|Φ(ker ''π'')<sup>*</sup> ⊂ Z('''G'''<sub>'''C'''</sub>)}}. We define the universal complexification of {{math|''G''}} as 

:<math>G_{\mathbf C}=\frac{\mathbf G_{\mathbf C}}{\Phi(\ker \pi)^*}.</math>

In particular, if {{math|''G''}} is simply connected, its universal complexification is just {{math|'''G'''<sub>'''C'''</sub>}}.<ref>See:

* {{harvnb|Hochschild|1965|P=204-205}}
* {{harvnb|Bourbaki|1981|pp=212–214}}</ref> 

The map {{math|''φ'': ''G'' → ''G''<sub>'''C'''</sub>}} is obtained by passing to the quotient. Since {{math|''π''}} is a surjective submersion, smoothness of the map {{math|''π''<sub>'''C'''</sub> ∘ Φ}} implies smoothness of {{math|''φ''}}.

[[Image:Complexification-quotient-map.svg|frameless|none|alt=Construction of the complexification map|Construction of the complexification map|350px]]

For non-connected Lie groups {{math|''G''}} with identity component {{math|''G''<sup>o</sup>}} and component group {{math|Γ {{=}} ''G'' / ''G''<sup>o</sup>}}, the extension

:<math> \{1\} \rightarrow G^o \rightarrow G \rightarrow \Gamma \rightarrow \{1\} </math>

induces an extension

:<math>\{1\} \rightarrow (G^o)_{\mathbf{C}} \rightarrow G_{\mathbf{C}} \rightarrow \Gamma \rightarrow \{1\} </math>

and the complex Lie group {{math|''G''<sub>'''C'''</sub>}} is a complexification of {{math|''G''}}.<ref>{{harvnb|Bourbaki|1981|pp=210–214}}</ref>

====Proof of the universal property====
The map {{math|''φ'': ''G'' → ''G''<sub>'''C'''</sub>}} indeed possesses the universal property which appears in the above definition of complexification. The proof of this statement naturally follows from considering the following instructive diagram.

[[File:Universal property of complexification.svg|frameless|alt=Universal property of complexification|Universal property of complexification|220px]]

Here, <math>f\colon G\rightarrow H</math> is an arbitrary smooth homomorphism of Lie groups with a complex Lie group as the codomain.

{{Hidden begin| titlestyle = color:green;background:lightgrey;|title=Existence of the map F}}
For simplicity, we assume <math>G</math> is connected. To establish the existence of <math>F</math>, we first naturally extend the morphism of Lie algebras <math>f_*\colon \mathfrak g\rightarrow \mathfrak h</math> to the unique morphism <math>\overline f_*\colon \mathfrak g_{\mathbf C}\rightarrow \mathfrak h</math> of complex Lie algebras. Since <math>\mathbf G_{\mathbf C}</math> is simply connected, Lie's second fundamental theorem now provides us with a unique complex analytic morphism <math>\overline F\colon \mathbf G_{\mathbf C}\rightarrow H</math> between complex Lie groups, such that <math>(\overline F)_*=\overline f_*</math>. We define <math>F\colon G_{\mathbf C}\rightarrow H</math> as the map induced by <math>\overline F</math>, that is: <math>F(g\,\Phi(\ker \pi)^*)=\overline F(g)</math> for any <math>g\in\mathbf G_{\mathbf C}</math>. To show well-definedness of this map (i.e. <math>\Phi(\ker\pi)^*\subset \ker \overline F</math>), consider the derivative of the map <math>\overline F\circ \Phi</math>. For any <math>v\in T_e \mathbf G\cong \mathfrak g</math>, we have

:<math>(\overline F)_*\Phi_*v=(\overline F)_*(v\otimes 1)=f_*\pi_*v</math>,

which (by simple connectedness of <math>\mathbf G</math>) implies <math>\overline F\circ\Phi=f\circ\pi</math>. This equality finally implies <math>\Phi(\ker\pi)\subset \ker \overline F</math>, and since <math>\ker \overline F</math> is a closed normal Lie subgroup of <math>\mathbf G_{\mathbf C}</math>, we also have <math>\Phi(\ker \pi)^*\subset \ker \overline F</math>. Since <math>\pi_{\mathbb C}</math> is a complex analytic surjective submersion, the map <math>F</math> is complex analytic since <math>\overline F</math> is. The desired equality <math>F\circ\varphi=f</math> is imminent.
{{Hidden end}}

{{Hidden begin| titlestyle = color:green;background:lightgrey;|title=Uniqueness of the map F}}
To show uniqueness of <math>F</math>, suppose that <math>F_1,F_2</math> are two maps with <math>F_1\circ\varphi=F_2\circ\varphi=f</math>. Composing with <math>\pi</math> from the right and differentiating, we get <math>(F_1)_*(\pi_{\mathbf C})_*\Phi_*=(F_2)_*(\pi_{\mathbf C})_*\Phi_*</math>, and since <math>\Phi_*</math> is the inclusion <math>\mathfrak g\hookrightarrow \mathfrak g_{\mathbf C}</math>, we get <math>(F_1)_*(\pi_{\mathbf C})_*=(F_2)_*(\pi_{\mathbf C})_*</math>. But <math>\pi_{\mathbf C}</math> is a submersion, so <math>(F_1)_*=(F_2)_*</math>, thus connectedness of <math>G</math> implies <math>F_1=F_2</math>.
{{Hidden end}}

===Uniqueness===
The universal property implies that the universal complexification is unique up to complex analytic isomorphism.

===Injectivity===
If the original group is linear, so too is the universal complexification and the homomorphism between the two is an inclusion.<ref>{{harvnb|Hochschild|1966}}</ref> {{harvtxt|Onishchik|Vinberg|1994}} give an example of a connected real Lie group for which the homomorphism is not injective even at the Lie algebra level: they take the product of {{math|'''T'''}} by the [[universal covering group]] of {{math|SL(2,'''R''')}} and quotient out by the discrete cyclic subgroup generated by an irrational rotation in the first factor and a generator of the center in the second.

===Basic examples===
The following isomorphisms of complexifications of Lie groups with known Lie groups can be constructed directly from the general construction of the complexification.

* The complexification of the [[special unitary group]] of 2x2 matrices is 

::<math>\mathrm{SU}(2)_{\mathbf C}\cong \mathrm{SL}(2,\mathbf C)</math>.

:This follows from the isomorphism of Lie algebras
::<math>\mathfrak{su}(2)_{\mathbf C}\cong \mathfrak{sl}(2,\mathbf C)</math>,
:together with the fact that <math>\mathrm{SU}(2)</math> is simply connected.

* The complexification of the [[special linear group]] of 2x2 matrices is 

::<math>\mathrm{SL}(2,\mathbf C)_{\mathbf C}\cong \mathrm{SL}(2,\mathbf C)\times \mathrm{SL}(2,\mathbf C)</math>. 

:This follows from the isomorphism of Lie algebras
::<math>\mathfrak{sl}(2,\mathbf C)_{\mathbf C}\cong \mathfrak{sl}(2,\mathbf C) \oplus \mathfrak{sl}(2,\mathbf C)</math>,
:together with the fact that <math>\mathrm{SL}(2,\mathbf C)</math> is simply connected.

* The complexification of the [[special orthogonal group]] of 3x3 matrices is 

::<math>\mathrm{SO}(3)_{\mathbf C}\cong \frac{\mathrm{SL}(2,\mathbf C)}{\mathbf Z_2}\cong \mathrm{SO}^+(1,3)</math>,

:where <math>\mathrm{SO}^+(1,3)</math> denotes the proper orthochronous [[Lorentz group]]. This follows from the fact that <math>\mathrm{SU}(2)</math> is the universal (double) cover of <math>\mathrm{SO}(3)</math>, hence:
::<math>\mathfrak{so}(3)_{\mathbf C}\cong \mathfrak{su}(2)_{\mathbf C} \cong\mathfrak{sl}(2,\mathbf C)</math>.
:We also use the fact that <math>\mathrm{SL}(2,\mathbf C)</math> is the universal (double) cover of <math>\mathrm{SO}^+(1,3)</math>.

* The complexification of the proper orthochronous Lorentz group is 

::<math>\mathrm{SO}^+(1,3)_{\mathbf C}\cong \frac{\mathrm{SL}(2,\mathbf C)\times \mathrm{SL}(2,\mathbf C)}{\mathbf Z_2}</math>. 

:This follows from the same isomorphism of Lie algebras as in the second example, again using the universal (double) cover of the proper orthochronous Lorentz group.

* The complexification of the special orthogonal group of 4x4 matrices is

::<math>\mathrm{SO}(4)_{\mathbf C}\cong \frac{\mathrm{SL}(2,\mathbf C)\times \mathrm{SL}(2,\mathbf C)}{\mathbf Z_2}</math>.

:This follows from the fact that <math>\mathrm{SU}(2)\times\mathrm{SU}(2)</math> is the universal (double) cover of <math>\mathrm{SO}(4)</math>, hence <math>\mathfrak{so}(4)\cong \mathfrak{su}(2)\oplus\mathfrak{su}(2)</math> and so <math>\mathfrak{so}(4)_{\mathbf C}\cong \mathfrak{sl}(2,\mathbf C)\oplus\mathfrak{sl}(2,\mathbf C)</math>.

The last two examples show that Lie groups with isomorphic complexifications may not be isomorphic. Furthermore, the complexifications of Lie groups <math>\mathrm{SU}(2)</math> and <math>\mathrm{SL}(2,\mathbf C)</math> show that complexification is not an idempotent operation, i.e. <math>(G_{\mathbf C})_{\mathbf C}\not\cong G_{\mathbf C}</math> (this is also shown by complexifications of <math>\mathrm{SO}(3)</math> and <math>\mathrm{SO}^+(1,3)</math>).

==Chevalley complexification==

===Hopf algebra of matrix coefficients===
If {{math|''G'' }}is a compact Lie group, the *-algebra {{math|''A''}} of matrix coefficients of finite-dimensional unitary representations is a uniformly dense *-subalgebra of {{math|''C''(''G'')}}, the *-algebra of complex-valued continuous functions on {{math|''G''}}. It is naturally a [[Hopf algebra]] with [[comultiplication]] given by

:<math>\displaystyle{\Delta f(g,h)= f(gh).}</math>

The characters of {{math|''A''}} are the *-homomorphisms of {{math|''A''}} into {{math|'''C'''}}. They can be identified with the point evaluations {{math|''f'' ↦ ''f''(''g'')}} for {{math|''g''}} in {{math|''G''}} and the comultiplication allows the group structure on {{math|''G''}} to be recovered. The homomorphisms of {{math|''A''}} into {{math|'''C'''}} also form a group. It is a complex Lie group and can be identified with the complexification {{math|''G''<sub>'''C'''</sub>}} of {{math|''G''}}. The *-algebra {{math|''A''}} is generated by the matrix coefficients of any faithful representation {{mvar|σ}} of {{math|''G''}}. It follows that {{mvar|σ}} defines a faithful complex analytic representation of {{math|''G''<sub>'''C'''</sub>}}.<ref>See:
*{{harvnb|Hochschild|1965}}
*{{harvnb|Chevalley|1946}}
*{{harvnb|Bröcker|tom Dieck|1985}}
</ref>

===Invariant theory===
The original approach of {{harvtxt|Chevalley|1946}} to the complexification of a compact Lie group can be concisely stated within the language of classical [[invariant theory]], described in {{harvtxt|Weyl|1946}}. Let {{math|''G''}} be a closed subgroup of the [[unitary group]] {{math|''U''(''V'')}} where {{math|''V''}} is a finite-dimensional complex inner product space. Its Lie algebra consists of all skew-adjoint operators {{math|''X''}} such that {{math|exp ''tX''}} lies in {{math|''G''}} for all real {{math|''t''}}. Set {{math|''W'' {{=}} ''V'' ⊕ '''C'''}} with the trivial action of {{math|''G''}} on the second summand. The group {{math|''G''}} acts on {{math|''W''<sup>⊗''N'' </sup>}}, with an element {{math|''u''}} acting as {{math|''u''<sup>⊗''N''</sup>}}. The [[commutant]] (or centralizer algebra) is denoted by {{math|''A''<sub>''N''</sub> {{=}} End<sub>''G''</sub> ''W''<sup>⊗''N''</sup>}}. It is generated as a *-algebra by its unitary operators and its commutant is the *-algebra spanned by the operators {{math|''u''<sup>⊗''N''</sup>}}. The complexification {{math|''G''<sub>'''C'''</sub>}} of {{math|''G''}} consists of all operators {{math|''g''}} in {{math|GL(''V'')}} such that {{math|''g''<sup>⊗''N''</sup>}} commutes with {{math|''A''<sub>''N''</sub>}} and {{math|''g''}} acts trivially on the second summand in {{math|'''C'''}}. By definition it is a closed subgroup of {{math|GL(''V'')}}. The defining relations (as a commutant) show that {{math|''G''}} is an algebraic subgroup. Its intersection with {{math|''U''(''V'')}} coincides with {{math|''G''}}, since it is ''a priori'' a larger compact group for which the irreducible representations stay irreducible and inequivalent when restricted to {{math|''G''}}. Since {{math|''A''<sub>''N''</sub>}} is generated by unitaries, an invertible operator {{math|''g''}} lies in {{math|''G''<sub>'''C'''</sub>}} if the unitary operator {{math|''u''}} and positive operator {{math|''p''}} in its [[polar decomposition]] {{math|''g'' {{=}} ''u'' ⋅ ''p''}} both lie in {{math|''G''<sub>'''C'''</sub>}}. Thus {{math|''u''}} lies in {{math|''G''}} and the operator {{math|''p''}} can be written uniquely as {{math|''p'' {{=}} exp ''T''}} with {{math|''T''}} a self-adjoint operator. By the [[functional calculus]] for polynomial functions it follows that {{math|''h''<sup>⊗''N''</sup>}} lies in the commutant of {{math|''A''<sub>''N''</sub>}} if {{math|''h'' {{=}} exp ''z'' ''T''}} with {{math|''z''}} in {{math|'''C'''}}. In particular taking {{math|''z''}} purely imaginary, {{math|''T''}} must have the form {{math|''iX''}} with {{math|''X''}} in the Lie algebra of {{math|''G''}}. Since every finite-dimensional representation of {{math|''G''}} occurs as a direct summand of {{math|''W''<sup>⊗''N''</sup>}}, it is left invariant by {{math|''G''<sub>'''C'''</sub>}} and thus every finite-dimensional representation of {{math|''G''}} extends uniquely to {{math|''G''<sub>'''C'''</sub>}}. The extension is compatible with the polar decomposition. Finally the polar decomposition implies that {{math|''G''}} is a maximal compact subgroup of {{math|''G''<sub>'''C'''</sub>}}, since a strictly larger compact subgroup would contain all integer powers of a positive operator {{math|''p''}}, a closed infinite discrete subgroup.<ref>See:
*{{harvnb|Chevalley|1946}}
*{{harvnb|Weyl|1946}}</ref>

==Decompositions in the Chevalley complexification==

===Cartan decomposition===
The decomposition derived from the polar decomposition

:<math>\displaystyle{G_{\mathbf{C}} = G\cdot P =G \cdot \exp i\mathfrak{g},}</math>

where {{math|𝖌}} is the Lie algebra of {{math|''G''}}, is called the '''[[Cartan decomposition]]''' of {{math|''G''<sub>'''C'''</sub>}}. The exponential factor {{math|''P''}} is invariant under conjugation by {{math|''G''}} but is not a subgroup. The complexification is invariant under taking adjoints, since {{math|''G''}} consists of unitary operators and {{math|''P''}} of positive operators.

===Gauss decomposition===
The '''Gauss decomposition''' is a generalization of the [[LU decomposition]] for the general linear group and a specialization of the [[Bruhat decomposition]]. For {{math|GL(''V'')}} it states that with respect to a given orthonormal basis {{math|''e''<sub>1</sub>, ..., ''e''<sub>''n''</sub>}} an element {{math|''g''}} of {{math|GL(''V'')}} can be factorized in the form

:<math>\displaystyle{g=XDY}</math>

with {{math|''X''}} lower [[unitriangular matrix|unitriangular]], {{math|''Y''}} upper unitriangular and {{math|''D''}} diagonal if and only if all the [[principal minor]]s of {{math|''g''}} are non-vanishing. In this case {{math|''X'', ''Y''}} and {{math|''D''}} are uniquely determined.

In fact Gaussian elimination shows there is a unique {{math|''X''}} such that {{math|''X''<sup>−1</sup> ''g''}} is upper triangular.<ref>{{harvnb|Zhelobenko|1973|p=28}}</ref>

The upper and lower unitriangular matrices, {{math|'''N'''<sub>+</sub>}} and {{math|'''N'''<sub>−</sub>}}, are closed unipotent subgroups of GL(''V''). Their Lie algebras consist of upper and lower strictly triangular matrices. The exponential mapping is a polynomial mapping from the Lie algebra to the corresponding subgroup by nilpotence. The inverse is given by the logarithm mapping which by unipotence is also a polynomial mapping. In particular there is a correspondence between closed connected subgroups of {{math|'''N'''<sub>±</sub>}} and subalgebras of their Lie algebras. The exponential map is onto in each case, since the polynomial function  {{math|log ( ''e''<sup>''A''</sup> ''e''<sup>''B''</sup> )}} lies in a given Lie subalgebra if {{math|''A''}} and {{math|''B''}} do and are sufficiently small.<ref>{{harvnb|Bump|2004|pp=202–203}}</ref>

The Gauss decomposition can be extended to complexifications of other closed connected subgroups {{math|''G''}} of {{math|U(''V'')}} by using the root decomposition to write the complexified Lie algebra as<ref>See:
*{{harvnb|Bump|2004}}
*{{harvnb|Zhelobenko|1973}}</ref>

:<math>\displaystyle{\mathfrak{g}_{\mathbf{C}} = \mathfrak{n}_- \oplus \mathfrak{t}_{\mathbf{C}} \oplus \mathfrak{n}_+,}</math>

where {{math|𝖙}} is the Lie algebra of a maximal torus {{math|''T''}} of {{math|''G''}} and {{math|𝖓<sub>±</sub>}} are the direct sum of the corresponding positive and negative root spaces. In the weight space decomposition of {{math|''V''}} as eigenspaces of {{math|''T'', 𝖙}} acts as diagonally, {{math|𝖓<sub>+</sub>}} acts as lowering operators and {{math|𝖓<sub>−</sub>}} as raising operators. {{math|𝖓<sub>±</sub>}} are nilpotent Lie algebras acting as nilpotent operators; they are each other's adjoints on {{math|''V''}}. In particular {{math|''T''}} acts by conjugation of {{math|𝖓<sub>+</sub>}}, so that {{math|𝖙<sub>'''C'''</sub> ⊕ 𝖓<sub>+</sub>}} is a semidirect product of a nilpotent Lie algebra by an abelian Lie algebra.

By [[Engel's theorem]], if {{math|𝖆 ⊕ 𝖓}} is a semidirect product, with {{math|𝖆}} abelian and {{math|𝖓}} nilpotent, acting on a finite-dimensional vector space {{math|''W''}} with operators in {{math|𝖆}} diagonalizable and operators in {{math|𝖓}} nilpotent, there is a vector {{math|''w''}} that is an eigenvector for {{math|𝖆}} and is annihilated by {{math|𝖓}}. In fact it is enough to show there is a vector annihilated by {{math|𝖓}}, which follows by induction on {{math|dim 𝖓}}, since the derived algebra {{math|𝖓'}} annihilates a non-zero subspace of vectors on which {{math|𝖓 / 𝖓'}} and {{math|𝖆}} act with the same hypotheses.

Applying this argument repeatedly to {{math|𝖙<sub>'''C'''</sub> ⊕ 𝖓<sub>+</sub>}} shows that there is an orthonormal basis {{math|''e''<sub>1</sub>, ..., ''e''<sub>''n''</sub>}}  of {{math|''V''}} consisting of eigenvectors of {{math|𝖙<sub>'''C'''</sub>}} with {{math|𝖓<sub>+</sub>}} acting as upper triangular matrices with zeros on the diagonal.

If {{math|''N''<sub>±</sub>}} and {{math|''T''<sub>'''C'''</sub>}} are the complex Lie groups corresponding to {{math|𝖓<sub>+</sub>}} and {{math|𝖙<sub>'''C'''</sub>}}, then the Gauss decomposition states that the subset

:<math>\displaystyle{N_- T_{\mathbf{C}} N_+}</math>

is a direct product and consists of the elements in {{math|''G''<sub>'''C'''</sub>}} for which the principal minors are non-vanishing. It is open and dense. Moreover, if {{math|'''T'''}} denotes the maximal torus in {{math|U(''V'')}},

:<math>\displaystyle{N_\pm=\mathbf{N}_\pm\cap G_{\mathbf{C}},\,\,\, T_{\mathbf{C}} = \mathbf{T}_{\mathbf{C}}\cap G_{\mathbf{C}}.}</math>

These results are an immediate consequence of the corresponding results for {{math|GL(''V'')}}.<ref>{{harvnb|Zhelobenko|1973}}</ref>

===Bruhat decomposition===
If {{math|''W'' {{=}} ''N''<sub>''G''</sub>(''T'') / ''T''}} denotes the [[Weyl group]] of {{math|''T''}} and {{math|''B''}} denotes the [[Borel subgroup]] {{math|''T''<sub>'''C'''</sub> ''N''<sub>+</sub>}}, the Gauss decomposition is also a consequence of the more precise '''[[Bruhat decomposition]]'''

:<math>\displaystyle{G_{\mathbf{C}} =\bigcup_{\sigma\in W} B\sigma B,}</math>

decomposing {{math|''G''<sub>'''C'''</sub>}} into a disjoint union of [[double coset]]s of {{math|''B''}}. The complex dimension of a double coset {{math|''BσB''}} is determined by the length of {{mvar|σ}} as an element of {{math|''W''}}. The dimension is maximized at the [[Coxeter element]] and gives the unique open dense double coset. Its inverse conjugates {{math|''B''}} into the Borel subgroup of lower triangular matrices in {{math|''G''<sub>'''C'''</sub>}}.<ref>See:
*{{harvnb|Gelfand|Naimark|1950}}, section 18, for {{math|SL(''n'','''C''')}}
*{{harvnb|Bruhat|1956|p=187}} for {{math|SO(''n'','''C''')}} and {{math|Sp(''n'','''C''')}}
*{{harvnb|Chevalley|1955}} for complexifications of simple compact Lie groups
*{{harvnb|Helgason|1978|pp=403–406}} for [[Harish-Chandra]]'s method
*{{harvnb|Humphreys|1981}} for a treatment using algebraic groups
*{{harvnb|Carter|1972}}, Chapter 8
*{{harvnb|Dieudonné|1977|pp=216–217}}
*{{harvnb|Bump|2004|pp=205–211}}
</ref>

The Bruhat decomposition is easy to prove for {{math|SL(''n'','''C''')}}.<ref>{{harvnb|Steinberg|1974|p=73}}</ref> Let {{math|''B''}} be the Borel subgroup of upper triangular matrices and {{math|''T''<sub>'''C'''</sub>}} the subgroup of diagonal matrices. So {{math|N(''T''<sub>'''C'''</sub>) /  ''T''<sub>'''C'''</sub> {{=}} S<sub>''n''</sub>}}. For {{math|''g''}} in {{math|SL(''n'','''C''')}}, take {{math|''b''}} in {{math|''B''}} so that {{math|''bg''}} maximizes the number of zeros appearing at the beginning of its rows. Because a multiple of one row can be added to another, each row has a different number of zeros in it. Multiplying by a matrix {{math|''w''}} in {{math|N(''T''<sub>'''C'''</sub>)}}, it follows that {{math|''wbg''}} lies in {{math|''B''}}. For uniqueness, if {{math|''w''<sub>1</sub>''b'' ''w''<sub>2</sub> {{=}} ''b''<sub>0</sub>}}, then the entries of {{math|''w''<sub>1</sub>''w''<sub>2</sub>}} vanish below the diagonal. So the product lies in {{math|''T''<sub>'''C'''</sub>}}, proving uniqueness.

{{harvtxt|Chevalley|1955}} showed that the expression of an element {{math|''g''}} as {{math|''g'' {{=}} ''b''<sub>1</sub>''σb''<sub>2</sub>}} becomes unique if {{math|''b''<sub>1</sub>}} is restricted to lie in the upper unitriangular subgroup {{math|''N''<sub>σ</sub> {{=}} ''N''<sub>+</sub> ∩ ''σ N''<sub>−</sub> ''σ''<sup>−1</sup>}}. In fact, if {{math|''M''<sub>''σ''</sub> {{=}} ''N''<sub>+</sub> ∩ ''σ N''<sub>+</sub> ''σ''<sup>−1</sup>}}, this follows from the identity

:<math>\displaystyle{N_+=N_\sigma\cdot M_\sigma.}</math>

The group {{math|''N''<sub>+</sub>}} has a natural filtration by normal subgroups {{math|''N''<sub>+</sub>(''k'')}} with zeros in the first {{math|''k'' − 1}} superdiagonals and the successive quotients are Abelian. Defining {{math|''N''<sub>''σ''</sub>(''k'')}} and {{math|''M''<sub>''σ''</sub>(''k'')}} to be the intersections with {{math|''N''<sub>+</sub>(''k'')}}, it follows by decreasing induction on {{math|''k''}} that {{math|''N''<sub>+</sub>(''k'') {{=}}  ''N''<sub>''σ''</sub>(''k'') ⋅ ''M''<sub>''σ''</sub>(''k'')}}. Indeed, {{math|''N''<sub>''σ''</sub>(''k'')''N''<sub>+</sub>(''k'' + 1)}} and {{math|''M''<sub>''σ''</sub>(''k'')''N''<sub>+</sub>(''k'' + 1)}} are specified in {{math|''N''<sub>+</sub>(''k'')}} by the vanishing of complementary entries {{math|(''i'', ''j'')}} on the {{math|''k''}}th superdiagonal according to whether {{mvar|σ}} preserves the order {{math|''i'' < ''j''}} or not.<ref>{{harvnb|Chevalley|1955|p=41}}</ref>

The Bruhat decomposition for the other classical simple groups can be deduced from the above decomposition using the fact that they are fixed point subgroups of folding automorphisms of {{math|SL(''n'','''C''')}}.<ref>See:
*{{harvnb|Steinberg|1974|pp=73–74}}
*{{harvnb|Bourbaki|1981a|pp=53–54}}</ref> For {{math|Sp(''n'','''C''')}}, let {{math|''J''}} be the {{math|''n'' × ''n''}} matrix with {{math|1}}'s on the antidiagonal and {{math|0}}'s elsewhere and set

:<math>\displaystyle{A=\begin{pmatrix} 0 & J\\ -J & 0\end{pmatrix}.}</math>

Then {{math|Sp(''n'','''C''')}} is the fixed point subgroup of the involution {{math|''θ''(''g'') {{=}} ''A'' (''g''<sup>''t''</sup>)<sup>−1</sup> ''A''<sup>−1</sup> of SL(2''n'','''C''')}}. It leaves the subgroups {{math|''N''<sub>±</sub>, ''T''<sub>'''C'''</sub>}} and {{math|''B''}} invariant. If the basis elements are indexed by {{math|''n'', ''n''−1, ..., 1, −1, ..., −''n''}}, then the Weyl group of {{math|Sp(''n'','''C''')}} consists of {{mvar|σ}} satisfying
{{math|''σ''(''j'') {{=}} −''j''}}, i.e. commuting with {{mvar|θ}}. Analogues of {{math|''B'', ''T''<sub>'''C'''</sub>}} and {{math|''N''<sub>±</sub>}} are defined by intersection with {{math|Sp(''n'','''C''')}}, i.e. as fixed points of {{mvar|θ}}. The uniqueness of the decomposition {{math|''g'' {{=}} ''nσb'' {{=}} ''θ''(''n'') ''θ''(''σ'') ''θ''(''b'')}} implies the Bruhat decomposition for {{math|Sp(''n'','''C''')}}.

The same argument works for {{math|SO(''n'','''C''')}}. It can be realised as the fixed points of {{math|''ψ''(''g'') {{=}} ''B'' (''g''<sup>''t''</sup>)<sup>−1</sup> ''B''<sup>−1</sup>}} in {{math|SL(''n'','''C''')}} where {{math|''B'' {{=}} ''J''}}.

===Iwasawa decomposition===
The '''[[Iwasawa decomposition]]'''

:<math>\displaystyle{G_{\mathbf{C}} = G\cdot A \cdot N}</math>

gives a decomposition for {{math|''G''<sub>'''C'''</sub>}} for which, unlike the Cartan decomposition, the direct factor {{math|''A'' ⋅ ''N''}} is a closed subgroup, but it is no longer invariant under conjugation by {{math|''G''}}. It is the [[semidirect product]] of the [[nilpotent group|nilpotent]] subgroup {{math|''N''}} by the Abelian subgroup {{math|''A''}}.

For {{math|U(''V'')}} and its complexification {{math|GL(''V'')}}, this decomposition can be derived as a restatement of the [[Gram–Schmidt process|Gram–Schmidt orthonormalization process]].<ref>{{harvnb|Sepanski|2007|p=8}}</ref>

In fact let {{math|''e''<sub>1</sub>, ..., ''e''<sub>''n''</sub>}} be an orthonormal basis of {{math|''V''}} and let {{math|''g''}} be an element in {{math|GL(''V'')}}. Applying the Gram–Schmidt process to {{math|''ge''<sub>1</sub>, ..., ''ge''<sub>''n''</sub>}}, there is a unique orthonormal basis {{math|''f''<sub>1</sub>, ..., ''f''<sub>''n''</sub>}} and positive constants {{math|''a''<sub>''i''</sub>}} such that

:<math>\displaystyle{f_i= a_i ge_i + \sum_{j<i} n_{ji} ge_j.}</math>

If {{math|''k''}} is the unitary taking {{math|(''e''<sub>''i''</sub>)}} to {{math|(''f''<sub>''i''</sub>)}}, it follows that {{math|''g''<sup>−1</sup>''k''}} lies in the subgroup {{math|'''AN'''}}, where {{math|'''A'''}} is the subgroup of positive diagonal matrices with respect to  {{math|(''e''<sub>''i''</sub>)}} and {{math|'''N'''}} is the subgroup of upper [[unitriangular matrix|unitriangular matrices]].<ref>{{harvnb|Knapp|2001|p=117}}</ref>

Using the notation for the Gauss decomposition, the subgroups in the Iwasawa decomposition for {{math|''G''<sub>'''C'''</sub>}} are defined by
<ref>See:
*{{harvnb|Zhelobenko|1973|pp=288–290}}
*{{harvnb|Dieudonné|1977|pp=197–207}}
*{{harvnb|Helgason|1978|pp=257–262}}
*{{harvnb|Bump|2004|pp=197–204}}
</ref>

:<math>\displaystyle{A=\exp i\mathfrak{t} = \mathbf{A} \cap G_{\mathbf{C}}, \,\,\, N=\exp \mathfrak{n}_+=\mathbf{N}  \cap G_{\mathbf{C}}.}</math>

Since the decomposition is direct for {{math|GL(''V'')}}, it is enough to check that {{math|''G''<sub>'''C'''</sub> {{=}} ''GAN''}}. From the properties of the Iwasawa decomposition for {{math|GL(''V'')}}, the map {{math|''G'' × ''A'' × ''N''}} is a diffeomorphism onto its image in {{math|''G''<sub>'''C'''</sub>}}, which is closed. On the other hand, the dimension of the image is the same as the dimension of {{math|''G''<sub>'''C'''</sub>}}, so it is also open. So {{math|''G''<sub>'''C'''</sub> {{=}} ''GAN''}} because {{math|''G''<sub>'''C'''</sub>}} is connected.<ref>{{harvnb|Bump|2004|pp=203–204}}</ref>

{{harvtxt|Zhelobenko|1973}} gives a method for explicitly computing the elements in the decomposition.<ref>{{harvnb|Zhelobenko|1973|p=289}}</ref> For {{math|''g''}} in {{math|''G''<sub>'''C'''</sub>}} set {{math|''h'' {{=}} ''g''*''g''}}. This is a positive self-adjoint operator so its principal minors do not vanish. By the Gauss decomposition, it can therefore be written uniquely in the form
{{math|''h'' {{=}} ''XDY''}} with {{math|''X''}} in {{math|''N''<sub>−</sub>}}, {{math|''D''}} in {{math|''T''<sub>'''C'''</sub>}} and {{math|''Y''}} in {{math|''N''<sub>+</sub>}}. Since {{math|''h''}} is self-adjoint, uniqueness forces {{math|''Y'' {{=}} ''X''*}}. Since it is also positive {{math|''D''}} must lie in {{math|''A''}} and have the form {{math|''D'' {{=}} exp ''iT''}} for some unique {{math|''T''}} in {{math|𝖙}}. Let {{math|''a'' {{=}} exp ''iT''/2}} be its unique square root in {{math|''A''}}. Set {{math|''n'' {{=}} ''Y''}} and {{math|''k'' {{=}} ''g'' ''n''<sup>−1</sup> ''a''<sup>−1</sup>}}. Then {{math|''k''}} is unitary, so is in {{math|''G''}}, and {{math|''g'' {{=}} ''kan''}}.

==Complex structures on homogeneous spaces==
The Iwasawa decomposition can be used to describe complex structures on the {{math|''G''-[[orbit]]}}s in [[complex projective space]] of [[highest weight vector]]s of finite-dimensional [[irreducible representation]]s of {{math|''G''}}. In particular the identification between {{math|''G'' / ''T''}} and {{math|''G''<sub>'''C'''</sub> / ''B''}} can be used to formulate the [[Borel–Weil theorem]]. It states that each irreducible representation
of {{math|''G''}} can be obtained by [[induced representation|holomorphic induction]] from a character of {{math|''T''}}, or equivalently that it is realized in the space of [[section (fiber bundle)|section]]s of a [[holomorphic line bundle]] on {{math|''G'' / ''T''}}.

The closed connected subgroups of {{math|''G''}} containing {{math|''T''}} are described by [[Borel–de Siebenthal theory]]. They are exactly the [[centralizer]]s of tori {{math|''S'' ⊆ ''T''}}. Since every torus is generated topologically by a single element {{math|''x''}}, these are the same as centralizers {{math|C<sub>''G''</sub>(''X'')}} of elements {{math|''X''}} in {{math|𝖙}}. By a result of Hopf {{math|C<sub>''G''</sub>(''x'')}} is always connected: indeed any element {{math|''y''}} is along with {{math|''S''}} contained in some maximal torus, necessarily contained in {{math|C<sub>''G''</sub>(''x'')}}.

Given an irreducible finite-dimensional representation {{math|''V''<sub>λ</sub>}} with highest weight vector {{math|''v''}} of weight {{math|''λ''}}, the stabilizer of {{math|'''C''' ''v''}} in {{math|''G''}} is a closed subgroup {{math|''H''}}. Since {{math|''v''}} is an eigenvector of {{math|''T''}}, {{math|''H''}} contains {{math|''T''}}. The complexification {{math|''G''<sub>'''C'''</sub>}} also acts on {{math|''V''}} and the stabilizer is a closed complex subgroup {{math|''P''}} containing {{math|''T''<sub>'''C'''</sub>}}. Since {{math|''v''}} is annihilated by every raising operator corresponding to a positive root {{math|''α''}}, {{math|''P''}} contains the Borel subgroup {{math|''B''}}. The vector {{math|''v''}} is also a highest weight vector for the copy of {{math|'''sl'''<sub>2</sub>}} corresponding to {{math|''α''}}, so it is annihilated by the lowering operator generating {{math|𝖌<sub>−''α''</sub>}} if {{math|(''λ'', ''α'') {{=}} 0}}.  The Lie algebra {{math|'''p'''}} of {{math|''P''}} is the direct sum of {{math|𝖙<sub>'''C'''</sub>}} and root space vectors annihilating {{math|''v''}}, so that

:<math>\displaystyle{\mathfrak{p}=\mathfrak{b}\oplus \bigoplus_{(\alpha,\lambda)=0} \mathfrak{g}_{-\alpha}.}</math>

The Lie algebra of {{math|''H'' {{=}} ''P'' ∩ ''G''}} is given by {{math|'''p''' ∩ 𝖌}}. By the Iwasawa decomposition {{math|''G''<sub>'''C'''</sub> {{=}} ''GAN''}}. Since {{math|''AN''}} fixes {{math|'''C''' ''v''}}, the {{math|''G''}}-orbit of {{math|''v''}} in the complex projective space of {{math|''V''<sub>''λ''</sub>}} coincides with the {{math|''G''<sub>'''C'''</sub>}} orbit and

:<math>\displaystyle{G/H=G_{\mathbf{C}}/P.}</math>

In particular

:<math>\displaystyle{G/T=G_{\mathbf{C}}/B.}</math>

Using the identification of the Lie algebra of {{math|''T''}} with its dual, {{math|''H''}} equals the centralizer of {{mvar|λ}} in {{math|''G''}}, and hence is connected. The group {{math|''P''}} is also connected. In fact the space {{math|''G'' / ''H''}} is simply connected,
since it can be written as the quotient of the (compact) universal covering group of the compact semisimple group {{math|''G'' / ''Z''}} by a connected subgroup, where {{math|''Z''}} is the center of {{math|''G''}}.<ref>{{harvnb|Helgason|1978}}</ref> If {{math|''P''<sup>o</sup>}} is the identity component of {{math|''P''}},   {{math|''G''<sub>'''C'''</sub> / ''P''}} has {{math|''G''<sub>'''C'''</sub> / ''P''<sup>o</sup>}} as a covering space, so that {{math|''P'' {{=}} ''P''<sup>o</sup>}}. The homogeneous space {{math|''G''<sub>'''C'''</sub> / ''P''}} has a complex structure, because {{math|''P''}} is a complex subgroup. The orbit in complex projective space is closed in the Zariski topology by [[Algebraic geometry and analytic geometry#Chow.27s theorem|Chow's theorem]], so is a smooth projective variety. The Borel–Weil theorem and its generalizations are discussed in this context in {{harvtxt|Serre|1954}}, {{harvtxt|Helgason|1994}}, {{harvtxt|Duistermaat|Kolk|2000}} and {{harvtxt|Sepanski|2007}}.

The parabolic subgroup {{math|''P''}} can also be written as a union of double cosets of {{math|''B''}}

:<math>\displaystyle{P=\bigcup_{\sigma\in W_\lambda} B\sigma B,}</math>

where {{math|''W''<sub>''λ''</sub>}} is the stabilizer of {{mvar|λ}} in the Weyl group {{math|''W''}}. It is generated by the reflections corresponding to the simple roots orthogonal to {{mvar|λ}}.<ref>See:
*{{harvnb|Humphreys|1981}}
*{{harvnb|Bourbaki|1981a}}
</ref>

==Noncompact real forms==
There are other closed subgroups of the complexification of a compact connected Lie group ''G'' which have the same complexified Lie algebra. These are the other '''real forms''' of ''G''<sub>'''C'''</sub>.<ref>{{harvnb|Dieudonné|1977|pp=164–173}}</ref>

===Involutions of simply connected compact Lie groups===
If ''G'' is a simply connected compact Lie group and σ is an automorphism of order 2, then the fixed point subgroup ''K'' = ''G''<sup>σ</sup> is ''automatically connected''. (In fact this is true for any automorphism of ''G'', as shown for inner automorphisms by [[Robert Steinberg|Steinberg]] and in general by [[Armand Borel|Borel]].) <ref>See:
*{{harvnb|Helgason|1978|pp=320–321}}
*{{harvnb|Bourbaki|1982|pp=46–48}}
*{{harvnb|Duistermaat|Kolk|2000|pp=194–195}}
*{{harvnb|Dieudonné|1977|p=151}}, Exercise 11
</ref>

This can be seen most directly when the involution σ corresponds to a [[Hermitian symmetric space]]. In that case σ is inner and implemented by an element in a one-parameter subgroup  exp ''tT'' contained in the center of ''G''<sup>σ</sup>. The innerness of σ implies that ''K'' contains a maximal torus of ''G'', so has maximal rank. On the other hand, the centralizer of the subgroup generated by the torus ''S'' of elements exp ''tT'' is connected, since if ''x'' is any element in ''K'' there is a maximal torus containing ''x'' and ''S'',  which lies in the centralizer. On the other hand, it contains ''K'' since ''S'' is central in ''K'' and is contained in ''K'' since ''z'' lies in ''S''. So ''K'' is the centralizer of ''S'' and hence connected. In particular ''K'' contains the center of ''G''.<ref>{{harvnb|Wolf|2010}}</ref>

For a general involution σ, the connectedness of ''G''<sup>σ</sup> can be seen as follows.<ref>See:
{{harvnb|Bourbaki|1982|pp=46–48}}</ref>

The starting point is the Abelian version of the result: if ''T'' is a maximal torus of a simply connected group ''G'' and σ is an involution leaving invariant ''T'' and a choice of positive roots (or equivalently a [[Weyl chamber]]), then the fixed point subgroup ''T''<sup>σ</sup> is connected. In fact the kernel of the exponential map from <math>\mathfrak{t}</math> onto ''T'' is a lattice Λ with a '''Z'''-basis indexed by simple roots, which σ permutes. Splitting up according to orbits, ''T'' can be written as a product of terms '''T''' on which σ acts trivially or terms '''T'''<sup>2</sup> where σ interchanges the factors. The fixed point subgroup just corresponds to taking the diagonal subgroups in the second case, so is connected.

Now let ''x'' be any element fixed by σ, let ''S'' be a maximal torus in C<sub>''G''</sub>(''x'')<sup>σ</sup> and let ''T'' be the identity component of C<sub>''G''</sub>(''x'', ''S''). Then ''T'' is a maximal torus in ''G'' containing ''x'' and ''S''. It is invariant under σ and the identity component of ''T''<sup>σ</sup> is ''S''. In fact since ''x'' and ''S'' commute, they are contained in a maximal torus which, because it is connected, must lie in ''T''. By construction ''T'' is invariant under σ. The identity component of ''T''<sup>σ</sup> contains  ''S'', lies in C<sub>''G''</sub>(''x'')<sup>σ</sup> and centralizes ''S'', so it equals ''S''. But ''S'' is central in ''T'', to ''T'' must be Abelian and hence a maximal torus. For σ acts as multiplication by −1 on the Lie algebra <math>\mathfrak{t}\ominus \mathfrak{s}</math>, so it and therefore also <math>\mathfrak{t}</math> are Abelian.

The proof is completed by showing that σ preserves a Weyl chamber associated with ''T''. For then ''T''<sup>σ</sup> is connected so must equal ''S''. Hence ''x'' lies in ''S''.  Since ''x'' was arbitrary, ''G''<sup>σ</sup> must therefore be connected.

To produce a Weyl chamber invariant under σ, note that there is no root space <math>\mathfrak{g}_\alpha</math> on which both ''x'' and ''S'' acted trivially, for this would contradict the fact that C<sub>''G''</sub>(''x'', ''S'') has the same Lie algebra as ''T''. Hence there must be an element ''s'' in ''S'' such that ''t'' = ''xs'' acts non-trivially on each root space. In this case ''t'' is a ''regular element'' of ''T''—the identity component of its centralizer in ''G'' equals ''T''. There is a unique [[affine Weyl group|Weyl alcove]] ''A'' in <math>\mathfrak{t}</math> such that ''t'' lies in exp ''A'' and 0 lies in the closure of ''A''. Since ''t'' is fixed by σ, the alcove is left invariant by σ and hence so also is the [[Weyl chamber]] ''C'' containing it.

===Conjugations on the complexification===
Let ''G'' be a simply connected compact Lie group with complexification ''G''<sub>'''C'''</sub>. The map ''c''(''g'') = (''g''*)<sup>−1</sup> defines an automorphism of ''G''<sub>'''C'''</sub> as a real Lie group with ''G'' as fixed point subgroup. It is conjugate-linear on <math>\mathfrak{g}_{\mathbf{C}}</math> and satisfies ''c''<sup>2</sup> = id. Such automorphisms of either ''G''<sub>'''C'''</sub> or  <math>\mathfrak{g}_{\mathbf{C}}</math> are called '''conjugations'''.
Since ''G''<sub>'''C'''</sub> is also simply connected any conjugation ''c''<sub>1</sub> on <math>\mathfrak{g}_{\mathbf{C}}</math> corresponds to a unique automorphism ''c''<sub>1</sub> of ''G''<sub>'''C'''</sub>.

The classification of conjugations ''c''<sub>0</sub> reduces to that of involutions σ of ''G'' because
given a ''c''<sub>1</sub> there is an automorphism φ of the complex group ''G''<sub>'''C'''</sub> such that

:<math>\displaystyle{c_0=\varphi\circ c_1\circ \varphi^{-1}}</math>

commutes with ''c''. The conjugation ''c''<sub>0</sub> then leaves ''G'' invariant and restricts to an involutive automorphism σ. By simple connectivity the same is true at the level of Lie algebras. At the Lie algebra level ''c''<sub>0</sub> can be recovered from σ by the formula

:<math>\displaystyle{c_0(X+iY)=\sigma(X)- i\sigma(Y)}</math>

for ''X'', ''Y'' in <math>\mathfrak{g}</math>.

To prove the existence of φ let ψ = ''c''<sub>1</sub>''c'' an automorphism of the complex group ''G''<sub>'''C'''</sub>. On the Lie algebra level it defines a self-adjoint operator for the complex inner product

:<math>\displaystyle{(X,Y)=-B(X,c(Y)),}</math>

where ''B'' is the [[Killing form]] on <math>\mathfrak{g}_{\mathbf{C}}</math>. Thus ψ<sup>2</sup> is a positive operator and an automorphism along with all its real powers. In particular take

:<math>\displaystyle{\varphi=(\psi^2)^{1/4}}</math>

It satisfies

:<math>\displaystyle{c_0c=\varphi c_1 \varphi^{-1} c=\varphi cc_1 \varphi=(\psi^2)^{1/2} \psi^{-1} =\varphi^{-1} cc_1 \varphi^{-1}=c \varphi c_1\varphi^{-1}=cc_0.}</math>

===Cartan decomposition in a real form===
For the complexification ''G''<sub>'''C'''</sub>, the [[Cartan decomposition]] is described above. Derived from the [[polar decomposition]] in the complex [[general linear group]], it gives a diffeomorphism

:<math>\displaystyle{G_{\mathbf{C}} = G\cdot \exp i\mathfrak{g} = G\cdot P = P\cdot G.}</math>

On ''G''<sub>'''C'''</sub> there is a conjugation operator ''c'' corresponding to ''G'' as well as an involution σ commuting with ''c''. Let ''c''<sub>0</sub> = ''c'' σ and let ''G''<sub>0</sub> be the fixed point subgroup of ''c''. It is closed in the matrix group ''G''<sub>'''C'''</sub> and therefore a Lie group. The involution σ acts on both ''G'' and ''G''<sub>0</sub>. For the Lie algebra of ''G'' there is a decomposition

:<math>\displaystyle{\mathfrak{g}=\mathfrak{k} \oplus \mathfrak{p}}</math>

into the +1 and −1 eigenspaces of σ. The fixed point subgroup ''K'' of σ in ''G'' is connected since ''G'' is simply connected. Its Lie algebra is the +1 eigenspace <math>\mathfrak{k}</math>. The Lie algebra of ''G''<sub>0</sub> is given by

:<math>\displaystyle{\mathfrak{g}=\mathfrak{k} \oplus \mathfrak{p}}</math>

and the fixed point subgroup of σ is again ''K'', so that ''G'' ∩ ''G''<sub>0</sub> = ''K''. In ''G''<sub>0</sub>, there is a Cartan decomposition

:<math>\displaystyle{G_0=K\cdot \exp i\mathfrak{p} =K\cdot P_0 = P_0\cdot K}</math>

which is again a diffeomorphism onto the direct and corresponds to the polar decomposition of matrices.
It is the restriction of the decomposition on ''G''<sub>'''C'''</sub>. The product gives a diffeomorphism onto a closed subset of ''G''<sub>0</sub>. To check that it is surjective, for ''g'' in ''G''<sub>0</sub> write ''g'' = ''u'' ⋅ ''p'' with ''u'' in ''G'' and ''p'' in ''P''. Since ''c''<sub>0</sub> ''g'' = ''g'', uniqueness implies that σ''u'' = ''u'' and σ''p'' = ''p''<sup>−1</sup>. Hence ''u'' lies in ''K'' and ''p'' in ''P''<sub>0</sub>.

The Cartan decomposition in ''G''<sub>0</sub> shows that ''G''<sub>0</sub> is connected, simply connected and noncompact, because of the direct factor ''P''<sub>0</sub>. Thus ''G''<sub>0</sub> is a noncompact real semisimple Lie group.<ref>{{harvnb|Dieudonné|1977|pp=166–168}}</ref>

Moreover, given a maximal Abelian subalgebra <math>\mathfrak{a}</math> in <math>\mathfrak{p}</math>, ''A'' = exp  <math>\mathfrak{a}</math> is a toral subgroup such that σ(''a'') = ''a''<sup>−1</sup> on ''A''; and any two such <math>\mathfrak{a}</math>'s are conjugate by an element of ''K''.
The properties of ''A'' can be shown directly.  ''A'' is closed because the closure of ''A'' is a toral subgroup satisfying σ(''a'') = ''a''<sup>−1</sup>, so its Lie algebra lies in <math>\mathfrak{m}</math> and hence equals <math>\mathfrak{a}</math> by maximality. ''A'' can be generated topologically by a single element exp ''X'', so  <math>\mathfrak{a}</math> is the centralizer of ''X'' in <math>\mathfrak{m}</math>. In the ''K''-orbit of any element of <math>\mathfrak{m}</math> there is an element ''Y'' such that (X,Ad ''k'' Y) is minimized at ''k'' = 1. Setting ''k'' = exp ''tT'' with ''T'' in <math>\mathfrak{k}</math>, it follows that (''X'',[''T'',''Y'']) = 0 and hence [''X'',''Y''] = 0, so that ''Y'' must lie in <math>\mathfrak{a}</math>. Thus <math>\mathfrak{m}</math> is the union of the conjugates of <math>\mathfrak{a}</math>. In particular some conjugate of ''X'' lies in any other choice of <math>\mathfrak{a}</math>, which centralizes that conjugate; so by maximality the only possibilities are conjugates of  <math>\mathfrak{a}</math>.<ref>{{harvnb|Helgason|1978|p=248}}</ref>

A similar statements hold for the action of ''K'' on <math>\mathfrak{a}_0=i\mathfrak{a}</math> in <math>\mathfrak{p}_0</math>. Morevoer, from the Cartan decomposition for ''G''<sub>0</sub>,  if ''A''<sub>0</sub> = exp <math>\mathfrak{a}_0</math>, then

:<math>\displaystyle{G_0=KA_0K.}</math>

===Iwasawa decomposition in a real form===

==See also==
*[[Real form (Lie theory)]]

==Notes==
{{reflist|2}}

==References==
{{refbegin}}
*{{citation|last=Bourbaki|first=N.|series=Éléments de Mathématique|title=Groupes et Algèbres de Lie (Chapitre 3)|publisher=Hermann|year=1981|isbn=978-3540339403}}
*{{citation|first=N.|last=Bourbaki|series=Éléments de Mathématique|title=Groupes et Algèbres de Lie (Chapitres 4,5 et 6)|publisher=Masson|year=1981a|isbn=978-2225760761}}
*{{citation|first=N.|last=Bourbaki|series=Éléments de Mathématique|title=Groupes et Algèbres de Lie (Chapitre 9)|publisher=Masson|year=1982|isbn=978-3540343929}}
*{{citation|last=Bröcker|first=T.|last2=tom Dieck|first2=T. |title=Representations of Compact Lie Groups|publisher=Springer|series=[[Graduate Texts in Mathematics]]|year=1985|volume=98|isbn=978-3540136781}}
*{{citation|last=Bruhat|first=F.|title= Sur les représentations induites des groupes de Lie|journal= Bull. Soc. Math. France|volume= 84 |year=1956|pages= 97–205|url=http://www.numdam.org/item?id=BSMF_1956__84__97_0|doi=10.24033/bsmf.1469|doi-access=free}}
*{{citation|first=Daniel|last=Bump|title=Lie groups|publisher=Springer|year= 2004|isbn=978-0387211541|series=Graduate Texts in Mathematics|volume=225}}
*{{citation|last=Carter|first= Roger W.|title=Simple groups of Lie type|series=Wiley Classics Library |volume=22|publisher=Wiley|orig-year= 1972 |date=1989 |isbn=9780471506836 |url=https://books.google.com/books?id=nW9tPZUMkdIC&pg=PR1 |ref={{harvid|Carter|1972}}}}
*{{citation|last=Chevalley|first=C.|publisher=Dover|title=Theory of Lie Groups I|orig-year=1946 |url=https://books.google.com/books?id=NwNKDwAAQBAJ&pg=PP1 |year=2018 |isbn=9780486824536 |ref={{harvid|Chevalley|1946}}}}
*{{citation|last=Chevalley|first= C.|title=Sur certains groupes simples|journal= [[Tôhoku Mathematical Journal]]|volume=7|issue= 1–2|year=1955|pages= 14–66|
url=http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.tmj/1178245104|doi=10.2748/tmj/1178245104|doi-access=free}}
*{{citation|last=Dieudonné|first= J.|series =Treatise on analysis|title=Compact Lie groups and semisimple Lie groups, Chapter XXI|volume=5|publisher=Academic Press|year= 1977|isbn= 978-0122155055}}
*{{citation|title=Lie groups|publisher=Springer|year= 2000|isbn=978-3540152934|first=J.J.|last=Duistermaat|first2=A.|last2=Kolk|series=Universitext}}
*{{citation|first=I. M.|last= Gelfand|first2= M. A.|last2= Naimark|title=Unitary representations of the classical groups|journal= Trudy Mat. Inst. Steklov.|volume= 36|year= 1950|pages= 3–288|url=http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=tm&paperid=1100&option_lang=eng|language=ru}}
*{{citation|first=Sigurdur|last= Helgason|title=Differential geometry, Lie groups, and symmetric spaces|year=1978|publisher=Academic Press|isbn= 978-0821828489}}
*{{citation|title=Geometric Analysis on Symmetric Spaces|volume=39|series= Mathematical Surveys and Monographs|
first=Sigurdur|last= Helgason|edition=2nd|publisher=American Mathematical Society|year= 1994|isbn=978-0821815380}}
*{{citation|last=Hochschild|first=G.|title=The structure of Lie groups|year=1965|publisher=Holden-Day}}
*{{citation|title=Complexification of Real Analytic Groups|first=G.|last= Hochschild|journal=Transactions of the American Mathematical Society|volume=125|issue=3|year= 1966|pages=406–413|doi=10.2307/1994572|jstor=1994572|doi-access=free}}
*{{citation|first=James E.|last= Humphreys|title=Linear Algebraic Groups|publisher=Springer|year=1981|isbn=978-0387901084|series=Graduate texts in mathematics|volume=21}}
*{{citation|first=James E.|last= Humphreys|title=Introduction to Lie Algebras and Representation Theory|publisher=Springer|edition=2nd|
year=1997|series=Graduate texts in mathematics|volume=9|isbn=978-3540900535}}
*{{citation|title=Representation Theory of Semisimple Groups: An Overview Based on Examples|
volume=36|series= Princeton Mathematical Series|first=Anthony W.|last= Knapp|publisher=Princeton University Press|year= 2001|isbn=978-0691090894}}
*{{citation|title=Lie Groups and Lie Algebras III: Structure of Lie Groups and Lie Algebras|series=Encyclopaedia of Mathematical Sciences|volume= 41|last=Onishchik|first=A.L.|last2= Vinberg|first2= E.B.|year=1994|publisher=Springer|isbn=9783540546832}}
*{{citation|last=Sepanski|first=Mark R.|title=Compact Lie groups|series=Graduate Texts in Mathematics|volume= 235|publisher=  Springer|year= 2007|isbn=978-0387302638}}
*{{citation|last=Serre|first=Jean-Pierre|title=Représentations linéaires et espaces homogènes kählériens des groupes de Lie compacts, Exposé no 100|journal=Séminaire Bourbaki|volume=2|year=1954|url=http://www.numdam.org/numdam-bin/fitem?id=SB_1951-1954__2__447_0|access-date=2013-03-07|archive-url=https://web.archive.org/web/20120713022959/http://www.numdam.org/numdam-bin/fitem?id=SB_1951-1954__2__447_0|archive-date=2012-07-13|url-status=dead}}
*{{citation|title=Conjugacy classes in algebraic groups|volume=366|series= Lecture Notes in Mathematics|first=Robert|last= Steinberg|publisher= Springer |url=https://books.google.com/books?id=sTB8CwAAQBAJ |date=2006 |orig-year=1974 |isbn=978-3-540-37931-7 |ref={{harvid|Steinberg|1974}} }}
*{{citation|last=Weyl|first= Hermann|title= The Classical Groups, their Invariants and Representations|publisher=Princeton University Press |edition=2nd |url=https://books.google.com/books?id=2twDDAAAQBAJ |date=2016 |orig-year=1946 |isbn=978-1-4008-8390-5 |ref={{harvid|Weyl|1946}}}}
* {{citation|last=Wolf|first=Joseph A.|title=Spaces of constant curvature|publisher= American Mathematical Society|edition= 6th|year=2010|series= AMS Chelsea Publishing|isbn=978-0821852828}}
*{{citation|last=Zhelobenko|first=D.P.|title=Compact Lie groups and their representations|series=Translations of mathematical monographs|year=1973|volume=40|publisher=American Mathematical Society |url=https://books.google.com/books?id=JqG-oAEACAAJ |isbn=978-0-8218-1590-8 |edition=3rd}}
{{refend}}

[[Category:Lie groups]]
[[Category:Lie algebras]]
[[Category:Algebraic groups]]
[[Category:Representation theory]]