Proposition 1
Tag 0AYE, permanent. Cite it as [Bourbaki, Tag 0AYE].
Lie Groups and Lie Algebras, chapter VI, § 4. Classification of root systems
Let and be two reduced root systems in vector spaces and . Let and be bases of and , indexed canonically. Let be an isomorphism from the Dynkin graph of to the Dynkin graph of . Then, there exists a unique isomorphism from to transforming into and into for all .
It is clear that an automorphism of defines an automorphism of the Dynkin graph of , and hence a homomorphism from the group to the group of automorphisms of the Dynkin graph of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.