Proposition 15
Tag 0AV5, permanent. Cite it as [Bourbaki, Tag 0AV5].
Lie Groups and Lie Algebras, chapter VI, § 1. Root systems
Let B be a basis of R and an indivisible root. There exist and such that .
Let C be the chamber such that . The hyperplane is a wall of a chamber of R, and there exists an element of that transforms to C. We are therefore reduced to the case where is a wall of C. Then is proportional to an element of R. Since and are indivisible, . If , then , hence the proposition.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.