Bourbaki

Proposition 5

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

Lie Groups and Lie Algebras, chapter VII, § 5. Decomposable linear Lie algebras

Let g\mathfrak{g} be a decomposable nilpotent Lie subalgebra of gl(V)\mathfrak{g}\mathfrak{l}(V). Let t\mathfrak{t} be the set of semi-simple elements of g\mathfrak{g}. Then t\mathfrak{t} is a central subalgebra of g\mathfrak{g}, and g\mathfrak{g} is the product of t\mathfrak{t} and nV(g)\mathfrak{n}_V(\mathfrak{g}) as Lie algebras.

If x∈tx\in \mathfrak{t}, adgx_{\mathfrak{g}}x is semi-simple and nilpotent, hence zero, so that xx is central in g\mathfrak{g}. Consequently, t\mathfrak{t} is an ideal of g\mathfrak{g}, and t∩nV(g)=0\mathfrak{t}\cap \mathfrak{n}_V(\mathfrak{g}) = 0. Since g\mathfrak{g} is decomposable, g=t+nV(g)\mathfrak{g}=\mathfrak{t}+\mathfrak{n}_V(\mathfrak{g}), hence the proposition.

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

Nothing.

Transcribed from the printed volume. Not translated.