EXTRACTION OF ROOTS IN GARSIDE GROUPS

ABSTRACT V. B. Styshnev showed in [9] that the existence of n -th roots for a braid is decidable. Garside groups have been introduced in [2] and [3] as a natural proper generalization of Artin groups of finite type. We have to construct a new proof to extend Styshnev's decidability result to Garside groups, as several specific properties of braids used in [9] fail in our case. We show that, under the assumption of a finiteness property of conjugacy, the problem is decidable.