Bourbaki

Corollary 3

Tag 0AF7, permanent. Cite it as [Bourbaki, Tag 0AF7].

Lie Groups and Lie Algebras, chapter III, § 6. Real and complex Lie groups

*Let GG be a Lie group, ρ\rho an analytic linear representation of GG, x∈L(G)x \in L(G) and g∈Gg \in G. (i) ρ(exp⁡x)=exp⁡L(ρ)x\rho(\exp x) = \exp L(\rho)x; (ii) Ad(exp⁡x)=exp⁡ad x\mathrm{Ad}(\exp x) = \exp \mathrm{ad}\, x; (iii) g(exp⁡x)g−1=exp⁡(Ad g.x)g(\exp x)g^{-1} = \exp(\mathrm{Ad}\, g.x). The argument is as in §4§ 4, no. 4, Corollaries 2 and 3 to Proposition 8.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Transcribed from the printed volume. Not translated.