Assume that G is a group of fractions of a cancellative monoid where lower
common multiples exist and divisibility has no infinite descending chain. T
hen G is torsion free. The result applies in particular to all finite Coxet
er type Artin groups. (C) 1998 Academic Press.