Bourbaki

Theorem 2

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

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}) and (g′,h′,B′,(Xα′)α∈B′)(\mathfrak{g}',\mathfrak{h}',B',(X'_{\alpha})_{\alpha\in B'}) be framed semi-simple Lie algebras, let R and R′R' be the root systems of (g,h)(\mathfrak{g},\mathfrak{h}) and (g′,h′)(\mathfrak{g}',\mathfrak{h}'), let (n(α,β))α,β∈B(n(\alpha , \beta ))_{\alpha ,\beta\in B} (resp. (n′(α,β))α,β∈B′(n'(\alpha , \beta ))_{\alpha ,\beta\in B'}) be the Cartan matrix of R (resp. R′R') relative to B (resp. B′B'), and let Δ\Delta (resp. Δ′\Delta ') be the Dynkin graph of R (resp. R′R') relative to B (resp. B′B').

(i) If φ\varphi is an isomorphism from h∗\mathfrak{h}^* to h′∗\mathfrak{h}^{'*} such that φ(R)=R′\varphi (R) = R' and φ(B)=B′\varphi (B) = B', there exists a unique isomorphism ψ\psi from (g,h,B,(Xα)α∈B)(\mathfrak{g},\mathfrak{h},B,(X_{\alpha})_{\alpha\in B}) to (g′,h′,B′,(Xα′)α∈B′)(\mathfrak{g}',\mathfrak{h}',B',(X'_{\alpha})_{\alpha\in B'}) such that ψ∣h=tφ−1\psi |\mathfrak{h}=^t\varphi^{-1}.

(ii) If ff is a bijection from B to B′B' such that n′(f(α),f(β))=n(α,β)n'(f(\alpha ), f(\beta )) =n(\alpha , \beta ) for all α,β∈\alpha , \beta \in B, there exists an isomorphism from (g,h,B,(Xα)α∈B)(\mathfrak{g},\mathfrak{h},B,(X_{\alpha})_{\alpha\in B}) to (g′,h′,B′,(Xα′)α∈B′)(\mathfrak{g}',\mathfrak{h}',B',(X'_{\alpha})_{\alpha\in B'}).

(iii) If there exists an isomorphism from Δ\Delta to Δ′\Delta ', there exists an isomorphism from (g,h,B,(Xα)α∈B)(\mathfrak{g},\mathfrak{h},B,(X_{\alpha})_{\alpha\in B}) to (g′,h′,B′,(Xα′)α∈B′)(\mathfrak{g}',\mathfrak{h}',B',(X'_{\alpha})_{\alpha\in B'}).

This follows immediately from Prop. 4 (i) (making use of Chap. VI, §4, no. 2, Prop. 1 for part (iii)).

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

  • Chap. VI, §4, no. 2, Prop. 1 not in this corpus
  • Prop. 4
Transcribed from the printed volume. Not translated.