Proposition 8
Tag 0AUK, permanent. Cite it as [Bourbaki, Tag 0AUK].
Lie Groups and Lie Algebras, chapter VI, § 1. Root systems
(i) If two roots are proportional, the factor of proportionality can only be .
(ii) If and are two non-proportional roots, and if , then takes one of the values 0, 1, -1.
If a root is such that , then is called an indivisible root.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.