Bourbaki

Proposition 1

Tag 09ZE, permanent. Cite it as [Bourbaki, Tag 09ZE].

Lie Groups and Lie Algebras, chapter I, § 6. Semi-simple Lie algebras

Let gg be a semi-simple Lie algebra and φ\varphi a finite-dimensional faithful representation of gg. Then the bilinear form on gg associated with φ\varphi is non-degenerate.

The orthogonal of gg with respect to this form is a solvable ideal (§5§ 5, no. 4, Theorem 2) and hence is zero.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Transcribed from the printed volume. Not translated.