Corollary
Tag 0AW5, permanent. Cite it as [Bourbaki, Tag 0AW5].
Lie Groups and Lie Algebras, chapter VI, § 1. Root systems
Let be half the sum of the elements of (for ). For all , the sum of the coordinates of with respect to the basis is . If , this sum is equal to .
Interchanging the roles of and above, we have for all , hence the corollary.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.