Corollary
Tag 01D3, permanent. Cite it as [Bourbaki, Tag 01D3].
Lie Groups and Lie Algebras, chapter IX, § 4. Root system associated to a compact group
If G is simply-connected, or if C(G) reduces to the identity element, the group Aut(G)Int(G) is isomorphic to the group of automorphisms of the Dynkin graph of .
This follows from the preceding and Chap. VI, §4, no. 2, Cor. of Prop. 1.
We are now going to show that the extension (16) admits sections.
For all , denote by the 2-dimensional vector subspace of such that ; denote by K the quadratic form associated to the Killing form of .
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.
Cites
- Chap. VI, §4, no. 2, Cor. of Prop. 1 not in this corpus