Let be a positive root. If it is not simple, it is a sum of two positive roots. Repeating this decomposition terminates because the height with respect to a regular positive functional strictly decreases, and it writeswith at least one . Equivalently, one may repeatedly choose a simple root with and use the root string to replace by the root .
For uniqueness, the simple roots are linearly independent. Therefore two such expansions have identical coefficients. Here “positive integer coefficients” must allow zero coefficients: a simple root itself has coefficient one on its own basis vector and zero on the others.
Articles by others on the same topic
There are currently no matching articles.