Corollary
Tag 0AYF, permanent. Cite it as [Bourbaki, Tag 0AYF].
Lie Groups and Lie Algebras, chapter VI, § 4. Classification of root systems
The homomorphism defines by passage to the quotient an isomorphism from the group to the group of automorphisms of the Dynkin graph of .
Clearly, for all . On the other hand, Prop. 1 shows that there exists an isomorphism from the group of isomorphisms of the Dynkin graph of to the subgroup of elements of leaving fixed a given basis of , such that . Since is the semi-direct product of and (§ 1, no. 5, Prop. 16), the corollary follows.
In practice, the Dynkin graph is represented by a diagram composed of nodes and bonds in the following way. The nodes correspond to the vertices of ; two nodes corresponding to two distinct vertices and are joined by 0, 1, 2 or 3 bonds in cases 1), 2), 3) and 4) above (up to interchanging and ). Moreover, in cases 3) and 4), that is when , or when the roots and are not orthogonal and not of the same length, an inequality sign is placed on the double or triple bond joining the nodes corresponding to and oriented towards the node corresponding to (that is, the shortest root):
It is clear that the Dynkin graph can be recovered from this diagram.
We remark that the diagram associated to the Coxeter graph of can be obtained from that associated to the Dynkin graph of by keeping the nodes and the single bonds and replacing the double (resp. triple) bonds by a bond surmounted by the number 4 (resp. 6). Conversely, given the Coxeter graph of W(R), the diagram associated to the Dynkin graph of R can be recovered using the inverse of this procedure, except for the inequality signs on the double or triple bonds. Th. 1 thus gives immediately the list of possible Dynkin graphs. More precisely:
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.