Proposition 7
Tag 00W8, permanent. Cite it as [Bourbaki, Tag 00W8].
Lie Groups and Lie Algebras, chapter VII, § 4. Regular elements of a Lie group
Let V be a neighbourhood of in G. Every Cartan subalgebra of is of the form where is a regular element of G belonging to V.
By Prop. 6, there exists an open neighbourhood U of 0 in and an exponential map exp satisfying the conditions of Lemma 4. If is a Cartan subalgebra of , there exists a regular element such that §3, Th. 2). On the other hand, there exists an element such that and exp(). Then (exp()), and by Lemma 4 (ii), exp() is a regular element of G.
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.