Last update: 26 January 2014
An Artin group is a group with a presentation by a system of generators and relations where the words on each side of these relations are sequences of letters where and alternate in the sequence. The matrix of values is a Coxeter matrix on These groups generalize the braid groups established in 1925 by E. Artin in a natural way and therefore we suggest naming them Artin groups.
If one adds the relations to the relations in the presentation of an Artin group then one gets a presentation of a Coxeter group Thus the Coxeter groups are quotient groups of the Artin groups. It is well known that in the case of the braid group one gets the symmetric group in this way.
Since their introduction by Coxeter in 1935 the Coxeter groups have been well studied and a nice presentation of the results can be found in Bourbaki [Bou1968]. Other than the free groups, the braid group is the only class of Artin groups that has had a serious line of investigation, in particular, recently the solution of the conjugation problem was given by Garside. For the other Artin groups, a few isolated results appear in [Bri1971], [Bri1972] and [Gar1969]. These references, as well as our own work here, concentrate, for the most part, on the case that the Artin group corresponds to a finite Coxeter group. The Coxeter groups were already classified by Coxeter himself: these are the finite reflection groups - the irreducible cases being, the groups of Types and with or (see [Bou1968] VI §4.1). It was proved in [Bri1971] that for these finite reflection groups the Artin group is the fundamental group of the spaces of regular orbits for which is the corresponding complex reflection group. In [Bri1972] we conjectured, and for a few cases proved, that is an Eilenberg-McLane space so that the cohomology of is isomorphic to the cohomology of and thus a few statements were proved about the cohomology of
In the following work we study the Artin groups by combinatorial methods, which are very similar to those of Garside. For with finite we solve the word problem and the conjugation problem and we determine the centre of For irreducible the centre of is infinite cyclic and generated by an appropriate power of the product of the generators of For some cases these results were already known, and J.P. Serre asked us whether this was always the case. This question was the starting point of our work and we would like to thank J.P. Serre for his direction.
Deligne told us that he had constructed in the manner of Tits simplicial complexes on which operates, and has proved that is an Eilenberg-McLane space for all with finite We hope that our own work is not made superfluous by the very interesting work of Deligne, which we have not yet seen.
This is a translation, with notes, of the paper, Artin-Gruppen und Coxeter-Gruppen, Inventiones math. 17, 245-271, (1972).
Translated by: C. Coleman, R. Corran, J. Crisp, D. Easdown, R. Howlett, D. Jackson and A. Ram at the University of Sydney, 1996.