Definition 2
Tag 0AUZ, permanent. Cite it as [Bourbaki, Tag 0AUZ].
Lie Groups and Lie Algebras, chapter VI, § 1. Root systems
A subset of is called a basis of if there exists a chamber of such that . If is a chamber, is called the basis of defined by .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.