Lemma 10
Tag 0118, permanent. Cite it as [Bourbaki, Tag 0118].
Lie Groups and Lie Algebras, chapter VIII, § 4. Split semi-simple Lie algebra defined by a reduced root system
Let , and assume that is not a multiple of a root. There exists such that certain of the coordinates of with respect to the basis B are and certain of them are .
Let be the vector space , in which R is a root system. By the assumption, there exists such that for all , and . There exists a chamber C of such that . By Chap. VI, §1, no. 5, Th. 2 (i), there exists such that belongs to the chamber associated to B, in other words such that for all . Write . Then
which proves that certain are and others are .
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, §1, no. 5, Th. 2 not in this corpus