Corollary
Tag 01A1, permanent. Cite it as [Bourbaki, Tag 01A1].
Lie Groups and Lie Algebras, chapter IX, § 2. Maximal tori of compact Lie groups
Let and be Cartan subalgebras of a subset of , and an automorphism of that takes into . There exists an element of Int() such that takes to , and coincides with on .
Put G = Int(), and consider the fixer of in G; this is a Lie subgroup of G, whose Lie algebra consists of the elements of that commute with every element of (Chap. III, §9, no. 3, Prop. 7). Then and are two Cartan subalgebras of the compact Lie algebra . By Th. 1, there exists an element of such that ; any such element has the desired properties.
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
Cites
- Chap. III, §9, no. 3, Prop. 7 not in this corpus
- Th. 1