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 is associated a Dynkin graph, which determines up to isomorphism (Th. 2 (iii)). This graph is non-empty and connected if and only if 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 , . 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
- Chap. VI, §4, no. 2, Th. 3 not in this corpus
- §3, no. 2, Cor. 1 of Prop. 6
- Th. 1
- Th. 2