Weyl group


In mathematics, in particular the theory of Lie algebras, the Weyl group (named after Hermann Weyl) of a root system Φ is a subgroup of the isometry group of that root system. Specifically, it is the subgroup which is generated by reflections through the hyperplanes orthogonal to the roots, and as such is a finite reflection group. In fact it turns out that most finite reflection groups are Weyl groups.[1] Abstractly, Weyl groups are finite Coxeter groups, and are important examples of these.

The Weyl group of a semisimple Lie group, a semisimple Lie algebra, a semisimple linear algebraic group, etc. is the Weyl group of the root system of that group or algebra.

Definition and examples

The Weyl group of the   root system is the symmetry group of an equilateral triangle

Let   be a root system in a Euclidean space  . For each root  , let   denote the reflection about the hyperplane perpendicular to  , which is given explicitly as


where   is the inner product on  . The Weyl group   of   is the subgroup of the orthogonal group   generated by all the  's. By the definition of a root system, each   preserves  , from which it follows that   is a finite group.

In the case of the   root system, for example, the hyperplanes perpendicular to the roots are just lines, and the Weyl group is the symmetry group of an equilateral triangle, as indicated in the figure. As a group,   is isomorphic to the permutation group on three elements, which we may think of as the vertices of the triangle. Note that in this case,   is not the full symmetry group of the root system; a 60-degree rotation preserves   but is not an element of  .

We may consider also the   root system. In this case,   is the space of all vectors in   whose entries sum to zero. The roots consist of the vectors of the form  , where   is the  th standard basis element for  . The reflection associated to such a root is the transformation of   obtained by interchanging the  th and  th entries of each vector. The Weyl group for   is then the permutation group on   elements.

Weyl chambers

The shaded region is the fundamental Weyl chamber for the base  

If   is a root system, we may consider the hyperplane perpendicular to each root  . Recall that   denotes the reflection about the hyperplane and that the Weyl group is the group of transformations of   generated by all the  's. The complement of the set of hyperplanes is disconnected, and each connected component is called a Weyl chamber. If we have fixed a particular set Δ of simple roots, we may define the fundamental Weyl chamber associated to Δ as the set of points   such that   for all  .

Since the reflections   preserve  , they also preserve the set of hyperplanes perpendicular to the roots. Thus, each Weyl group element permutes the Weyl chambers.

The figure illustrates the case of the A2 root system. The "hyperplanes" (in this case, one dimensional) orthogonal to the roots are indicated by dashed lines. The six 60-degree sectors are the Weyl chambers and the shaded region is the fundamental Weyl chamber associated to the indicated base.

A basic general theorem about Weyl chambers is this:[2]

Theorem: The Weyl group acts freely and transitively on the Weyl chambers. Thus, the order of the Weyl group is equal to the number of Weyl chambers.

A related result is this one:[3]

Theorem: Fix a Weyl chamber  . Then for all  , the Weyl-orbit of   contains exactly one point in the closure   of  .

Coxeter group structure


Generating set


A key result about the Weyl group is this:[4]

Theorem: If   is base for  , then the Weyl group is generated by the reflections   with   in  .

That is to say, the group generated by the reflections   is the same as the group generated by the reflections  .



Meanwhile, if   and   are in  , then the Dynkin diagram for   relative to the base   tells us something about how the pair   behaves. Specifically, suppose   and   are the corresponding vertices in the Dynkin diagram. Then we have the following results:

  • If there is no bond between   and  , then   and   commute. Since   and   each have order two, this is equivalent to saying that  .
  • If there is one bond between   and  , then  .
  • If there are two bonds between   and  , then  .
  • If there are three bonds between   and  , then  .

The preceding claim is not hard to verify, if we simply remember what the Dynkin diagram tells us about the angle between each pair of roots. If, for example, there is no bond between the two vertices, then   and   are orthogonal, from which it follows easily that the corresponding reflections commute. More generally, the number of bonds determines the angle   between the roots. The product of the two reflections is then a rotation by angle   in the plane spanned by   and  , as the reader may verify, from which the above claim follows easily.

As a Coxeter group


Weyl groups are examples of finite reflection groups, as they are generated by reflections; the abstract groups (not considered as subgroups of a linear group) are accordingly finite Coxeter groups, which allows them to be classified by their Coxeter–Dynkin diagram. Being a Coxeter group means that a Weyl group has a special kind of presentation in which each generator xi is of order two, and the relations other than xi2=1 are of the form (xixj)mij=1. The generators are the reflections given by simple roots, and mij is 2, 3, 4, or 6 depending on whether roots i and j make an angle of 90, 120, 135, or 150 degrees, i.e., whether in the Dynkin diagram they are unconnected, connected by a simple edge, connected by a double edge, or connected by a triple edge. We have already noted these relations in the bullet points above, but to say that   is a Coxeter group, we are saying that those are the only relations in  .

