Definition 4

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

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

$(G, \gamma)$ , or simply $\tilde{G}$ , is called the universal complexification of $G$ .

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

Cited by

Nothing.

Nothing.