Proposition 1
Tag 09ZE, permanent. Cite it as [Bourbaki, Tag 09ZE].
Lie Groups and Lie Algebras, chapter I, § 6. Semi-simple Lie algebras
Let be a semi-simple Lie algebra and a finite-dimensional faithful representation of . Then the bilinear form on associated with is non-degenerate.
The orthogonal of with respect to this form is a solvable ideal (, 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
- Exercise 1, § 6
- Lemma 3, § 6
- Corollary 1, § 6
- Corollary 3, § 6
- Proposition 3, § 6
- Proposition 4, § 6
- Proposition 5, § 6
- Theorem 2, § 10
- Corollary, § 7