×

Garside groups. (Groupes de Garside.) (French) Zbl 1017.20031

The author studies a family of monoids and groups, called Garside monoids and Garside groups. Garside monoids are natural extensions of the positive braid monoids introduced by F. A. Garside [Q. J. Math., Oxf. II. Ser. 20, 235-254 (1969; Zbl 0194.03303)]. Briefly speaking, a Garside monoid is defined to be a monoid whose left and right divisibility relations are lattice relations, plus the existence of a certain element, called Garside element, whose left and right divisors coincide, are finite, and generate the monoid. A Garside group is the group of fractions of a Garside monoid. The author explores many equivalent conditions for a monoid (resp. a group) to be a Garside monoid (resp. a Garside group), some of them being algorithmic, and proves some combinatorial properties for these groups. In particular, he shows that Garside groups are biautomatic.
Reviewer: Luis Paris (Dijon)

MSC:

20F36 Braid groups; Artin groups
20M05 Free semigroups, generators and relations, word problems
20F65 Geometric group theory
57M07 Topological methods in group theory

Citations:

Zbl 0194.03303
PDFBibTeX XMLCite
Full Text: DOI arXiv Numdam EuDML

References:

[1] Adjan S.I. , On the embeddability of semigroups , Soviet Math. Dokl. 1 ( 4 ) ( 1960 ) 819 - 820 . MR 124383 | Zbl 0114.25305 · Zbl 0114.25305
[2] Adjan S.I. , Fragments of the word Delta in a braid group , Mat. Zam. Acad. Sci. SSSR 36 ( 1 ) ( 1984 ) 25 - 34 , traduction: Math. Notes of the Acad. Sci. USSR 36 (1) (1984) 505-510. MR 757642 | Zbl 0599.20044 · Zbl 0599.20044 · doi:10.1007/BF01139549
[3] Baumslag G., Miller III C.F. (Eds.), Algorithms and Classification in Combinatorial Group Theory , MSRI Publications, Vol. 23 , Springer-Verlag, 1992. MR 1230626 | Zbl 0742.00063 · Zbl 0742.00063
[4] Bessis D ., Digne F ., Michel J ., Springer theory in braid groups and the Birman-Ko-Lee monoid , Prépublication, 2000. arXiv · Zbl 1056.20023
[5] Brieskorn E. , Saito K. , Artin-Gruppen und Coxeter-Gruppen , Invent. Math. 17 ( 1972 ) 245 - 271 . MR 323910 | Zbl 0243.20037 · Zbl 0243.20037 · doi:10.1007/BF01406235
[6] Broué M. , Malle G. , Rouquier R. , Complex reflection groups, braid groups, Hecke algebras , J. Reine Angew. Math. 500 ( 1998 ) 127 - 190 . MR 1637497 | Zbl 0921.20046 · Zbl 0921.20046
[7] Burger M. , Mozes S. , Finitely presented simple groups and product of trees , C. R. Acad. Sci. Paris 324 ( 1 ) ( 1997 ) 747 - 752 . MR 1446574 | Zbl 0966.20013 · Zbl 0966.20013 · doi:10.1016/S0764-4442(97)86938-8
[8] Charney R. , Artin groups of finite type are biautomatic , Math. Ann. 292 ( 4 ) ( 1992 ) 671 - 683 . MR 1157320 | Zbl 0736.57001 · Zbl 0736.57001 · doi:10.1007/BF01444642
[9] Charney R. , Geodesic automation and growth functions for Artin groups of finite type , Math. Ann. 301 ( 2 ) ( 1995 ) 307 - 324 . MR 1314589 | Zbl 0813.20042 · Zbl 0813.20042 · doi:10.1007/BF01446631
[10] Clifford A.H. , Preston G.B , The Algebraic Theory of Semigroups, Vol. 1 , Amer. Math. Soc. Surveys , 7 , 1961 . MR 132791 | Zbl 0111.03403 · Zbl 0111.03403
[11] Dehornoy P. , Deux propriétés des groupes de tresses , C. R. Acad. Sci. Paris 315 ( 1992 ) 633 - 638 . MR 1183793 | Zbl 0790.20056 · Zbl 0790.20056
[12] Dehornoy P. , Braid groups and left distributive operations , Trans. Amer. Math. Soc. 345 ( 1 ) ( 1994 ) 115 - 151 . MR 1214782 | Zbl 0837.20048 · Zbl 0837.20048 · doi:10.2307/2154598
[13] Dehornoy P. , Groups with a complemented presentation , J. Pure Appl. Algebra 116 ( 1997 ) 115 - 137 . MR 1437615 | Zbl 0870.20023 · Zbl 0870.20023 · doi:10.1016/S0022-4049(96)00074-6
[14] Dehornoy P. , Gaussian groups are torsion free , J. Algebra 210 ( 1998 ) 291 - 297 . MR 1656425 | Zbl 0959.20035 · Zbl 0959.20035 · doi:10.1006/jabr.1998.7540
[15] Dehornoy P. , On completeness of word reversing , Discrete Math. 225 ( 2000 ) 93 - 119 . MR 1798326 | Zbl 0966.05038 · Zbl 0966.05038 · doi:10.1016/S0012-365X(00)00149-7
[16] Dehornoy P. , Braids and Self-Distributivity , Progress in Math. , 192 , Birkhäuser , 2000 . MR 1778150 | Zbl 0958.20033 · Zbl 0958.20033
[17] Dehornoy P. , Paris L. , Garside groups, a generalization of Artin groups , Proc. London Math. Soc. 79 ( 3 ) ( 1999 ) 569 - 604 . MR 1710165 | Zbl 1030.20021 · Zbl 1030.20021 · doi:10.1112/S0024611599012071
[18] Deligne P. , Les immeubles des groupes de tresses généralisés , Invent. Math. 17 ( 1972 ) 273 - 302 . MR 422673 | Zbl 0238.20034 · Zbl 0238.20034 · doi:10.1007/BF01406236
[19] Elrifai E.A. , Morton H.R. , Algorithms for positive braids , Quart. J. Math. Oxford 45 ( 2 ) ( 1994 ) 479 - 497 . MR 1315459 | Zbl 0839.20051 · Zbl 0839.20051 · doi:10.1093/qmath/45.4.479
[20] Epstein D. et al. , Word Processing in Groups , Jones & Barlett , 1992 . · Zbl 0764.20017
[21] Garside F.A. , The braid group and other groups , Quart. J. Math. Oxford 20 ( 78 ) ( 1969 ) 235 - 254 . MR 248801 | Zbl 0194.03303 · Zbl 0194.03303 · doi:10.1093/qmath/20.1.235
[22] Michel J. , A note on words in braid monoids , J. Algebra 215 ( 1999 ) 366 - 377 . MR 1684142 | Zbl 0937.20017 · Zbl 0937.20017 · doi:10.1006/jabr.1998.7723
[23] Picantin M. , The conjugacy problem in small Gaussian groups , Comm. Algebra 29 ( 3 ) ( 2001 ) 1021 - 1038 . MR 1842395 | Zbl 0988.20024 · Zbl 0988.20024 · doi:10.1081/AGB-100001665
[24] Picantin M. , The center of thin Gaussian groups , J. Algebra 245 ( 1 ) ( 2001 ) 92 - 122 . MR 1868185 | Zbl 1002.20022 · Zbl 1002.20022 · doi:10.1006/jabr.2001.8894
[25] Remmers J.H. , On the geometry of semigroup presentations , Adv. Math. 36 ( 1980 ) 283 - 296 . MR 577306 | Zbl 0438.20041 · Zbl 0438.20041 · doi:10.1016/0001-8708(80)90018-3
[26] Tatsuoka K. , An isoperimetric inequality for Artin groups of finite type , Trans. Amer. Math. Soc. 339 ( 2 ) ( 1993 ) 537 - 551 . MR 1137259 | Zbl 0798.20030 · Zbl 0798.20030 · doi:10.2307/2154285
[27] Thurston W ., Finite state algorithms for the braid group , notes en circulation, 1988.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.