Bourbaki

Scholium

Tag 011D, permanent. Cite it as [Bourbaki, Tag 011D].

Lie Groups and Lie Algebras, chapter VIII, § 4. Split semi-simple Lie algebra defined by a reduced root system

To any splittable semi-simple Lie algebra g\mathfrak{g} is associated a Dynkin graph, which determines g\mathfrak{g} up to isomorphism (Th. 2 (iii)). This graph is non-empty and connected if and only if g\mathfrak{g} is simple (§3, no. 2, Cor. 1 of Prop. 6). By Th. 1 of no. 3, and Chap. VI, §4, no. 2, Th. 3, the splittable simple Lie algebras are the algebras of type Al(l≥1),Bl(l≥2),Cl(l≥3),Dl(l≥4)A_l(l\geq 1), B_l(l\geq 2), C_l(l\geq 3), D_l(l\geq 4), E6,E7,E8,F4,G2E_6, E_7, E_8, F_4, G_2. No two algebras in this list are isomorphic.

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

Transcribed from the printed volume. Not translated.