Irreducible Coxeter Groups

We prove that a non-spherical irreducible Coxeter group is (directly) indecomposable and that an indefinite irreducible Coxeter group is strongly indecomposable in the sense that all its finite index subgroups are (directly) indecomposable. Let W be a Coxeter group. Write W = WX1 × ⋯ × WXb × WZ3, where WX1, … , WXb are non-spherical irreducible Coxeter groups and WZ3 is a finite one. By a classical result, known as the Krull–Remak–Schmidt theorem, the group WZ3 has a decomposition WZ3 = H1 × ⋯ × Hq as a direct product of indecomposable groups, which is unique up to a central automorphism and a permutation of the factors. Now, W = WX1 × ⋯ × WXb × H1 × ⋯ × Hq is a decomposition of W as a direct product of indecomposable subgroups. We prove that such a decomposition is unique up to a central automorphism and a permutation of the factors. Write W = WX1 × ⋯ × WXa × WZ2 × WZ3, where WX1, … , WXa are indefinite irreducible Coxeter groups, WZ2 is an affine Coxeter group whose irreducible components are all infinite, and WZ3 is a finite Coxeter group. The group WZ2 contains a finite index subgroup R isomorphic to ℤd, where d = |Z2| - b + a and b - a is the number of irreducible components of WZ2. Choose d copies R1, … , Rd of ℤ such that R = R1 × ⋯ × Rd. Then G = WX1 × ⋯ × WXa × R1 × ⋯ × Rd is a virtual decomposition of W as a direct product of strongly indecomposable subgroups. We prove that such a virtual decomposition is unique up to commensurability and a permutation of the factors.

[1]  D. Robinson.  A Course in the Theory of Groups , 1982 .

[2]  W. Ledermann.  INTRODUCTION TO LIE ALGEBRAS AND REPRESENTATION THEORY , 1974 .

[3]  J. Humphreys.  Reflection groups and coxeter groups , 1990 .

[4]  Bernhard Mühlherr,et al.  Rigidity of Coxeter Groups and Artin Groups , 2002 .

[5]  H. S. M. Coxeter,et al.  The Complete Enumeration of Finite Groups of the Form Ri2=(RiRj)kij=1 , 1935 .

[6]  Matthew Dyer,et al.  Reflection subgroups of Coxeter systems , 1990 .

[7]  Friedrich Hirzebruch,et al.  Groupes et géométries de Coxeter , 2001 .

[8]  Curtis T. McMullen,et al.  Coxeter groups, Salem numbers and the Hilbert metric , 2002 .

[9]  P. M. Cohn.  GROUPES ET ALGÉBRES DE LIE , 1977 .

[10]  K. Nuida.  On the Direct Indecomposability of Infinite Irreducible Coxeter Groups and the Isomorphism Problem of Coxeter Groups , 2005, math/0501276.

[11]  B. Mühlherr.  The isomorphism problem for Coxeter groups , 2005 .

[12]  P. Harpe,et al.  Decompositions de groupes par produit direct et groupes de Coxeter , 2005, math/0507366.

[13]  J. Humphreys.  Introduction to Lie Algebras and Representation Theory , 1973 .

[14]  B. Mühlherr,et al.  Reflection rigidity of 2‐spherical Coxeter groups , 2007 .

[15]  Louis Solomon,et al.  A Mackey formula in the group ring of a Coxeter group , 1976 .

[16]  Vinay V. Deodhar.  On the root system of a coxeter group , 1982 .

[17]  R. Carter.  REFLECTION GROUPS AND COXETER GROUPS (Cambridge Studies in Advanced Mathematics 29) , 1991 .

[18]  D. E. Taylor,et al.  On outer automorphism groups of coxeter groups , 1997 .

[19]  R. Howlett.  Normalizers of Parabolic Subgroups of Reflection Groups , 1980 .

[21]  Daan Krammer,et al.  The conjugacy problem for Coxeter groups , 2009 .

[22]  Michael W. Davis,et al.  When is a Coxeter System Determined by its Coxeter Group? , 2000 .