Editing Root system (section)

===Integral elements===
{{See also|Weight (representation theory)#Weights in the representation theory of semisimple Lie algebras}}
A vector <math>\lambda</math> in ''E'' is called '''integral'''<ref>{{harvnb|Hall|2015|loc=Section 8.7}}</ref> if its inner product with each coroot is an integer:
<math display=block>2\frac{(\lambda,\alpha)}{(\alpha,\alpha)}\in\mathbb Z,\quad\alpha\in\Phi.</math>
Since the set of <math>\alpha^\vee </math> with <math>\alpha\in\Delta</math> forms a base for the dual root system, to verify that <math>\lambda</math> is integral, it suffices to check the above condition for <math>\alpha\in\Delta</math>.

The set of integral elements is called the '''weight lattice''' associated to the given root system. This term comes from the [[Lie algebra representation#Classifying finite-dimensional representations of Lie algebras|representation theory of semisimple Lie algebras]], where the integral elements form the possible weights of finite-dimensional representations.

The definition of a root system guarantees that the roots themselves are integral elements. Thus, every integer linear combination of roots is also integral. In most cases, however, there will be integral elements that are not integer combinations of roots. That is to say, in general the weight lattice does not coincide with the root lattice.