Bourbaki

Remark 1

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

Lie Groups and Lie Algebras, chapter VII, § 3. Conjugacy theorems

Let V be a finite dimensional vector space, g\mathfrak{g} a Lie subalgebra of a=gl\mathfrak{a}=\mathfrak{g}\mathfrak{l}(V), xx an element of g\mathfrak{g} such that adgx_{\mathfrak{g}}x is nilpotent. Then there exists a nilpotent element nn of a\mathfrak{a} such that adan_{\mathfrak{a}}n extends adgx_{\mathfrak{g}}x. Indeed, let s,ns, n be the semi-simple and nilpotent components of xx; then adas_{\mathfrak{a}}s and adan_{\mathfrak{a}}n are the semi-simple and nilpotent components of adax_{\mathfrak{a}}x (Chap. I, §5, no. 4, Lemma 2), so adas_{\mathfrak{a}}s and adan_{\mathfrak{a}}n leave g\mathfrak{g} stable, and adas∣g_{\mathfrak{a}}s|\mathfrak{g} and adan∣g_{\mathfrak{a}}n|\mathfrak{g} are the semi-simple and nilpotent components of adgx_{\mathfrak{g}}x; consequently, adgx=_{\mathfrak{g}}x= adan∣g_{\mathfrak{a}}n|\mathfrak{g}, which proves our assertion. In view of Lemma 1 (ii), every elementary automorphism of g\mathfrak{g} extends to an automorphism of a\mathfrak{a} of the form u→mum−1u \rightarrow mum^{-1} where m∈GL(V)m\in \mathbf{G}\mathbf{L}(V).

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. I, §5, no. 4, Lemma 2 not in this corpus
  • Lemma 1
Transcribed from the printed volume. Not translated.