Bourbaki

Remark 5

Tag 00YP, permanent. Cite it as [Bourbaki, Tag 00YP].

Lie Groups and Lie Algebras, chapter VIII, § 2. Root system of a split semi-simple Lie algebra

Let g\mathfrak{g} be a reductive Lie algebra. Then g=c×s\mathfrak{g}=\mathfrak{c}\times \mathfrak{s} where c\mathfrak{c} is the centre of g\mathfrak{g} and s=Dg\mathfrak{s}=\mathscr{D}\mathfrak{g} is semi-simple. The Cartan subalgebras of g\mathfrak{g} are the subalgebras of the form h=c×h′\mathfrak{h}=\mathfrak{c}\times \mathfrak{h}' where h′\mathfrak{h}' is a Cartan subalgebra of s\mathfrak{s} (Chap. VII, §2, no. 1, Prop. 2). Then h\mathfrak{h} is called splitting if h′\mathfrak{h}' is splitting relative to s\mathfrak{s}. This leads in an obvious way to the definition of splittable or split reductive algebras.

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

Cites

Transcribed from the printed volume. Not translated.