Weyl groups have a Bruhat order and length function in terms of this presentation: the length of a Weyl group element is the length of the shortest word representing that element in terms of these standard generators. There is a unique longest element of a Coxeter group, which is opposite to the identity in the Bruhat order.

Weyl groups in algebraic, group-theoretic, and geometric settings


Above, the Weyl group was defined as a subgroup of the isometry group of a root system. There are also various definitions of Weyl groups specific to various group-theoretic and geometric contexts (Lie algebra, Lie group, symmetric space, etc.). For each of these ways of defining Weyl groups, it is a (usually nontrivial) theorem that it is a Weyl group in the sense of the definition at the top of this article, namely the Weyl group of some root system associated with the object. A concrete realization of such a Weyl group usually depends on a choice – e.g. of Cartan subalgebra for a Lie algebra, of maximal torus for a Lie group.[5]

The Weyl group of a connected compact Lie group


Let   be a connected compact Lie group and let   be a maximal torus in  . We then introduce the normalizer of   in  , denoted   and defined as


We also define the centralizer of   in  , denoted   and defined as


The Weyl group   of   (relative to the given maximal torus  ) is then defined initially as


Eventually, one proves that  ,[6] at which point one has an alternative description of the Weyl group as


Now, one can define a root system   associated to the pair  ; the roots are the nonzero weights of the adjoint action of   on the Lie algebra of  . For each  , one can construct an element   of   whose action on   has the form of reflection.[7] With a bit more effort, one can show that these reflections generate all of  .[6] Thus, in the end, the Weyl group as defined as   or   is isomorphic to the Weyl group of the root system  .

In other settings


For a complex semisimple Lie algebra, the Weyl group is simply defined as the reflection group generated by reflections in the roots – the specific realization of the root system depending on a choice of Cartan subalgebra.

For a Lie group G satisfying certain conditions,[note 1] given a torus T < G (which need not be maximal), the Weyl group with respect to that torus is defined as the quotient of the normalizer of the torus N = N(T) = NG(T) by the centralizer of the torus Z = Z(T) = ZG(T),


The group W is finite – Z is of finite index in N. If T = T0 is a maximal torus (so it equals its own centralizer:  ) then the resulting quotient N/Z = N/T is called the Weyl group of G, and denoted W(G). Note that the specific quotient set depends on a choice of maximal torus, but the resulting groups are all isomorphic (by an inner automorphism of G), since maximal tori are conjugate.

If G is compact and connected, and T is a maximal torus, then the Weyl group of G is isomorphic to the Weyl group of its Lie algebra, as discussed above.

For example, for the general linear group GL, a maximal torus is the subgroup D of invertible diagonal matrices, whose normalizer is the generalized permutation matrices (matrices in the form of permutation matrices, but with any non-zero numbers in place of the '1's), and whose Weyl group is the symmetric group. In this case the quotient map NN/T splits (via the permutation matrices), so the normalizer N is a semidirect product of the torus and the Weyl group, and the Weyl group can be expressed as a subgroup of G. In general this is not always the case – the quotient does not always split, the normalizer N is not always the semidirect product of W and Z, and the Weyl group cannot always be realized as a subgroup of G.[5]

Bruhat decomposition


If B is a Borel subgroup of G, i.e., a maximal connected solvable subgroup and a maximal torus T = T0 is chosen to lie in B, then we obtain the Bruhat decomposition


which gives rise to the decomposition of the flag variety G/B into Schubert cells (see Grassmannian).

The structure of the Hasse diagram of the group is related geometrically to the cohomology of the manifold (rather, of the real and complex forms of the group), which is constrained by Poincaré duality. Thus algebraic properties of the Weyl group correspond to general topological properties of manifolds. For instance, Poincaré duality gives a pairing between cells in dimension k and in dimension n - k (where n is the dimension of a manifold): the bottom (0) dimensional cell corresponds to the identity element of the Weyl group, and the dual top-dimensional cell corresponds to the longest element of a Coxeter group.

Analogy with algebraic groups


There are a number of analogies between algebraic groups and Weyl groups – for instance, the number of elements of the symmetric group is n!, and the number of elements of the general linear group over a finite field is related to the q-factorial  ; thus the symmetric group behaves as though it were a linear group over "the field with one element". This is formalized by the field with one element, which considers Weyl groups to be simple algebraic groups over the field with one element.



For a non-abelian connected compact Lie group G, the first group cohomology of the Weyl group W with coefficients in the maximal torus T used to define it,[note 2] is related to the outer automorphism group of the normalizer   as:[8]


