Bourbaki

Proposition 5

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

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

Let (g,h,B,(Xα)α∈B)(\mathfrak{g},\mathfrak{h},B,(X_{\alpha})_{\alpha\in B}) be a framed semi-simple Lie algebra, and (Xα)α∈B∪(−B)(X_{\alpha})_{\alpha\in B\cup(-B)} the corresponding generating family. There exists a unique automorphism θ\theta of g\mathfrak{g} such that θ(Xα)=X−α\theta (X_{\alpha}) =X_{-\alpha} for all α∈B∪(−B)\alpha \in B\cup (-B). We have θ2=\theta^2= Idg_{\mathfrak{g}}, and θ(h)=−h\theta (h) =-h for all h∈hh\in \mathfrak{h}.

The uniqueness is clear since (Xα)α∈B∪(−B)(X_{\alpha})_{\alpha\in B\cup(-B)} generates the Lie algebra g\mathfrak{g}. In view of Prop. 4, the existence of θ\theta follows from what we said in no. 3 before Th. 1.

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.