Introduction

The functions in this chapter handle basic descriptions of Coxeter systems. A Coxeter system is a group G with finite generating set S={s₁, ..., s_n}, defined by relations s_i²=1 for i=1, ..., n and

s_is_js_i ... = s_js_is_j ... for i, j=1, ..., n with i<j, where each side of this relation has length m_ij≥2. Traditionally, m_ij=∞ signifies that the corresponding relation is omitted but for technical reasons m_ij=0 is used in Magma instead. The group G is called a Coxeter group and S is called the set of Coxeter generators. Since every group in Magma has a preferred generating set, no distinction is made between a Coxeter system and its Coxeter group. See [Bou68] for more details on the theory of Coxeter groups.

The rank of the Coxeter system is n=|S|. A Coxeter system is said to be reducible if there is a proper subset I of {1, ..., n} such that m_ij=2 or m_ji=2 whenever i∈I and j∉I. In this case, G is an (internal) direct product of the Coxeter subgroups W_I=< s_i | i ∈I > and W_I^c=< s_i | i ∉I >. Note that an irreducible Coxeter group may still be a nontrivial direct product of abstract subgroups (for example, W(G₂) isomorphic to S₂ x S₃). Two Coxeter systems are Coxeter isomorphic (or graph isomorphic) if there is a group isomorphism between them which takes Coxeter generators to Coxeter generators. In other words, the two groups are the same modulo renumbering of the generators.

Coxeter groups and their representations as reflection groups have a number of useful descriptions. In this chapter, Coxeter matrices, Coxeter graphs, Cartan matrices, and Dynkin digraphs will be discussed. The classification of finite and affine Coxeter groups provides a naming system for these groups. In Chapters ROOT SYSTEMS and ROOT DATA, finite root systems and root data, which provide a more detailed description of finite Coxeter groups, are discussed. Coxeter groups themselves are discussed in Chapter COXETER GROUPS; reflection representations of Coxeter groups are discussed in Chapter REFLECTION GROUPS. [Next][Prev] [Right] [____] [Up] [Index] [Root]