 Solution

Identify the real span of the roots with its dual using the invariant inner product, and put ${\alpha }^{\vee }=2\alpha /(\alpha ,\alpha )$. The weight lattice isThe Weyl group is generated by the root reflections $s_{\alpha }$. Each reflection permutes the finite set of roots and preserves their lengths, hence also permutes their coroots. Thus, for $\lambda \in {\Lambda }_W$,Every generating reflection therefore maps the weight lattice to itself, and so does every product. Since the inverse product has the same property, every Weyl-group element acts bijectively on ${\Lambda }_W$. The roots span the ambient space, so the action on the finite root set is faithful; in particular the Weyl group is finite.