The outer automorphisms of the group Out(G) are essentially the diagram automorphisms of the Dynkin diagram, while the group cohomology is computed in Hämmerli, Matthey & Suter 2004 and is a finite elementary abelian 2-group ( ); for simple Lie groups it has order 1, 2, or 4. The 0th and 2nd group cohomology are also closely related to the normalizer.[8]

See also





  1. ^ Different conditions are sufficient – most simply if G is connected and either compact, or an affine algebraic group. The definition is simpler for a semisimple (or more generally reductive) Lie group over an algebraically closed field, but a relative Weyl group can be defined for a split Lie group.
  2. ^ W acts on T – that is how it is defined – and the group   means "with respect to this action".


  1. ^ Humphreys 1992, p. 6.
  2. ^ Hall 2015 Propositions 8.23 and 8.27
  3. ^ Hall 2015 Proposition 8.29
  4. ^ Hall 2015 Propositions 8.24
  5. ^ a b Popov & Fedenko 2001
  6. ^ a b Hall 2015 Theorem 11.36
  7. ^ Hall 2015 Propositions 11.35
  8. ^ a b Hämmerli, Matthey & Suter 2004


  • Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics, vol. 222 (2nd ed.), Springer, ISBN 978-3-319-13466-6
  • Hämmerli, J.-F.; Matthey, M.; Suter, U. (2004), "Automorphisms of Normalizers of Maximal Tori and First Cohomology of Weyl Groups" (PDF), Journal of Lie Theory, 14, Heldermann Verlag: 583–617, Zbl 1092.22004
  • Humphreys, James E. (1992) [1990], Reflection Groups and Coxeter Groups, Cambridge Studies in Advanced Mathematics, vol. 29, Cambridge University Press, ISBN 978-0-521-43613-7, Zbl 0725.20028
  • Popov, V.L.; Fedenko, A.S. (2001) [1994], "Weyl group", Encyclopedia of Mathematics, EMS Press

Further reading

  • Bourbaki, Nicolas (2002), Lie Groups and Lie Algebras: Chapters 4-6, Elements of Mathematics, Springer, ISBN 978-3-540-42650-9, Zbl 0983.17001
  • Björner, Anders; Brenti, Francesco (2005), Combinatorics of Coxeter Groups, Graduate Texts in Mathematics, vol. 231, Springer, ISBN 978-3-540-27596-1, Zbl 1110.05001
  • Coxeter, H. S. M. (1934), "Discrete groups generated by reflections", Ann. of Math., 35 (3): 588–621, CiteSeerX, doi:10.2307/1968753, JSTOR 1968753
  • Coxeter, H. S. M. (1935), "The complete enumeration of finite groups of the form  ", J. London Math. Soc., 1, 10 (1): 21–25, doi:10.1112/jlms/s1-10.37.21
  • Davis, Michael W. (2007), The Geometry and Topology of Coxeter Groups (PDF), Princeton University Press, ISBN 978-0-691-13138-2, Zbl 1142.20020
  • Grove, Larry C.; Benson, Clark T. (1985), Finite Reflection Groups, Graduate texts in mathematics, vol. 99, Springer, ISBN 978-0-387-96082-1
  • Hiller, Howard (1982), Geometry of Coxeter groups, Research Notes in Mathematics, vol. 54, Pitman, ISBN 978-0-273-08517-1, Zbl 0483.57002
  • Howlett, Robert B. (1988), "On the Schur Multipliers of Coxeter Groups", J. London Math. Soc., 2, 38 (2): 263–276, doi:10.1112/jlms/s2-38.2.263, Zbl 0627.20019
  • Ihara, S.; Yokonuma, Takeo (1965), "On the second cohomology groups (Schur-multipliers) of finite reflection groups" (PDF), J. Fac. Sci. Univ. Tokyo, Sect. 1, 11: 155–171, Zbl 0136.28802
  • Kane, Richard (2001), Reflection Groups and Invariant Theory, CMS Books in Mathematics, Springer, ISBN 978-0-387-98979-2, Zbl 0986.20038
  • Knapp, Anthony W. (2002), Lie Groups: Beyond an Introduction, Progress in Mathematics, vol. 140 (2nd ed.), Birkhaeuser, ISBN 978-0-8176-4259-4
  • Vinberg, E. B. (1984), "Absence of crystallographic groups of reflections in Lobachevski spaces of large dimension", Trudy Moskov. Mat. Obshch., 47
  • Yokonuma, Takeo (1965), "On the second cohomology groups (Schur-multipliers) of infinite discrete reflection groups", J. Fac. Sci. Univ. Tokyo, Sect. 1, 11: 173–186, hdl:2261/6049, Zbl 0136.28803