Remark
Tag 01BF, permanent. Cite it as [Bourbaki, Tag 01BF].
Lie Groups and Lie Algebras, chapter IX, § 3. Compact forms of complex semi-simple Lie algebras
We have seen above that is simply-connected and that is of order 2. We shall see much later that these results generalize to and , respectively (cf. also §3, Exerc. 4 and 5).
Recall (Chap. VIII, §1, no. 1) that the canonical basis of is the basis , where
0
0 0 0 0 .
We thus obtain a basis of , also called canonical, by putting
We have
If B denotes the Killing form of an immediate calculation gives
Further, note that is a Cartan subalgebra of , that the maximal torus T of that corresponds to it consists of the diagonal matrices
Further, the centre of consists of the identity and .
Put
By Chap. VIII, §1, no. 5,
Finally, for , we have
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.