Proposition 17
Tag 01D2, permanent. Cite it as [Bourbaki, Tag 01D2].
Lie Groups and Lie Algebras, chapter IX, § 4. Root system associated to a compact group
The homomorphism Aut(G) Aut(D) is surjective, with kernel Int.
Note that Aut(G) Int(G) = Int and that the image of Int in Aut(D) is W(D) (no. 5, Prop. 10). Thus, Proposition 17 gives an isomorphism
Aut(G)(Aut(G) Int(G)) Aut(D).
Further, Aut(G) = Int(G).Aut(G). Indeed, if belongs to Aut(G), is a maximal torus of T, hence is conjugate to T, and there exists an inner automorphism of G such that (T), in other words Aut(G). It follows that Aut(G)Int(G) can be identified with Aut(G)(Aut(G)Int(G)), so in view of the preceding we have an exact sequence
Int(G) Aut(G) Aut(D). (16)
Consequently:
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.