Corollary 6
Tag 00TX, permanent. Cite it as [Bourbaki, Tag 00TX].
Lie Groups and Lie Algebras, chapter VII, § 2. Cartan subalgebras and regular elements of a Lie algebra
Let be a Lie algebra, let be a subfield of such that , and let be the Lie algebra obtained from by restricting the field of scalars to . Let be a subset of . Then is a Cartan subalgebra of if and only if is a Cartan subalgebra of .
This follows from Cor. 5, since the condition does not involve the base field.
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.