Proposition 19
Tag 0AVH, permanent. Cite it as [Bourbaki, Tag 0AVH].
Lie Groups and Lie Algebras, chapter VI, § 1. Root systems
Let be a sequence of positive roots for the chamber such that is a root. Then there exists a permutation such that, for all , is a root.
We argue by induction on , the proposition being clear for . Put . Then , so there exists an index such that . If , then since for all . Otherwise is a root (no. 3, Cor. of Th. 1); it then suffices to apply the induction hypothesis to .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
- Lemma 3, § 1
- Corollary 1, § 1
- Corollary 2, § 1
- Corollary 3, § 1
- Proposition 20, § 1
- Corollary 4, § 12
- Proposition 9, § 3
- Corollary, § 4