Recall that the reflections for preserve . They generate a group called the **Weyl group**. Moreover, since spans , the map , the symmetric group on , is injective. So is a finite group of orthogonal isomorphisms of , i.e. leaving invariant the bilinear form .

Everything here actually makes sense for root systems in general, but we are restricting ourselves to the case of a root system associated to semisimple Lie algebra and a Cartan subalgebra. The only difference is that one has to prove the result on maximal strings (which was proved in the case of Lie algebras here), though it can be done for root systems in general.

Now choose a base for and a corresponding partition ; the for are called **simple reflections**.

The goal we are aiming for is the following theorem, which gives a large amount of information about the Weyl group.

Theorem 1acts simply transitively on Weyl chambers and on bases. Any root can be moved by an element of the Weyl group into a given base. is generated by the simple reflections. (more…)