in 1969 , garside solved the conjugacy problem in the braid group by investigating the monoid of positive braids  @xcite . at the end of the 90 s , dehornoy and paris introduced in
@xcite the notion of a garside group , that captures most of the properties used in garside approach . after this seminal paper ,
the notion has been extended and numerous articles have dealt with garside monoid / group structures ( @xcite,@xcite,@xcite,@xcite,@xcite for instance ) . actually various groups can be equipped with a garside group structure .
recently , krammer  @xcite , bessis  @xcite and digne - michel  @xcite have extended the notion of a garside group into the notion of a garside groupoid , which turned out to be crucial in the proof of the long - standing question of the @xmath0 property for complex reflection arrangements @xcite .
the standard examples of garside groups are braid groups and their generalization , the so - called artin - tits groups of spherical type .
one of the main properties of artin - tits groups is the existence of a family of distinguished subgroups , namely the _ standard parabolic subgroups _ , which are the subgroups generated by a subset of the standard generating set .
in order to describe normalizers of such subgroups , we were naturally led in @xcite ( see also @xcite ) to introduce a groupoid called the _
ribbon groupoid_. in an unpublished paper  @xcite digne and michel prove that the ribbon groupoid of an artin - tits group of spherical type is a garside groupoid .
actually , this result implicit in  @xcite , even though the notion of a garside groupoid had not been introduced yet . in  @xcite , we extended the notion of a parabolic subgroup into the framework of garside groups . our objective here is to go further and extend the notion of ribbon groupoid . we prove that in the context of garside groups , ribbon groupoids remain a garside groupoids .
indeed we prove ( see next sections for definition ) that    [ thintror(a)]for every garside group  @xmath1 with a  @xmath2-structure , the positive ribbon category  @xmath3 is a garside category and the ribbon groupoid  @xmath4 is the associated garside groupoid .
every artin - tits group of spherical type has a @xmath2-structure .
then , theorem  [ thintror(a ) ] applied in this special case . in order to prove theorem  [ thintror(a ) ] , we consider the category  @xmath5 of subcategories of a category  @xmath6 , whose morphisms are natural transformations .
it turns out that for a garside category  @xmath6 , the category  @xmath5 is not a garside category in general .
however , this category shares nice properties with garside monoids ( see section  [ section2section ] for precise definition and results ) .
we also provide a groupoid presentation of the ribbon groupoid  @xmath4 for every garside group  @xmath1 with a  @xmath2-structure . to obtain this presentation
we investigate the quasi - centralizer  @xmath7 of  @xmath1 , that is the subgroup of  @xmath1 made of those elements that permute the atoms of the monoid  @xmath8 .
in particular we generalize a result of picantin  @xcite :    [ thintror(a)2 ] for every garside group  @xmath1 , the group  @xmath7 is a finitely generated free commutative group .
furthermore , we describe the normalizer of the standard parabolic subgroups by proving ( see theorem  [ theodescnormal ] ) :    [ thintroprodsemdir]let @xmath1 be a garside group .
let  @xmath9 be the groupoid whose objects are the parabolic subgroups  @xmath10 of @xmath1 , whose hom - set from  @xmath10 to @xmath11 is @xmath12 , and whose composition is the product in  @xmath1 .
let @xmath13 be the totally disconnected groupoid whose objects are the parabolic subgroups of @xmath1 and whose vertex group at @xmath10 is @xmath10 .
then , there exists a standard parabolic subgroupoid  @xmath14 of  @xmath4 such that @xmath9 is equal to the semi - direct product of groupoids  @xmath15 .
this theorem generalizes  ( * ? ? ?
finally , the subgroups of the vertex groups of the ribbon groupoid  @xmath4 that are generated by the atoms contained in the vertex group are garside groups .
this result is similar to  ( * ? ? ?
* theorem  b ) , which deals with coxeter groups .
the reader may wonder what is the interest of proving that ribbon groupoids are garside groupoids .
the main point is that it provides a complete description of the connection between standard parabolic subgroups .
the notion of a parabolic subgroup is crucial to build important tools like the so - called _ deligne complexes _ of artin - tits groups .
therefore to understand their normalizers and their mutually conjugating elements is certainly crucial .
furthermore the fact that ribbon groupoids are garside groupoids shows that , even in order to study classical groups such as braid groups , the notion of a garside groupoid is natural and useful .
finally , our groupoid presentations of ribbon groupoids of spherical type artin - tits groups provide garside groupoids with _ braid - like _ defining relations .
these groupoids are then special among garside groupoids and therefore should provide seminal examples of garside groupoids that are not groups .
the paper is organized as follows . in section  2
, we introduce the notions of a garside groupoid and of a parabolic subgroupoid ; we investigate the category  @xmath5 . in section  3 ,
we introduce the positive ribbon category associated with a garside category and prove theorem  [ thintror(a ) ] . finally , in section
4 we provide a groupoid presentation of the ribbon groupoid ; along the way we prove theorem  [ thintror(a)2 ] .
we conclude with the proof of theorem  [ thintroprodsemdir ] .
here we set the necessary terminology on _ small categories_. in particular we recall the notion of a _ natural transformation _ between two _
functors_. we introduce the central notion of a _
garside groupoid _ and provide examples .      the present paper deals with categories , but the reader should not be scared since we only consider _ small categories_. let us introduce the notion of a small category and some basic notions in a naive way .
[ definsmcat ]    a _ quiver _  @xmath16 is a pair  @xmath17 of sets equipped with two maps  @xmath18 and  @xmath19 such that  @xmath20 for every element  @xmath21 of  @xmath22 .
the elements of  @xmath22 are called the _ vertices _ and the elements of  @xmath23 are called the edges .
an edge  @xmath24 is said to be _ oriented _ from its _ source _
@xmath25 to its _ target _  @xmath26 .
the _ path semigroup  @xmath27 associated with the quiver _  @xmath16 is the semigroup with  @xmath28 defined by the presentation whose generating set is  @xmath29 and whose defining relations are  @xmath30 for every @xmath24 in  @xmath29 and  @xmath31 for every two _ distinct _ elements of @xmath22 .
clearly , we can identify the elements of  @xmath32 with their images in  @xmath27 .
note that a product  @xmath33 of edges is not equal to  @xmath28 in  @xmath27 if and only if for every index  @xmath34 , one has  @xmath35 . if  @xmath24 lies in  @xmath27 and is not  @xmath28 , then one can define its source and its target to be  @xmath36 and  @xmath37 for any of its decomposition  @xmath33 as a product of elements in  @xmath29 .
the reader may note that the semigroup algebra of  @xmath27 is equal to the path algebra of the quiver  @xmath16 as defined in  @xcite .
an element of  @xmath27 distinct from  @xmath28 is called a _
path _ in the sequel .
now , let  @xmath16 be a quiver and let  @xmath38 be a congruence on  @xmath27 such that  @xmath28 is alone in its equivalence class  @xmath39 and such that two distinct @xmath38-equivalent paths in  @xmath27 have the same source and the same target .
we denote by  @xmath40 the quotient semigroup of  @xmath27 by the congruence  @xmath38 . by assumption on  @xmath38 , to each equivalence classes of paths  @xmath41 one can associate a source and a target by setting  @xmath42 and  @xmath43 , respectively .
the ( _ small _ ) _ category  @xmath44 associated with the quiver  @xmath16 and the congruence  @xmath38 _ is the set  @xmath45 of non - zero equivalence classes of paths equipped with the source and target maps , and the partial product induced by the product in  @xmath40 . in that context
, the vertices of  @xmath16 are called the objects of the category , and the elements of the category are called the _ morphisms _ of the category .
the _ free category _
@xmath46 on  @xmath16 is obtained by considering the trivial congruence .    in the sequel
, we denote by  @xmath47 the set of objects of a category  @xmath6 . for every  @xmath48 in  @xmath47 ,
we denote by  @xmath49 the equivalence class of the trivial path  @xmath48 . for  @xmath48 and  @xmath50 in  @xmath47 , we denote by  @xmath51 the set of morphisms from  @xmath48 to  @xmath50 . in order to be consistent with @xcite and with the above naive definition of a small category ,
if  @xmath21 lies in  @xmath52 and  @xmath53 lies in  @xmath54 , then we denote by  @xmath55 the morphism of  @xmath56 obtained by composition .
we denote by  @xmath57 and by  @xmath58 the set of morphisms of the category  @xmath6 whose source and target , respectively , are  @xmath48 .
the seminal example to keep in mind is the case of a category with one object  @xmath48 : this is just a monoid whose unity is  @xmath49 .
here we introduce the notion of a _ natural transformation _ which is crucial in our article .
a map  @xmath59 from a category  @xmath60 to a category  @xmath61 is a _ functor _
if , firstly , there exists a map  @xmath62 such that  @xmath63 for every vertex  @xmath48 in  @xmath47 and , secondly , one extends  @xmath64 to a morphism of semigroups from  @xmath40 to  @xmath65 by setting  @xmath66 .
note that the second property is equivalent to say that  @xmath67 is included in  @xmath68 for every two objects  @xmath69 of  @xmath6 , and  @xmath70 for every two morphisms  @xmath53 ,  @xmath21 of  @xmath6 such that  @xmath71 .
for instance , for every category  @xmath44 , there is a surjective functor from the free category  @xmath46 to  @xmath44 .
isomorphism of categories _ is a functor that is bijective . in that case , the inverse is also an isomorphism of categories and the set  @xmath67 is equal to  @xmath72 .
an automorphism of  @xmath6 is an isomorphism from  @xmath6 to itself .
let  @xmath60 and  @xmath61 be two categories with  @xmath73 .
let  @xmath64 and  @xmath74 be two functors from  @xmath6 to  @xmath75 .
then , a _ natural transformation _  @xmath76 from  @xmath64 to  @xmath74 is a map  @xmath77 that sends every vertex  @xmath48 in  @xmath22 to a morphism  @xmath78 from  @xmath79 to  @xmath80 such that for every two objects  @xmath69 in  @xmath16 and every morphism  @xmath21 in  @xmath51 , one has @xmath81 ( see figure  [ diagrammetransfnaturelle ] ) .
( 100,70 ) ( 18,0 ) ( 8,0)@xmath82(8,46)@xmath79(78,0)@xmath83 ( 78,46)@xmath80 ( 0,25)@xmath84(38,54)@xmath78(38,6)@xmath85 ( 88,25)@xmath86    for instance , if  @xmath6 and  @xmath87 are groups and  @xmath64 ,  @xmath74 are two morphisms of groups from  @xmath6 to  @xmath87 , then a natural transformation from  @xmath64 to  @xmath74 is an element  @xmath88 of the group  @xmath87 such that  @xmath89 for every  @xmath90 in  @xmath6 .      to introduce the central notion of a garside groupoid , we need first to fix some definitions .
the _ atoms _ of a category  @xmath44 are the non - identity morphisms whose representing paths are edges only .
the _ atom graph _
@xmath91 of the category is the graph that has the same set of vertices than  @xmath16 and whose edges are the atoms of the category .
we recall that a binary relation ( defined on a set ) is noetherian when every decreasing infinite sequence stabilizes .
we say that a morphism  @xmath53 of  @xmath44 is a factor of the morphism  @xmath92 when there exist two morphisms  @xmath93 and  @xmath94 such that  @xmath95 .
we say that the category  @xmath44 is _ noetherian _ if the set of morphisms is noetherian for factors , in other words , if for every infinite sequence  @xmath96 of morphisms such that  @xmath97 is a factor of  @xmath98 , there exists an index  @xmath99 such that  @xmath100 for every  @xmath101 . in this case
, the category is _ atomic _ : each morphism can be written as a finite product of atoms ; furthermore , the category  @xmath44 is isomorphic to  @xmath102 , where  @xmath103 is the congruence on  @xmath104 induced by the congruence  @xmath38 .
this property holds in particular when for every morphism there is a bound on the lengths of its representing paths in the quiver  @xmath16 ( where each edge has length  @xmath105 ) .
if in the category  @xmath44 there is no loop for the factor relation , then for every object  @xmath48 the left - divisibility and the right - divisibility induce partial orders on the sets  @xmath57 and  @xmath58 , respectively .
this is the case when the category is noetherian .
we say that the category  @xmath44 is cancellative when for every two objects  @xmath48 ,  @xmath50 and every morphism  @xmath21 in  @xmath51 the maps  @xmath106 and  @xmath107 are injective on the sets  @xmath108 and  @xmath58 , respectively .    finally , a _ groupoid _ is a category  @xmath6 such that every morphism has an inverse , in other words , such that for every morphism  @xmath21 in  @xmath51 there exists a morphism  @xmath109 in  @xmath110 with  @xmath111 and  @xmath112 .
to each category  @xmath60 one can associate a groupoid  @xmath113 and a functor  @xmath114 in the following way .
the quiver  @xmath115 is obtained by adding to  @xmath16 an edge  @xmath109 from  @xmath116 to  @xmath117 for each edge  @xmath21 of  @xmath16 .
the congruence  @xmath118 is the congruence generated by  @xmath38 and the relations  @xmath111 and  @xmath112 for each edge  @xmath21 from  @xmath48 to  @xmath50 in  @xmath16 .
we call the groupoid  @xmath119 the _ groupoid of formal inverses _ of  @xmath6 .
for instance , the _ free groupoid _ on  @xmath16 is the groupoid  @xmath120 .
it should be noted that every functor  @xmath121 between two categories induces a functor  @xmath122 such that the diagram @xmath123 is commutative .
we are now ready to introduce the definition of the special kind of groupoids we consider in this paper .
we refer to  @xcite for the general theory on lattices . in @xcite , bessis defines the notion of a garside category as follows .
a _ categorical garside structure _ is a pair  @xmath124 such that :    * @xmath6 is a small category equipped with an automorphism  @xmath64 such that  @xmath76 is a natural transformation from the identity functor  @xmath125 to  @xmath64 ; *  @xmath6 is noetherian and cancellative ; * for every object  @xmath48 of  @xmath6 , the sets  @xmath126 and  @xmath58 are lattices for the left - divisibility order and the right - divisibility order , respectively ; * for every two objects  @xmath69 of  @xmath6 and every atom  @xmath21 in  @xmath51 , there exists a morphism  @xmath127 such that the following diagram is commutative : + ( 100,70 ) ( 8,0 ) ( 8,0)@xmath50(8,46)@xmath48(68,0)@xmath82 ( 68,46)@xmath79 ( 2,25)@xmath21(32,54)@xmath78(32,6)@xmath85 ( 78,25)@xmath84 ( 37,28)@xmath127    in this case , we say that the category  @xmath6 is a _ garside category_.
+ we say that  @xmath124 is a _ monoidal garside structure _ when furthermore the category  @xmath6 has a unique object . in this case
, we say that the monoid  @xmath6 is a _
garside monoid_.    the reader should note that in the above definition , the automorphism  @xmath64 is uniquely defined by @xmath76 .
a _ garside groupoid _
@xmath119 is the groupoid of formal inverses of a garside category  @xmath6 .
when furthermore  @xmath6 is a monoid , then we say that  @xmath119 is a garside group .
if  @xmath6 and  @xmath87 are two categories and  @xmath64 is a functor , then the subset  @xmath128 of  @xmath6 has a natural structure of category .
we say that such a subset is a _ subcategory _ of  @xmath6 . in the sequel
, we denote by @xmath129 the _ canonical functor _ from the subcategory  @xmath130 to the category . the reader should note that , by hypothesis , a garside category  @xmath6 verifies the so - called _ ore relations _ and , therefore , the functor  @xmath114 is injective . in the sequel we consider  @xmath6 as a subcategory of  @xmath119 .
clearly , the automorphism  @xmath64 extends to an automorphism of  @xmath119 , still denoted by  @xmath64 , and that @xmath76 extends to a natural transformation from the identity functor  @xmath131 to  @xmath64 .
[ exagpat]the seminal case of a garside groupoid  @xmath119 occurs when the category has one object  @xmath48 . in this case ,
the category  @xmath6 is a garside monoid and  @xmath119 is its group of fractions , that is a garside group ( @xcite ) .
the element  @xmath78 is called the _ garside element _ of the group  @xmath119 , or of the monoid  @xmath6 . in such a garside group , a natural transformation from the identity morphism to an automorphism corresponds to an element that realizes this automorphism as an inner automorphism .
_ braid groups _ and , more generally , _
artin - tits groups of spherical type _ are garside groups which are defined by a group presentation of the type @xmath132 where  @xmath133 are positive integers greater than 2 with  @xmath134 . in this case , the associated _ coxeter group _ , which obtained by adding the relations  @xmath135 for  @xmath136 in  @xmath137 to the presentation , is finite .
if we consider  @xmath138 with  @xmath139 for  @xmath140 and @xmath141 otherwise , we obtain the classical presentation of the braid group  @xmath142 on  @xmath143 strings . in that case
, the associated coxeter group is the permutation group on  @xmath143 elements . if  @xmath1 is such an artin - tits group , and  @xmath144 is its coxeter group , then the canonical surjection  @xmath145 has a canonical section ( * ? ? ?
* chap .  4 ) .
if we denote by  @xmath76 the image by that section of the greatest element of  @xmath144 , then  @xmath76 belongs to the submonoid  @xmath8 of  @xmath1 generated by  @xmath137 , and the associated inner group automorphism induces an automorphism of  @xmath8 .
it turns out that the pair  @xmath146 is a monoidal garside structure with  @xmath1 for associated garside group .
a group can be a garside group for several monoidal garside structures .
for instance , the braid group  @xmath142 has the alternative group presentation : @xmath147 where  @xmath148 for the generators  @xmath149 , and if  @xmath150 denotes the submonoid of  @xmath142 generated by the  @xmath149 , and  @xmath151 , then the inner group automorphism of  @xmath142 induced by  @xmath88 restricts to an automorphism of  @xmath150 .
again , the pair  @xmath152 is a monoidal garside structure with  @xmath142 for associated garside group .
this alternative garside structure is called the _ dual garside structure _ of the braid group .
this point of view was generalized by bessis in @xcite to every artin - tits groups of spherical type .
@xcite the free group  @xmath153 on two letters  @xmath154 has a presentation @xmath155 where  @xmath156 and  @xmath157 .
let  @xmath158 .
if we denote by  @xmath159 the submonoid of  @xmath153 generated by the elements  @xmath160 , and by  @xmath64 the automorphism of  @xmath153 that sends  @xmath160 onto  @xmath161 , then  @xmath162 is a monoidal garside structure with group  @xmath153 as the associated garside group .
the automorphism induced by  @xmath76 is  @xmath64 .[exef2 ]    we end this subsection with a definition and two properties of garside groupoids that we need in the sequel .
they are immediate generalizations of well - known properties of artin - tits groups .
2.2 ) [ defisimplelem ] let  @xmath124 be a categorical garside structure and denote by  @xmath64 the automorphism of  @xmath6 induced by  @xmath76 .
a morphism  @xmath21 in  @xmath51 is _ simple _ if there exists  @xmath163 in  @xmath164 such that  @xmath165 .
note that in the above definition the morphism  @xmath163 is also simple .
by definition of a garside category , the atoms are simple .
[ uniquedecomposprop ] let  @xmath124 be a categorical garside structure .
+ ( i ) @xcite every morphism  @xmath21 that belongs to  @xmath51 can be decomposed as a product  @xmath166 of simple elements .
+ ( ii ) let  @xmath21 lie in  @xmath167 .
there exist an object  @xmath168 , a morphism  @xmath169 in  @xmath170 and a morphism  @xmath171 in  @xmath54 such that  @xmath169 and  @xmath171 are prime to each other in  @xmath172 and  @xmath21 is equal to  @xmath173 .
the triple  @xmath174 is unique .
point  @xmath175 of the above proposition does not appear in  @xcite , but the proof is similar to the case of garside groups .
we call the triple  @xmath174 the _ right greedy normal form _ of  @xmath21 there is a similar unique _ left greedy normal form _
@xmath176 .
[ defcatsbcat]let  @xmath6 be a ( small ) category .
we define _ the category of subcategories _  @xmath5 of  @xmath6 as follows :    * the objects are the non - empty subcategories of  @xmath6 ; * if  @xmath177 and  @xmath178 are two subcategories of  @xmath6 , then  @xmath88 lies in  @xmath179 if there exists an isomorphism  @xmath180 from  @xmath177 to  @xmath178 such that  @xmath88 is a natural transformation from  @xmath181 to  @xmath182 . *
if  @xmath183 and  @xmath184 belong to  @xmath179 and  @xmath185 , respectively , then the composition morphism  @xmath186 is defined by  @xmath187 , where  @xmath188 is the isomorphism associated with @xmath183 .
note that in the second item of definition  [ defcatsbcat ] the isomorphism  @xmath180 is uniquely defined by  @xmath88 because  @xmath6 is cancellative ; in the third item ,  @xmath186 is a natural transformation from  @xmath181 to  @xmath189 , where  @xmath190 is such that @xmath184 belongs to @xmath191 .
( 150,70 ) ( 8,0 ) ( 8,0)@xmath50(8,46)@xmath48(68,0)@xmath192 ( 68,46)@xmath193 ( 142,0)@xmath194 ( 142,46)@xmath195 ( 2,25)@xmath21(32,54)@xmath196(32,6)@xmath197 ( 80,25)@xmath198 ( 98,54)@xmath199(98,6)@xmath200 ( 155,25)@xmath201    our objective below is to investigate the properties of  @xmath5 and , in particular , to decide whether or not  @xmath5 is a garside category .    [ lempropcccat]let  @xmath124 be a categorical garside structure and denote by  @xmath64 the automorphism of  @xmath6 induced by  @xmath76 . + ( i ) there exist an automorphism  @xmath202 of  @xmath5 and a natural transformation  @xmath203 from the identity functor of  @xmath5 to  @xmath202 that are induced by @xmath64 and @xmath76 . + ( ii ) the category  @xmath5 is cancellative . + (
iii ) for every object  @xmath177 of  @xmath5 , the left - divisibility and the right - divisibility define partial orders on  @xmath204 and  @xmath205 , respectively .    _
( i ) _ let  @xmath177 ,  @xmath178 be two objects of  @xmath5 and assume  @xmath88 lies in  @xmath179 ; denote by  @xmath206 the isomorphism defined by  @xmath88 .
then ,  @xmath207 is an isomorphism from  @xmath208 to  @xmath209 , and the map  @xmath210 is a natural transformation from the canonical embedding  @xmath211 to  @xmath212 .
therefore , we define an isomorphism  @xmath202 of  @xmath5 by setting  @xmath213 and  @xmath214 . now , for every object  @xmath177 of  @xmath5 we denote by  @xmath215 the restriction of the map  @xmath76 to the subcategory  @xmath177 . then ,  @xmath215 lies in  @xmath204 .
indeed , the map  @xmath215 is a natural transformation from  @xmath129 to  @xmath216 , where  @xmath217 is the restriction of  @xmath64 to  @xmath177 . clearly , the map  @xmath203 is a natural transformation from the identity functor of  @xmath5 to  @xmath202 . + _
( ii ) _ the cancellativity of the category  @xmath5 follows directly from the cancellativity of the category  @xmath6 . + _
( iii ) _ there is no loop for the factor relation in  @xmath5 because there is no loop for the factor relation in  @xmath6 .
therefore ,  @xmath204 and  @xmath205 are partially ordered sets for the left - divisibility and the right - divisibility , respectively .    in the sequel , an object  @xmath48 of a category  @xmath6 such that @xmath218 is called a
trivial object _ of the category .
let  @xmath124 be a categorical garside structure such that @xmath6 has no trivial object.[proppropribbcat ] the category  @xmath5 is noetherian if and only if its object set is finite .
assume  @xmath6 has a finite number of objects .
let  @xmath219 be a sequence of morphisms of  @xmath5 such that for every  @xmath220 , the morphism  @xmath221 is a factor of the morphism  @xmath222 .
we denote by  @xmath223 the isomorphism defined by  @xmath222 .
let  @xmath224 and  @xmath225 be the sequences of morphisms of  @xmath5 such that  @xmath226 , and denote by  @xmath227 and  @xmath228 the isomorphisms associated with  @xmath224 and  @xmath225 , respectively .
then , for every positive integer  @xmath220 , every object  @xmath48 of  @xmath229 and every morphism  @xmath21 of  @xmath229 , we have  @xmath230 and  @xmath231 .
since  @xmath6 is noetherian , for every object  @xmath48 of  @xmath232 , there exists some integer  @xmath233 such that for every  @xmath234 , we have  @xmath235 .
in particular , for every  @xmath236 we have @xmath237 , @xmath238 , @xmath239 and @xmath240 .
let @xmath241 . from the above discussion
, it follows that for every  @xmath236 one has @xmath242 , @xmath243 and @xmath244 .
+ assume finally that  @xmath6 has an infinite number of objects ; denote by  @xmath245 a sequence of distinct objects of  @xmath6 such that  @xmath246 is not empty for every  @xmath34 .
we fix a morphism  @xmath247 in  @xmath246 for each  @xmath34 .
let  @xmath248 be the subcategory of  @xmath6 whose set of objects is  @xmath249 such that  @xmath248 has trivial objects only .
let @xmath250 be the subcategory whose object set is  @xmath251 such that  @xmath250 has trivial objects only .
consider  @xmath252 the map from the set of objects of  @xmath248 to the morphisms  @xmath5 that sends  @xmath253 on  @xmath254 if  @xmath255 and  @xmath256 on  @xmath257 otherwise .
let  @xmath258 be the map from the objects of  @xmath248 to the morphisms of  @xmath5 that sends  @xmath259 on  @xmath247 and  @xmath260 on  @xmath261 otherwise .
then ,  @xmath252 clearly belongs to  @xmath262 and  @xmath258 belongs to  @xmath263 . by construction ,
@xmath264 for every  @xmath34 .
hense , the category  @xmath5 is not noetherian .
consider a categorical garside structure  @xmath124 and denote by  @xmath64 the automorphism of  @xmath6 induced by  @xmath76 .
assume  @xmath177 is an object of  @xmath6 such that @xmath204 is a lattice for the left - divisibility .
assume  @xmath88 is an atom of the category  @xmath5 that belongs to  @xmath179 .
then , there exists a morphism  @xmath265 in  @xmath266 such that the following diagram is commutative :    ( 100,70 ) ( 8,0 ) ( 6,0)@xmath178(6,48)@xmath177(70,0)@xmath267(\mathcal{q})$ ] ( 70,48)@xmath267(\mathcal{p})$ ] ( 2,25)@xmath88(30,55)@xmath268(\mathcal{p})$](30,6)@xmath268(\mathcal{q})$ ] ( 82,25)@xmath267(\delta)$ ] ( 40,27)@xmath265    indeed , since  @xmath88 is an atom , the greatest common divisor of  @xmath88 and  @xmath215 is either trivial or equal to  @xmath88 .
but ,  @xmath88 is a non - identity morphism of  @xmath5 .
therefore , there exists an object  @xmath48 of  @xmath177 such that  @xmath269 is not ( the identity morphism )  @xmath48 .
this implies that  @xmath270 is not trivial and the claim follows .    gathering the above results we get :    [ thgsfvs2 ]
consider a categorical garside structure  @xmath271 whose object set is finite .
assume that for every object  @xmath177 of @xmath5 the sets  @xmath204 and  @xmath205 are lattices for the left - divisibility and the right - divisibility , respectively .
then , the pair  @xmath272 is a categorical garside structure .
the category  @xmath5 is cancellative and noetherian , and for every non empty subcategory  @xmath177 of  @xmath6 the sets  @xmath204 and  @xmath205 are lattices for the left - divisibility and the right - divisibility , respectively .
furthermore ,  @xmath203 is a natural transformation from the identity functor of  @xmath5 to the automorphism  @xmath202 , where  @xmath64 is the automorphism of  @xmath6 induced by  @xmath76 .
there is no clear argument to expect that the left / right - divisibilities induce lattice orders in general .
however there is one particular case where this property always hold :    [ thgsfvs3 ] consider a monoidal garside structure  @xmath124 .
then , for every non - empty subcategory  @xmath177 of  @xmath6 the sets  @xmath204 and  @xmath205 are lattices for the left - divisibility and the right - divisibility .
consider a categorical garside structure  @xmath273 and a subcategory  @xmath177 of  @xmath6 .
let  @xmath183 ,  @xmath184 belong to  @xmath204 .
for every object  @xmath48 of  @xmath177 , we set  @xmath274 and  @xmath275 ( we recall that  @xmath57 is a lattice )
. denote by  @xmath188 and  @xmath276 the isomorphisms associated with @xmath183 and @xmath184 , respectively .
we denote by  @xmath277 and  @xmath278 the objects of  @xmath6 such that  @xmath279 and  @xmath280 lie in  @xmath281 and  @xmath282 , respectively .
let  @xmath50 be another object of  @xmath177 , and assume there exists  @xmath21 in  @xmath283 .
write  @xmath284 and  @xmath285 .
we have the sequence of equalities  @xmath286 .
since  @xmath57 is a lattice , there exists a unique morphism  @xmath287 in  @xmath288 which verifies the equalities  @xmath289 and  @xmath290 .
consider the map  @xmath291 that sends an object  @xmath48 of  @xmath177 to  @xmath277 and an edge  @xmath21 of  @xmath177 to  @xmath287 .
then , by the cancellativity property , for every two objects  @xmath69 of  @xmath177 , the restriction of this map to  @xmath283 is injective . in particular ,
when  @xmath177 has one object ,  @xmath291 is an isomorphism from the subcategory  @xmath177 to the subcategory  @xmath292 .
assume that @xmath6 is a monoid , that is a category with one object .
set  @xmath293 for  @xmath294
. clearly , the maps  @xmath295 ,  @xmath296 and  @xmath297 are natural transformations from  @xmath298 ,  @xmath299 and  @xmath129 to  @xmath300 ,  @xmath301 and  @xmath302 , respectively .
thus ,  @xmath303 is a common multiple of  @xmath183 and  @xmath184 in  @xmath5 .
now , assume  @xmath304 is a common multiple of  @xmath183 and  @xmath184 in  @xmath5 with  @xmath305 .
let @xmath306 the isomorphism associated with  @xmath304 .
then , for every object  @xmath48 of  @xmath177 , there exists  @xmath307 in  @xmath308 such that  @xmath309 and  @xmath310 .
therefore , the map  @xmath311 lies in  @xmath312 , and  @xmath303 is the least common multiple of  @xmath183 and  @xmath184 in  @xmath204 .
similarly , for every morphism  @xmath21 in  @xmath283 there exists a unique morphism  @xmath313 in  @xmath314 such that  @xmath315 .
again , if @xmath6 is a monoid the map  @xmath316 is injective , and  @xmath317 is the greatest common divisor of  @xmath183 and  @xmath184 in  @xmath204 .
thus , the set  @xmath204 is a lattice for the left - divisibility . by similar arguments ,
the set  @xmath205 is a lattice for the right - divisibility .    as a direct consequence of corollary  [ thgsfvs2 ] and proposition  [ thgsfvs3 ] ,
we get    let  @xmath124 be a monoidal garside structure .
then ,  @xmath272 is a categorical garside structure.[thgsfvs4 ]      a subcategory that is a groupoid will be called a _ subgroupoid _ in the sequel .
when  @xmath124 is a categorical garside structure such that @xmath5 is a garside category , then  @xmath318 is a garside groupoid .
there is another way to associate a groupoid with  @xmath6 . indeed ,
let  @xmath319 be a small groupoid .
the _ groupoid of subgroupoids _ of  @xmath319 is the full subcategory  @xmath320 of the category  @xmath321 whose objects are the subgroupoids of  @xmath319 .
[ defngc ]    clearly , the category  @xmath320 is a groupoid .
then ,  @xmath322 is a groupoid for every small category  @xmath6 .
if  @xmath323 is a group and  @xmath324 is a subgroup , then  @xmath325 is the normalizer of  @xmath324 in  @xmath323 .
we recall that we denote by  @xmath326 the functor induced by a functor  @xmath121 .
let  @xmath6 be a category .
the canonical functor  @xmath327 induces a functor  @xmath328 .    for every object  @xmath177 of the category
@xmath5 we set @xmath329 .
in other words , @xmath330 is the subgroupoid of  @xmath119 generated by the subcategory  @xmath331 .
now , consider  @xmath88 in  @xmath179 , and denote by  @xmath180 its associated isomorphism .
let  @xmath332 be the map that sends an object  @xmath48 of  @xmath330 to the morphism  @xmath333
. then  @xmath332 belongs to  @xmath334 .
indeed , consider the map  @xmath335 which sends an object  @xmath48 of  @xmath330 to  @xmath336 and a morphism  @xmath21 in  @xmath337 to  @xmath338 .
then  @xmath339 is an isomorphism from @xmath330 to @xmath340 and @xmath332 is a natural transformation from  @xmath341 to @xmath342 .
then we obtain a map  @xmath328 by setting @xmath343 and @xmath344 . clearly , this map is a functor .
we remark that  @xmath345 is not injective in general : for two distinct subcategories  @xmath177 and  @xmath178 we can have  @xmath346 .
for instance , consider the braid monoid  @xmath347 which is defined by the monoid presentation  @xmath348 ; its group of fractions is the braid group  @xmath349 .
the sets  @xmath350 and  @xmath351 generate distinct submonoids of  @xmath352 , but both generate the braid group  @xmath349 , as a group .
moreover , the functor  @xmath345 is neither faithful in general : the restriction of  @xmath345 to a set  @xmath179 is not always injective ; if we consider the monoid  @xmath353 defined by the monoid presentation  @xmath354 , and we denote by  @xmath355 ,  @xmath356 the submonoids generated by  @xmath357 and  @xmath358 , respectively , then  @xmath359 is a non - trivial morphism in  @xmath360 , whereas  @xmath361 is trivial in  @xmath362 .    in the sequel ,
we write @xmath363 for @xmath318 .
[ propfaithfulpropert ] let  @xmath124 be a monoidal garside structure
. denote by  @xmath364 the canonical embedding functor of  @xmath6 into  @xmath119 .
the functor  @xmath365 is faithful .
let  @xmath177 and  @xmath178 be two objects of  @xmath363 and consider  @xmath88 ,  @xmath304 in  @xmath366 such that  @xmath367 .
then ,  @xmath368 .
then , it is enough to assume for the rest of the proof that  @xmath369 and  @xmath370 .
since the category  @xmath5 is a garside category , we can identify  @xmath5 with its image in its group of fractions  @xmath363 , and decompose the morphism  @xmath88 as a product  @xmath371 with  @xmath183 and  @xmath184 in  @xmath372 for some object  @xmath373 of  @xmath5 . since  @xmath374
, we have  @xmath375 , that is ,  @xmath376 . by definition
, this means that for every object  @xmath48 of  @xmath177 , we have  @xmath377 . but
@xmath364 is an injective functor .
then  @xmath378 and  @xmath379 .    as a final comment to this section
, we remark that the morphism  @xmath345 is not injective on the objects .
therefore , the groupoid  @xmath363 can not be seen as a subgroupoid of  @xmath322 .
in this section , we introduce and investigate the _ positive ribbon category _ and the _ ribbon groupoid_. this ribbon category is defined as a full subcategory of the category  @xmath5 .
the ribbon groupoid is defined as a full subgroupoid of  @xmath322 , which turns out to be , under some restriction , the group of fractions of the positive ribbon category .
we first define the notion of a parabolic subgroupoid .      here
we extend the notion of a parabolic subgroup of a garside group  @xcite into the framework of garside groupoids .
if  @xmath6 is a category and  @xmath88 lies in  @xmath57 , then we denote by  @xmath380_{\mathcal{c}}$ ] the set of elements between  @xmath49 and  @xmath88 for the left - divisibility in  @xmath57 .
[ defparasucat ] let  @xmath124 be a categorical garside structure .
a subcategory  @xmath177 of  @xmath6 is a
_ parabolic subcategory _ of  @xmath6 if for every object  @xmath48 of  @xmath177 the sets  @xmath381 and  @xmath382 are sublattices of  @xmath57 and  @xmath58 , respectively , and , there exists  @xmath88 in  @xmath383 such that for every object  @xmath48 of  @xmath177 , one has @xmath384_\mathcal{c } = [ 1_x,\delta(x)]_\mathcal{c}\cap \mathcal{p}_{x\to\cdot } = \delta(x)\wedge\mathcal{p}_{x\to\cdot}\ ] ] in the lattice  @xmath57 .    with the notation of the above definition ,
when  @xmath177 is a parabolic subcategory then one has  @xmath385_\mathcal{c}\cap \mathcal{p}_{x\to\cdot } = [ 1_x,\delta(x)]_{\mathcal{p}}$ ] , and the atoms of  @xmath177 are the atoms of @xmath6 that lie in  @xmath177 .
it is immediate that the pair  @xmath386 is a categorical garside structure .
furthermore , the canonical embedding functor from  @xmath177 to  @xmath6 induces an injective functor from  @xmath387 to  @xmath119 such that the following diagram is commutative : @xmath388 therefore , we can identify  @xmath387 with a subgroupoid of  @xmath119 . in that context
, we have  @xmath389 ( where the notion of an intersection of two subcategories is defined in an obvious way ) .
let  @xmath124 be a categorical garside structure . +
a subgroupoid of the garside groupoid  @xmath119 is a _
standard parabolic subgroupoid _ when it is the groupoid of formal inverses  @xmath387 of a parabolic subcategory  @xmath177 of  @xmath6 .
a non empty subgroupoid  @xmath319 of  @xmath119 is a
_ parabolic subgroupoid _ if there exists a standard parabolic subgroupoid  @xmath387 such that  @xmath390 is not empty .
[ exematdeux ] in the context of garside groups , we recover the notion of a standard parabolic subgroup introduced in  @xcite , which extends the notion of a standard parabolic subgroup of an artin - tits group .
standard parabolic subgroups of an artin - tits group  @xmath1 are the subgroups generated by any set of atoms of the associated artin - tits monoid  @xmath8 ( _ cf .
_ example  [ exagpat ] ) ) . in the sequel
, we denote by  @xmath391 the standard parabolic subgroup of a garside group  @xmath1 generated by a set  @xmath392 of atoms of  @xmath8 .
we only consider parabolic subgroupoids that are standard in the sequel .
therefore , we write _ parabolic _ for _ standard parabolic _ in the sequel .
[ exef22 ] consider the free group  @xmath153 on two letters  @xmath154 and the garside structure of example  [ exef2 ] . in this context , except the whole group  @xmath153 and the trivial subgroup , a parabolic subgroup of  @xmath153 is any subgroup generated by one generator  @xmath160 .
then , parabolic proper subgroups are all isomorphic to  @xmath393 .
[ exef23 ] direct product of garside groups are garside groups .
for instance , the group  @xmath1 defined by the group presentation  @xmath394 is a garside group , with  @xmath395 as garside element .
its parabolic subgroups are the four subgroups  @xmath396 ,  @xmath397 ,  @xmath398 and  @xmath1 .
[ exef24 ] the group  @xmath1 defined by the presentation  @xmath399 is a garside group , with  @xmath400 as garside element .
indeed , amalgam products of garside groups above their garside elements are garside groups .
the parabolic subgroups of  @xmath1 are the four subgroups  @xmath401 ,  @xmath402 ,  @xmath403 and  @xmath1 .
it is quite easy to see that most of the properties proved in  @xcite can be extended into the context of garside groupoid , with similar proof .
we are now ready to define the ribbon groupoid , whose objects are the parabolic subgroupoids .
let  @xmath271 be a categorical garside structure .
the _ positive ribbon category _
@xmath404 associated with  @xmath6 is the full subcategory of  @xmath5 whose objects are the parabolic subcategories of  @xmath6 .
we recall that for every parabolic subcategory  @xmath177 of  @xmath6 , we have identified  @xmath387 with a subgroupoid of  @xmath119 .
we also recall that  @xmath405 and that the categories  @xmath177 and  @xmath387 have the same objects .
in particular every element  @xmath88 of @xmath406 belongs to  @xmath407 , where  @xmath180 is the isomorphism associated with  @xmath88 .
let  @xmath124 be a categorical garside structure .
+ ( i ) if  @xmath387 and  @xmath408 are two parabolic subgroupoids , then a ribbon from the former to the latter is a morphism  @xmath88 in  @xmath406 that belongs to  @xmath409 .
+ ( ii ) the _ ribbon groupoid _
@xmath410 of  @xmath119 is the subcategory of  @xmath411 whose objects are the standard parabolic subgroupoids of  @xmath119 and whose morphisms are the ribbons .
consider the free group  @xmath153 on two letters  @xmath154 , and the garside structure of examples  [ exef2 ] and [ exef22 ] .
then , each object of the groupoid  @xmath412 distinct from the trivial subgroup and the whole group can be identified with one of the  @xmath160 .
clearly , there are morphisms between  @xmath160 and  @xmath413 in  @xmath412 if and only if  @xmath414 is even .
the category  @xmath410 is clearly a groupoid and the image by  @xmath345 of a morphism of  @xmath404 is a ribbon . in the sequel such a ribbon
is called a _ positive _ ribbon .
indeed ,    let  @xmath124 be a categorical garside structure such that the vertex set of @xmath6 is finite .
denote by  @xmath64 the automorphism of  @xmath6 induced by  @xmath76 .
+ ( i ) the category  @xmath404 is cancellative and noetherian .
+ ( ii ) the functor  @xmath202 restricts to an automorphism  @xmath202 of  @xmath404 .
the restriction of  @xmath203 to the vertex set of  @xmath404 is a natural transformation from the identity functor of  @xmath404 to this restricted automorphism . + ( iii ) when @xmath6 is a monoid , the functor  @xmath328 is injective on to the category  @xmath404 and the image  @xmath415 is a subcategory of  @xmath410 . moreover the morphism  @xmath416 induces an isomorphism of groupoids from  @xmath417 to  @xmath410 .
@xmath418  @xmath404 is cancellative and noetherian since it is a subcategory of  @xmath5 .
+ @xmath175 from the equality  @xmath419 and the definition of a parabolic subcategory , it follows that  @xmath208 is a parabolic subcategory if and only if  @xmath177 is a parabolic subcategory .
moreover , in this case the map  @xmath215 lies in  @xmath420 .
+ @xmath421 by construction , the image of  @xmath404 by  @xmath345 is a subcategory of  @xmath410 .
furthermore , we already know that  @xmath345 is faithful by proposition  [ propfaithfulpropert ] . now ,
if  @xmath422 ,  @xmath423 are two objects of  @xmath404 , then one has @xmath424 hence ,  @xmath345 lies injective on  @xmath404 . using that @xmath5 is a garside category
, we get that  @xmath416 induces an isomorphism of groupoids from the subgroupoid   @xmath417 to its image , which lies in  @xmath410 .
let  @xmath88 lie in  @xmath425 and  @xmath426 be its associated isomorphism .
we can decompose  @xmath88 as a product  @xmath427 for some non negative integer  @xmath220 and some  @xmath183 in the monoid  @xmath6 .
now , the element  @xmath183 belongs to  @xmath428 since  @xmath429 .
therefore , the image of  @xmath417 by  @xmath345 is  @xmath410 .    as a consequence of the previous result
, we get    [ trtrtrrt]let  @xmath124 be a categorical garside structure such that  @xmath6 is a monoid .
assume the sets  @xmath430 and  @xmath431 are sublattices of  @xmath204 and  @xmath205 , respectively , for every parabolic submonoid  @xmath177 of  @xmath6 .
then  @xmath432 is a categorical garside structure with  @xmath410 as associated garside groupoid .
generalizing the terminology of  @xcite to garside groupoids , we could say under the assumption of proposition  [ trtrtrrt ] that  @xmath404 is a _ garside subcategory _ of  @xmath5 .
in the previous sections , we prove , under some technical assumptions , that the category of subcategories of a garside  @xmath5 category  @xmath6 is itself a garside category . in particular
this is always the case when  @xmath6 is a garside monoid .
we prove that , moreover , the positive ribbon category  @xmath404 is also a garside category , with the ribbon groupoid  @xmath410 as associated garside groupoid , under the assumption that this positive ribbon category  @xmath404 respects the lattice structure of the category of subcategories  @xmath5 . in this section
, we consider a simple criteria which insures that  @xmath404 respects the lattice structure of  @xmath5 .
the criteria is verified by artin - tits groups of spherical type .
we recall that a monoidal garside structure  @xmath146 is a categorical garside structure such that  @xmath8 is a monoid ; we denote by  @xmath1 the associated garside group .
we denote by  @xmath433 a parabolic submonoid of  @xmath8 whose atom set is  @xmath434 .
we denote by  @xmath10 the associated standard parabolic subgroup .
we recall that , in this context , an element  @xmath435 of  @xmath436 is an element of  @xmath8 such that  @xmath437 ( which is equivalent to  @xmath438 ) .    from now on , for @xmath439 in  @xmath440 ,
we denote by  @xmath441 and  @xmath442 their lcm and their gcd for the left - divisibility , respectively , and we denote by  @xmath443 and  @xmath444 their lcm and their gcd for the right - divisibility , respectively .    [ defnustructure]let  @xmath146 be a monoidal garside structure .
let  @xmath137 be the atom set of  @xmath8 .
+ ( i ) we say that  @xmath445 _ has a  @xmath2-function _ if for each parabolic submonoid  @xmath433 there exists a map  @xmath446 such that    1 .   for every  @xmath136 in  @xmath137 ,
the morphism  @xmath447 is an atom of  @xmath3 ; 2 .   for every  @xmath136 in  @xmath137 and every  @xmath435 in  @xmath448 ,
if  @xmath136 left - divides  @xmath435 then  @xmath447 left - divides  @xmath435 ; 3 .   for every  @xmath449 in  @xmath137 , the lcm of  @xmath447 and  @xmath450 for left - divisibility lies in  @xmath448 .
\(ii ) we say that  @xmath445 _ has a  @xmath451-function _ if for each parabolic submonoid  @xmath433 there exists a map  @xmath452 such that    1 .   for every  @xmath136 in  @xmath137 ,
the morphism  @xmath453 is an atom of  @xmath3 ; 2 .   for every  @xmath136 in  @xmath137 and every  @xmath435 in  @xmath454 ,
if  @xmath136 right - divides  @xmath435 then  @xmath453 right - divides  @xmath435 ; 3 .
for every  @xmath449 in  @xmath137 , the lcm of  @xmath453 and  @xmath455 for right - divisibility lies in  @xmath454 .
\(iii ) we say that  @xmath445 has a  _ @xmath2-structure _ if it has both a  @xmath2-function and a  @xmath451-function .
\(i ) we do not require that  @xmath136 left - divides  @xmath447 .
+ ( ii ) when  @xmath1 has a  @xmath2-function ( _ resp .
_ a  @xmath451-function ) , then each atom of  @xmath456 that belongs to  @xmath457 ( _ resp .
_ to @xmath458 ) is equal to some  @xmath447 ( _ resp .
_ some  @xmath453 ) .
furthermore , if  @xmath435 is an atom of  @xmath456 that belongs to  @xmath457 ( _ resp .
_ to @xmath458 ) and  @xmath136 in  @xmath137 left - divides ( _ resp .
_ right - divides )  @xmath435 , then  @xmath459 ( _ resp .
_  @xmath460 ) .
[ exemplnufunctspheratgp]every artin - tits monoid of spherical type ( _ cf .
_ example  [ exef23 ] ) has a  @xmath2-structure .
consider the notation of example  [ exef23 ] .
let  @xmath434 be a subset of  @xmath137 and  @xmath136 lie in  @xmath137 .
if  @xmath136 does not belong to  @xmath434 , we set  @xmath461 and  @xmath462 ; if  @xmath136 lies in  @xmath434 , we set  @xmath463 where  @xmath464 is the indecomposable component of  @xmath434 that contains  @xmath136 .
we recall that an artin - tits group of spherical type is said to be _
indecomposable _ when it is not the direct product of two of its proper standard parabolic subgroups .
it follows from  @xcite that these functions provide a  @xmath2-structure to the artin - tits monoid .
[ rtgvfresc ] let  @xmath146 be a monoidal garside structure .
+ ( i ) if  @xmath1 has a  @xmath2-function , then the set  @xmath457 is a sublattice of  @xmath465 for every parabolic submonoid  @xmath433 . + ( ii ) if  @xmath1 has a  @xmath451-function then the set  @xmath458 is a sublattice of  @xmath466 for every parabolic submonoid  @xmath433 .
( 150,110 ) ( 10,15 ) ( 4,6)@xmath467(61,6)@xmath468(126,6)@xmath469 ( 4,106)@xmath434(61,106)@xmath470(126,106)@xmath471 ( 48,60)@xmath472 ( 4,60)@xmath435(20,107)@xmath473 ( 80,106)@xmath474(36,81)@xmath475(52,36)@xmath476(94,73)@xmath477(128,60)@xmath478    @xmath418 let  @xmath137 be the atom set of  @xmath8 .
let  @xmath479 be a parabolic submonoid of  @xmath8 , and consider  @xmath439 that lie in  @xmath448 . since  @xmath3 is a full subcategory of  @xmath480 , it is enough to prove that the lcm and the gcd for the left - divisibility in  @xmath8 of  @xmath435 and  @xmath90 belong to  @xmath448 .
let  @xmath136 lie in  @xmath137 .
+ gcd s : by the second defining property of a  @xmath2-function , if  @xmath136 left - divides both  @xmath435 and  @xmath90 then  @xmath447 left - divides both  @xmath435 and  @xmath90 .
since  @xmath447 lies in  @xmath3 , by the noetherianity property , it follows that the gcd of  @xmath435 and  @xmath90 for the left - divisibility lies in  @xmath448 .
+ lcm s : let  @xmath435 be in  @xmath481 and  @xmath90 be in  @xmath436 .
we have to prove that the lcm  @xmath441 of  @xmath435 and  @xmath90 belongs to  @xmath448 .
clearly , we only need to consider the case when  @xmath459 for some  @xmath136 in  @xmath137 .
furthermore we can assume without restriction that  @xmath435 does not left - divide  @xmath90 .
write  @xmath482 .
it is enough to prove that there exist  @xmath483 in  @xmath137 and  @xmath484 in  @xmath8 such that  @xmath485 . indeed , in this case one has  @xmath486 , and if  @xmath487 we can write  @xmath488 ; in particular ,  @xmath489 .
we can repeat the process as long as  @xmath490 . by the noetherianity property of  @xmath8 the process has to stop .
so , consider a decomposition  @xmath491 where  @xmath492 and  @xmath473 belongs to  @xmath493 .
write  @xmath494 and  @xmath495 ( see figure  [ diagramme ] ) . since  @xmath8 has a  @xmath2-function and
@xmath435 is equal to  @xmath447 , there exist  @xmath468 and  @xmath472 such that  @xmath496 ,  @xmath476 and  @xmath477 belong to  @xmath497 ,  @xmath498 and  @xmath499 , respectively . by assumption ,
@xmath496 does not left - divide  @xmath474 .
in particular  @xmath500 , and there exists  @xmath501 in  @xmath137 such that  @xmath502 left - divides  @xmath476 ; furthermore ,  @xmath476 left - divides  @xmath503 . therefore ,
if  @xmath504 we are done . otherwise , replacing  @xmath435 and  @xmath90 by  @xmath505 and  @xmath477 , respectively , we can find  @xmath506  in  @xmath137 such that  @xmath507 .
furthermore , we can write  @xmath508 and  @xmath509 with  @xmath510 ,  @xmath511 and  @xmath512 in  @xmath513 ,  @xmath514 and  @xmath515 , respectively , for some subsets  @xmath516 ,  @xmath517 of  @xmath137 . again
, there exists  @xmath518 in  @xmath137 such that  @xmath519 left - divides  @xmath511 , and  @xmath511 left - divides  @xmath520
. we can repeat the process as long as  @xmath521 .
but ,  @xmath522 . by the noetherianity property
, there exists  @xmath34 such that  @xmath523 . in this case ,  @xmath524 left - divides  @xmath478 , and we are done .
+ @xmath175 the proof is similar to the proof of  @xmath418 .
( 190,60 ) ( 10,6 ) ( 50,0)@xmath160(90,0)@xmath161(133,0)@xmath525 ( 50,36)@xmath160(92,36)@xmath161(135,36)@xmath525 ( 25,11)@xmath526(67,11)@xmath527(115,11)@xmath528(158,11)@xmath529    from propositions  [ trtrtrrt ] and  [ rtgvfresc ] we obtain theorem  [ thintror(a ) ] , which applies in the case of artin - tits groups of spherical type .
the latter groups are not the only garside groups which have a  @xmath2-structure :    \(i ) consider the notation of  example  [ exef2 ] .
the category  @xmath530 is a garside category with  @xmath531 as associated garside groupoid .
+ ( ii ) the category  @xmath3 of the garside group  @xmath1 of example  [ exef23 ] is a garside category with  @xmath4 as associated garside groupoid .
+ ( iii ) the category  @xmath3 of the garside group  @xmath1 of example  [ exef24 ] is a garside category with  @xmath4 as associated garside groupoid .
we only need to explicit a  @xmath2-structure in each case : +  @xmath418 for  @xmath532 and  @xmath533 , one has  @xmath534 ; for  @xmath535 and  @xmath533 , one has  @xmath536 ; for  @xmath537 and  @xmath533 with  @xmath538 , one has  @xmath539 ,  @xmath540 , and  @xmath541 .
+ @xmath175 for  @xmath532 or  @xmath542 and  @xmath543 , one has  @xmath544 ; for  @xmath545 and  @xmath543 , one has  @xmath546 ; for  @xmath547 , one has  @xmath548 , and  @xmath549 .
+ @xmath421 for  @xmath532 and  @xmath543 , one has  @xmath544 ; for  @xmath545 and  @xmath543 , one has  @xmath550 ; for  @xmath551 , one has  @xmath552 ,  @xmath553 and  @xmath554 ; for  @xmath555 , one has  @xmath556 ,  @xmath557 and  @xmath558 .
given a group , it is a classical question to obtain a presentation of this group . here , we consider the similar problem in the context of groupoids .
for all this section we fix a monoidal garside structure  ( @xmath559 , such that the garside monoid  @xmath8 has a  @xmath2-structure .
we denote by  @xmath137 the atom set of  @xmath8 and by  @xmath1 its group of fractions . in the previous section
, we have seen that the ribbon groupoid  @xmath4 is a garside groupoid .
let us first precise the notion of a groupoid presentation .
we recall that the free category  @xmath46 associated with a graph  @xmath16 has been defined in section  [ definsmcat ] .
let  @xmath6 be a small category .
let  @xmath16 be a quiver whose vertex set is the object set of  @xmath6 and whose edges are morphisms of  @xmath6 .
+ ( i ) we say that  @xmath16 _ generates  @xmath6 as a category _ if the canonical map from  @xmath16 to  @xmath6 extends to a surjective functor from the free category  @xmath46 to the category  @xmath6 .
+ ( ii ) if  @xmath6 is a groupoid , we say that  @xmath16 _ generates  @xmath6 as a groupoid _ if the canonical map from  @xmath16 to  @xmath6 extends to a surjective functor from the free groupoid  @xmath120 to the groupoid  @xmath6 .
let  @xmath6 be a small category .
consider a quiver  @xmath16 and a set  @xmath560 of morphisms of  @xmath46 with the same source and the same target .
denote by  @xmath561 is the congruence on  @xmath27 generated by  @xmath562 .
+ ( i ) we say that  @xmath563 is a _ presentation of  @xmath6 as a category _ if  @xmath16 generates  @xmath6 as a category and the surjective functor from  @xmath46 to  @xmath6 induces an isomorphism of categories from  @xmath564 to  @xmath6 .
+ ( ii ) when  @xmath6 is a groupoid , we say that  @xmath563 is a _ presentation of  @xmath6 as a groupoid _ if  @xmath16 generates  @xmath6 as a groupoid and the surjective functor from  @xmath120 to  @xmath6 induces an isomorphism of groupoid from  @xmath565 to  @xmath6 .
[ generquivera]let  @xmath568 be the graph whose vertices are the standard parabolic subgroups of  @xmath1 , and whose edge set is the image of the  @xmath2-functions : to each element  @xmath447 that lies in  @xmath569 corresponds an edge from  @xmath10 to  @xmath11 in  @xmath568 .
the quiver  @xmath568 generates  @xmath3 as a category and  @xmath4 as a groupoid .
the atom graph of  @xmath3 is a generating quiver and the image of the  @xmath2-functions is precisely the atom set of the category  @xmath3 ( see section  [ sectiongardgrd ] ) .
furthermore ,  @xmath4 is the group of fractions of the garside category  @xmath3 .    in the case of an artin - tits group of spherical type
, we have seen in example  [ exemplnufunctspheratgp ] that there is two types of atoms in  @xmath4 , namely the  @xmath574 and the  @xmath575 .
we are going to see that this is a general fact ; we need first to study the quasi - centralizer of a garside group .
let  @xmath576 be a garside monoid with  @xmath323 as garside group .
the _ quasi - centralizer _ of the monoid  @xmath576 is the submonoid  @xmath577 defined by @xmath578 the _ quasi - centralizer _ of the group  @xmath323 is the subgroup  @xmath579 defined by @xmath580 in other words ,  @xmath577 and  @xmath581 are equal to  @xmath582 and  @xmath583 , respectively .    by definition
, the garside element  @xmath76 belongs to  @xmath577 . in this section ,
we extend the main result of  @xcite into every garside group .
the proof is in the spirit of the latter reference .
however , some definitions and technical arguments of the proof of  @xcite can not be simply extended to every garside group .
this is because in general the set of divisors of  @xmath76 is not finite . in our proof , this argument is replaced by the noetherianity property of  @xmath576 .
we need some preliminary results .
[ defindesdeltag ] let  @xmath584 be a monoidal garside structure .
+ ( i ) for every  @xmath435 in  @xmath576 the set  @xmath585 has a lcm  @xmath586 for the left - divisibility . furthermore
,  @xmath435 left - divides  @xmath586 and  @xmath587 .
+ ( ii ) for every  @xmath435 in  @xmath576 the set  @xmath588 has a  @xmath589 for the right - divisibility . furthermore ,
@xmath435 right - divides  @xmath589 and  @xmath590 .    by symmetry , it is enough to prove  @xmath418 . from the noetherianity property of
@xmath576 it follows that every none - empty subset of  @xmath576 that has a common multiple for the left - divisibility has a lcm for the left - divisibility .
but  @xmath76 is quasi - central and there exists a positive integer  @xmath220 such that  @xmath435 left - divides  @xmath591 .
therefore ,  @xmath591 is a common multiple of  @xmath585 , and therefore  @xmath586 exists . by definition
we have  @xmath587 . finally ,
considering  @xmath592 , we obtain that  @xmath435 left - divides  @xmath586 .
[ lemsuitetaun ] let  @xmath584 be a monoidal garside structure and  @xmath435 lie in  @xmath576 .
+ define  @xmath593 by  @xmath594 ,  @xmath595 and  @xmath596 .
the sequence  @xmath593 stabilizes to an element  @xmath597 which belongs to  @xmath598 . furthermore
, for every element  @xmath90 in  @xmath598 ,  @xmath435 left - divides  @xmath90 if and only if  @xmath597 left - divides  @xmath90.[defindestaug ] in particular , for every quasi - central element  @xmath90 , we have  @xmath599 .      by the previous lemma ,
@xmath601 left - divides  @xmath602 , and  @xmath603 right - divides  @xmath601 .
furthermore , with the notation of lemma  [ defindesdeltag ] s proof , all the  @xmath604 divides  @xmath591 ( for both the left - divisibility and the right - divisibility since  @xmath591 is a quasi - central element ) . by the noetherianity property ,
there exist  @xmath586 in  @xmath576 and  @xmath605 such that  @xmath606 for every  @xmath236 . by lemma  [ defindesdeltag ]
, we get the sequence of inclusions  @xmath607 .
thus ,  @xmath597 is a quasi - central element .
assume  @xmath90 lies in  @xmath598 such that  @xmath435 left - divides  @xmath90 , and write  @xmath608 .
by assumption , we have  @xmath609 .
therefore ,  @xmath90 is a common multiple of the set  @xmath610 and  @xmath586 left - divides  @xmath90 . but  @xmath90 is quasi - central , then  @xmath586 , that is  @xmath611 , also right - divides  @xmath90 .
inductively we get that  @xmath612 left - divides and right - divides  @xmath90 for every  @xmath220 . finally , by lemma  [ defindesdeltag ] ,  @xmath602 left - divides  @xmath601 and  @xmath601 right - divides  @xmath603 for every  @xmath220
; then we can write  @xmath613 for some  @xmath614 in  @xmath576 . since  @xmath597 is a quasi - central
, it follows that  @xmath435 left - divides  @xmath597 .
[ remlemsuitetaun]with the notation of lemma  [ lemsuitetaun ] and a similar proof of this lemma , we can obtain an element  @xmath615 by considering the sequence  @xmath616 defined by  @xmath617 ,  @xmath618 and  @xmath619 . using that an element of  @xmath577 has the same set of left - divisors and of right - divisors
, we deduce that  @xmath620 for every  @xmath435 in  @xmath576 .
[ centrcommprop]let  @xmath584 be a monoidal garside structure , and denote by  @xmath137 the atom set of  @xmath576 .
for every  @xmath449 in  @xmath137 , either  @xmath621 or  @xmath622 in  @xmath576 .
furthermore , in any case ,  @xmath623 .    the main argument of the first part s proof is as in  @xcite .
since  @xmath624 is a quasi - central element , it has the same left - divisors and right - divisors .
assume that  @xmath136 divides  @xmath624 and let us prove that  @xmath621 .
by lemma  [ defindestaug ] , we can write  @xmath625 . still by lemma
[ defindestaug ] , if  @xmath483 divides  @xmath626 , then  @xmath624 divides  @xmath626 and we are done :  @xmath621 .
assume this is not the case .
since  @xmath483 is an atom of  @xmath576 , the elements  @xmath435 and  @xmath626 are prime to each other for the right - divisibility in  @xmath576 .
this implies that  @xmath624 is the lcm of  @xmath435 and  @xmath90 for the left - divisibility .
in particular ,  @xmath627 .
then , by definition ,  @xmath483 left - divides  @xmath628 and , therefore , left - divides  @xmath629 .
in particular , we can write  @xmath630 for some  @xmath478 in  @xmath631 . but  @xmath626 and  @xmath624 are quasi - central elements , then  @xmath90 is also a quasi - central element and  @xmath632 . a contradiction : we get  @xmath633 with  @xmath634 . now ,
if  @xmath635 then there exists  @xmath636 in @xmath137 that divides both  @xmath626 and  @xmath624 . by the above argument , we have  @xmath637
.    assume finally that  @xmath638 .
we can write  @xmath639 and  @xmath640 where  @xmath641 lie in  @xmath576 . clearly  @xmath641 have to be quasi - central elements . as  @xmath642 ,
by the first part of the proof , the decomposition  @xmath643 is a left greedy normal form ( _ cf .
[ uniquedecomposprop]@xmath175 ) .
but we have  @xmath644 .
since  @xmath643 is not in  @xmath576 ,  @xmath624 and  @xmath626 do not right - divide  @xmath505 and  @xmath477 , respectively .
this implies that both  @xmath645 and  @xmath646 are right greedy normal forms . by unicity of this normal form
, we get  @xmath647 and  @xmath648 .
thus ,  @xmath623 .
[ theoremcentralisateurgeneralisationpicantin]let  @xmath584 be a monoidal garside structure , and denote by  @xmath137 the atom set of  @xmath576 .
+ ( i ) the monoid  @xmath598 is a free commutative monoid . furthermore there exists a projection  @xmath649 such that    1 .
the set  @xmath650 is a free base of  @xmath577 ( where some  @xmath626 are possibly equal ) ; 2 .
the map  @xmath304 respects the left - divisibility and the right - divisibility , in particular if  @xmath651 left / right - divides  @xmath652 then  @xmath626 left / right - divides  @xmath435 ; 3 .
the map  @xmath304 is a semilattice homomorphism for  @xmath653 and for  @xmath654 ; in particular ,  @xmath655 for every  @xmath439 in  @xmath576 .
this theorem should be compared with the definition of  @xmath2-functions ( _ cf . _
definition  [ defnustructure ] ) .
note that the map  @xmath304 is not a semilattice homomorphism for  @xmath656 ( nor  @xmath657 ) in general  @xcite .
@xmath418 we already know by lemma  [ defindestaug ] that  @xmath658 , that  @xmath659 and that  @xmath304 respects the left - divisibility and the right - divisibility . furthermore , using the noetherianity property and the same lemma , we get that the set  @xmath650 is a generating set for  @xmath577 . by proposition  [ centrcommprop ] , it follows that the monoid  @xmath577 is commutative , and that for distinct elements  @xmath626 and  @xmath624 , the element  @xmath660 is a common multiple of  @xmath626 and  @xmath624 for both the left - divisibility and the right - divisibility . using lemma  [ defindestaug ] , we get that  @xmath660 is the lcm of  @xmath626 and  @xmath624 ( for both the left - divisibility and the right - divisibility ) : otherwise , there would be some  @xmath636 in  @xmath137 that divides both  @xmath626 and  @xmath624 and then we should have  @xmath637 . therefore ,  @xmath598 is a free commutative monoid with  @xmath650 as a free base .
now , let  @xmath435 and  @xmath90 belong to  @xmath576 .
they left - divides  @xmath441 .
therefore  @xmath597 ,  @xmath629 and  @xmath661 left - divides  @xmath662 .
but  @xmath597 and  @xmath629 have a common multiple in  @xmath577 for the left - divisibility ( that is some power of  @xmath76 ) . by the noetherianity property , there exists a minimal common multiple  @xmath663 of  @xmath626 and  @xmath624 for the left - divisibility in  @xmath598 .
assume there exists  @xmath636 in  @xmath137 that right - divides both  @xmath664 and  @xmath665 ; then by remark  [ remlemsuitetaun ] ,  @xmath666 also right - divides  @xmath664 and  @xmath665 , which is impossible by minimality
. therefore  @xmath661 belongs to  @xmath577 . since  @xmath441 left - divides  @xmath661 , the element  @xmath662 left - divides  @xmath661 . as a conclusion ,
@xmath662 is equal to  @xmath661 .
+ @xmath175 let  @xmath435 lie in  @xmath579 and  @xmath667 be its left greedy normal form ( _ cf .
_ proposition  [ uniquedecomposprop ] ) .
we claim that  @xmath359 and  @xmath357 belong to  @xmath577 .
this proves that  @xmath579 is ( isomorphic to ) the group of fractions of  @xmath577 and , therefore , the second point of the proposition .
actually , every element  @xmath435 of  @xmath323 can be written as  @xmath668 with  @xmath669 and  @xmath670 in  @xmath576 .
but  @xmath76 is a quasi - central element .
therefore , when  @xmath435 lies in  @xmath579 , then  @xmath670 and  @xmath671 belong to  @xmath577 .
now assume that  @xmath672 where both  @xmath358 and  @xmath673 lie in  @xmath577 .
if some  @xmath636 in  @xmath137 left - divides both  @xmath358 and  @xmath673 , then  @xmath666 also left - divides  @xmath358 and  @xmath673 .
we conclude as in the proof of  @xmath418 .    in the next section
, we are going to apply the above results to parabolic submonoids .
we recall that we have fixed a garside monoid  @xmath8 with a  @xmath2-structure in the introduction of section  [ sectionpresgrp ] .
[ cornuspeciaux ] let  @xmath674 be a parabolic submonoid of  @xmath8 .
let  @xmath136 belong to  @xmath137 .
+ ( i ) if  @xmath136 lies in  @xmath434 , then  @xmath675 ; + ( ii ) if  @xmath447 belongs to  @xmath479 , then there exists  @xmath483 in  @xmath434 such that  @xmath676 .
@xmath418 assume  @xmath136 lies in  @xmath434 .
since  @xmath136 left - divides  @xmath626 , by the defining properties of a  @xmath2-structure ,  @xmath447 left - divides  @xmath626 .
but  @xmath626 belongs to  @xmath479 which is a parabolic submonoid .
therefore ,  @xmath447 belongs to  @xmath433 .
consequently ,  @xmath447 lies in  @xmath677 , and has to be equal to  @xmath626 .
+ @xmath175 assume  @xmath447 belongs to  @xmath479 .
this implies that  @xmath447 lies in  @xmath677 , and therefore is equal to a product  @xmath678 with  @xmath679 in  @xmath137 .
but  @xmath447 is an atom of  @xmath3 , hence  @xmath680 .
we still consider the general notations of section  [ sectionpresgrp ] .
in lemma  [ generquivera ] , we have seen that the quiver  @xmath568 whose edges are the  @xmath447 is a generating quiver for the groupoid  @xmath4 . in corollary
[ cornuspeciaux ] , we have seen that among the  @xmath447 there is two kinds of atoms of  @xmath3 , like in the case of artin - tits groups of spherical type ( _ cf .
_ example  [ exemplnufunctspheratgp ] ) . in the sequel , for every parabolic submonoid  @xmath681 of  @xmath8 , and every element  @xmath136 that belongs to  @xmath137
, we denote by  @xmath682 the element  @xmath447 when it belongs to  @xmath479 , and by  @xmath683 otherwise .
similarly , we write  @xmath684 or  @xmath685 for  @xmath453 , depending whether or not this atom lies in  @xmath479 . for instance , for every @xmath136 in @xmath434 , one has @xmath686 .
[ lemfghbvcasc ] let  @xmath479 and  @xmath687 be parabolic submonoids of  @xmath8 .
assume  @xmath682 lies in  @xmath677 and  @xmath688 belongs to  @xmath436 .
then , there exists  @xmath689 in  @xmath690 such that @xmath691    since  @xmath682 lies in  @xmath677 and  @xmath688 belongs to  @xmath436 , the element  @xmath692 belongs to  @xmath690 .
but  @xmath682 is an atom of the category  @xmath3 .
therefore  @xmath692 is also an atom of  @xmath3 . by corollary  [ cornuspeciaux ] ,
we are done .
[ mpolkiujyh]let  @xmath479 and  @xmath687 be parabolic submonoids of  @xmath8 .
assume that  @xmath435 is equal to  @xmath693 and lies in  @xmath436 , where  @xmath694 ; assume furthermore that  @xmath477 belongs to  @xmath479 and  @xmath512 belongs to  @xmath695 .
then , + ( i ) the lcm and the gcd in  @xmath8 of  @xmath435 and  @xmath477 for the left - divisibility is  @xmath696 and  @xmath105 , respectively .
+ ( ii ) the lcm and the gcd in  @xmath8 of  @xmath435 and  @xmath512 for the right - divisibility is  @xmath697 and  @xmath105 , respectively .
assume  @xmath680 .
if  @xmath636 in  @xmath137 left - divides both  @xmath435 and  @xmath477 , then  @xmath636 lies in  @xmath434 and  @xmath698 left - divides  @xmath683 .
this is impossible because in this case we would have  @xmath699 .
therefore , the gcd in  @xmath8of  @xmath435 and  @xmath477 for the left - divisibility is  @xmath105 .
similarly , the gcd of  @xmath435 in  @xmath8 and  @xmath512 for the right - divisibility is  @xmath105 ( we recall that  @xmath688 is equal to some  @xmath700 ) .
let  @xmath701 in  @xmath433 be such that  @xmath702 .
the gcd of  @xmath701 and  @xmath435 for the left - divisibility is  @xmath105 by the first part of the proof .
thus ,  @xmath697 is the lcm of  @xmath435 and  @xmath512 for the right - divisibility .
similarly ,  @xmath696 is the lcm in  @xmath8 of  @xmath435 and  @xmath477 for the left - divisibility .
assume  @xmath703 .
by an easy induction on  @xmath478 we deduce from the case  @xmath680 that the element  @xmath696 is the lcm of  @xmath435 and  @xmath477 for the left - divisibility .
similarly  @xmath697 is the lcm of  @xmath435 and  @xmath512 for the right - divisibility .
finally , we deduce from the latter result the last part of the lemma : let  @xmath704 be the gcd of  @xmath435 and  @xmath477 for the left - divisibility . since  @xmath479 is a parabolic submonoid ,  @xmath704 belongs to  @xmath479 . in particular
the lcm of  @xmath704 and  @xmath435 for the left - divisibility , which is  @xmath435 , has to be equal to  @xmath705
. then  @xmath706 . similarly , the gcd of  @xmath435 and  @xmath512 for the right - divisibility is  @xmath105 .
[ lemsecdecpodeslcmdesnu ] let  @xmath479 be a parabolic submonoid of  @xmath8 and consider  @xmath687 ,  @xmath707 two parabolic submonoids of  @xmath8 which are distinct from  @xmath433
. assume  @xmath683 and  @xmath688 belong to  @xmath436 and  @xmath481 , respectively .
then , there exist a parabolic submonoid  @xmath708 , a path  @xmath709 in  @xmath710 and a path @xmath711 in  @xmath712 such that @xmath713    we can assume  @xmath714 .
the category  @xmath3 is a garside category with  @xmath568 for atom graph
. then we can decompose  @xmath715 in   the category  @xmath3 : @xmath716 by lemma  [ lemfghbvcasc ] , we can assume without restriction that there exists  @xmath484 and  @xmath717 such that  @xmath718 is equal to  @xmath719 if and only if  @xmath720 , and that  @xmath721 is equal to  @xmath722 if and only if  @xmath723 .
let us set  @xmath724 and  @xmath725 , and consider  @xmath726 such that  @xmath727 . since  @xmath435 and  @xmath90 belong to  @xmath687 , the elements  @xmath505 and  @xmath477 lie in  @xmath687 .
but  @xmath505 has to right - divide  @xmath728 .
then , by lemma  [ mpolkiujyh ] , we have  @xmath729 .
similarly ,  @xmath730 that is  @xmath731 .
finally we get  @xmath732 since the lcm of @xmath435 and @xmath90 for the right - divisibility has to be  @xmath105 .
[ theorpreseconjplusa ] let  @xmath146 be a monoidal garside structure with a @xmath2-structure
. denote by  @xmath137 the atom set of  @xmath440 , and by  @xmath1 its group of fractions .
consider the set  @xmath562 of equalities of paths in  @xmath733 :      that hold in  @xmath3 and such that in equalities of type  ( [ deregalite ] ) the two paths correspond to two decompositions of  @xmath715 as in equation  ( [ lemsecdecpodeslcmdesnu2 ] ) of lemma  [ lemsecdecpodeslcmdesnu ] .
+ then ,  @xmath737 is a presentation of  @xmath4 as a groupoid .
the garside group  @xmath1 has a  @xmath2-function , then  @xmath4 is a garside groupoid , with  @xmath3 as garside category .
therefore , it is enough to prove that  @xmath737 is a presentation of  @xmath3 as a category .
we already know that  @xmath568 is a generating quiver of  @xmath3 .
now , let  @xmath38 be the congruence on  @xmath738 defined by the relations considered in the theorem .
let  @xmath739 and  @xmath740 be two paths in  @xmath741 .
clearly , if the two paths are  @xmath38-equivalent , they represent the same element in  @xmath742 .
conversely , assume they represent the same element in  @xmath742 and let us prove that they are  @xmath38-equivalent . using defining relations  ( [ reldeuxdelaprese ] ) of  @xmath38 , we obtain a path @xmath743 which is  @xmath38-equivalent to the path  @xmath739 .
similarly , we also obtain a path  @xmath744 which is  @xmath38-equivalent to the path  @xmath740 . by lemma  [ mpolkiujyh ]
the equalities  @xmath745 and @xmath746 hold in  @xmath8 ( see the proof of lemma  [ lemsecdecpodeslcmdesnu ] ) . from theorem  [ theoremcentralisateurgeneralisationpicantin ] , it follows that the two paths  @xmath747 and  @xmath748 are  @xmath38-equivalent , using the relations of type  ( [ relundelaprese ] ) .
finally ,  @xmath749 and  @xmath750 are  @xmath38-equivalent by lemma  [ lemtechnordset ] .
define  @xmath434 to be the set made of the paths in  @xmath751 whose images in  @xmath752 right - divides  @xmath749 .
we define a noetherian partial order on  @xmath434 by saying that for @xmath753 in @xmath434 , one has  @xmath754 if @xmath755 in  @xmath751 , or the image of  @xmath756 in  @xmath3 strictly right - divides the image of  @xmath757 .
we define  @xmath23 as the set of pair of elements of  @xmath434 that have the same image in  @xmath752 .
we fix for every element  @xmath53 in  @xmath752 a representing path  @xmath758 in  @xmath751 .
we define @xmath759 in the following way .
let @xmath760 belong to  @xmath23 .
write @xmath761 and @xmath762 and assume they are distinct .
let @xmath34 be minimal such that @xmath763 .
choose an arbitrary defining relation  @xmath764 of type  ( [ deregalite ] ) .
there exists @xmath53 in  @xmath752 such that  @xmath765 is equal to the image of  @xmath756 in  @xmath752 .
we set  @xmath766 and @xmath767 . by lemma  [ lemtechnordset ] , and with its notations
, there exists  @xmath220 such that  @xmath768 .
the results follows easily .
given a garside monoid with a right partial action on a set , dehornoy shows in  @xcite that under a technical hypothesis , a natural garside category can be associated with this action .
we note that the positive ribbon category  @xmath3 does not arised trivially in this way .
actually , we can not defined a right partial action of  @xmath8 on the set of its parabolic submonoids by setting for an atom  @xmath136 that @xmath769 where  @xmath471 is such that @xmath447 belongs to @xmath770 .
for instance , consider the braid group  @xmath771 with the notations of example  [ exagpat ] ; then @xmath772 whereas @xmath773 .
indeed , we do not have the equality  @xmath774 but @xmath775 which is a relation of type  ( [ deregalite ] ) in theorem  [ theorpreseconjplusa ] .
[ lemtechnordset ] let @xmath776 be a noetherian partially ordered set with an infimum element denoted by  @xmath105 .
assume @xmath23 is a subset of @xmath777 that contains  @xmath778 and which is stabilized by the maps @xmath779 .
assume @xmath780 is such that @xmath781 for @xmath48 in @xmath23 , and @xmath782 and @xmath783 for @xmath784 .
consider @xmath785 defined inductively by @xmath786 and  @xmath787 for @xmath788 .
for every @xmath789 in @xmath23 , there exists  @xmath220 such that  @xmath768 .
\(i ) for every  @xmath435 which lies in  @xmath448 , there exists a unique pair  @xmath791 such that  @xmath792 with  @xmath505 in  @xmath677 and  @xmath793 in  @xmath794 .
+ ( ii ) let  @xmath439 belong to  @xmath795 .
assume  @xmath792 and  @xmath796 with  @xmath726 in  @xmath677 and  @xmath797 in  @xmath794 .
then  @xmath441 is equal to  @xmath798 , and  @xmath442is equal to  @xmath799 .
[ lemstructconjnu ]    @xmath418 it has been proved when proving theorem  [ theorpreseconjplusa ] . + @xmath175 it is clear that  @xmath798 is a common multiple of  @xmath435 and  @xmath90 .
conversely , any common multiple of  @xmath435 and  @xmath90 is a common multiple of  @xmath800 and  @xmath801 for the left - divisibility .
but the lcm of the latter is  @xmath798 by lemma  [ mpolkiujyh ] ( the lcm of  @xmath793 and  @xmath512 lies in  @xmath795 by lemma  [ lemsecdecpodeslcmdesnu ] ) .
similarly ,  @xmath799 is a common left - divisor of  @xmath435 and  @xmath90 .
now , let  @xmath802 belong to  @xmath448 with  @xmath484 in  @xmath677 and  @xmath803 in  @xmath794 , and assume  @xmath478 left - divides both  @xmath435 and  @xmath90 . using that  @xmath435 is the lcm of  @xmath435 and  @xmath478 for the left - divisibility
, we get that  @xmath484 and  @xmath803 left - divide  @xmath505 and  @xmath793 , respectively . by the same argument ,  @xmath484 and  @xmath803
also left - divide  @xmath477 and  @xmath512 , respectively .
we deduce that  @xmath484 and  @xmath803 left - divide  @xmath804 and  @xmath805 , and finally that  @xmath478 left - divides  @xmath799 .
let  @xmath146 be a monoidal garside structure such that  @xmath8 has a  @xmath2-structure .
denote by  @xmath137 its atom set , and by  @xmath1 its group of fractions .
the subgroupoid  @xmath14 of  @xmath4 generated by the  @xmath683 is a standard parabolic subgroupoid of  @xmath4 .
furthermore , let  @xmath806 denote the subgraph of  @xmath568 with the same vertex set and whose edges are the  @xmath683 .
let  @xmath807 be the set of relations of type  ( 3 ) that appear in theorem  [ theorpreseconjplusa ] .
then  @xmath808 is a presentation of  @xmath14 as a groupoid .
we recall that the notion of a parabolic subcategory has been introduced in definition  [ defparasucat ] .
we only need to prove that  @xmath790 is a parabolic subcategory of  @xmath404 and that  @xmath808 is a presentation of  @xmath790 as a category .
let  @xmath479 be a parabolic subcategory of  @xmath8 with  @xmath809 as garside element .
the lattice  @xmath794 is a sublattice of  @xmath448 by lemma  [ lemstructconjnu ] . for similar reason ,
@xmath810 is a sublattice of  @xmath454 . by definition  @xmath268(a_x^{\scriptscriptstyle + } ) $ ] is equal to  @xmath76 and we can decompose  @xmath76 as a product  @xmath811 .
clearly ,  @xmath812 lies in  @xmath448 .
as  @xmath479 is a parabolic submonoid , no element of  @xmath434 can left - divides  @xmath812 .
this implies that  @xmath812 lies in  @xmath794 .
we claim that the equalities @xmath813_{\conjplusa } = [ 1,\delta]_{\conjplusa}\bigcap\ { \conjplusanu}_{a_x^{\scriptscriptstyle + } \to\cdot } = \delta\land{\conjplusanu}_{a_x^{\scriptscriptstyle + } \to\cdot}\ ] ] hold .
this proves that  @xmath790 is a parabolic subcategory of  @xmath404 .
indeed , this equalities are direct consequences of lemma  [ lemstructconjnu ] : assume  @xmath435 lie in  @xmath814 and assume it belongs to  @xmath815_{\conjplusa}$ ] .
write  @xmath792 with  @xmath505 in  @xmath677 and  @xmath793 in  @xmath794 . by lemma  [ lemstructconjnu ] ,  @xmath505 and  @xmath793 left - divide  @xmath809 and  @xmath812 , respectively , and  @xmath729 if and only  @xmath435 left - divides  @xmath812 .
we recall that in the case of an artin - tits group  @xmath1 with  @xmath137 as a generating set , every subset  @xmath816 of  @xmath137 generates a standard parabolic subgroup with  @xmath816 as atom set . in this particular case , we can precise the statement of the theorem  [ theorpreseconjplusa ] .
[ antelastprop ] let  @xmath146 be a monoidal garside structure such that  @xmath8 is an artin - tits monoid of spherical type
. denote by  @xmath137 its atom set and by  @xmath1 its associated artin - tits group .
assume that  @xmath434 is a non empty subset of  @xmath137 and let  @xmath449 lie in  @xmath817 and be distinct .
then  @xmath818 has exactly two representing path in the free category  @xmath733 .
one begins with  @xmath683 and the other with  @xmath688 .
one has  @xmath819 and  @xmath820 ( _ cf .
_ example  [ exemplnufunctspheratgp ] ) .
therefore ,  @xmath818 is equal to  @xmath821 and , in particular ,  @xmath822 is equal to  @xmath823 , which is a simple element of  @xmath8 ( _ c.f . _
definition  [ defisimplelem ] ) .
consider in  @xmath733 a representing path  @xmath824 of  @xmath818 such that  @xmath825 and  @xmath826 .
given  @xmath827 and  @xmath828 , the set  @xmath829 is uniquely defined by the equality  @xmath830 .
we can write @xmath831 now it is well - known that the simple elements of an artin - tits monoid are _ square free _ : no representing word of a simple element has a square of an element of  @xmath137 as a subfactor .
this implies that for every  @xmath832 , the element  @xmath828 is uniquely defined by the two conditions  @xmath833 and  @xmath834 .
thus , there is a unique representing path of  @xmath818 in  @xmath733 that starts with  @xmath683 .
similarly , there is a unique representing path of  @xmath818 in  @xmath733 that starts with  @xmath688 .      in  @xcite ,
bessis defined a _ weak garside group _ to be a group that is isomorphic to some vertex group  @xmath835 of a garside groupoid  @xmath6 .
clearly a garside group is a weak garside group , but there is no obvious general reason for a weak garside group to be a garside group  @xcite . in this section ,
we consider a garside group  @xmath1 with a  @xmath2-function and the subgroup  @xmath323 of some vertex group  @xmath836 that is generated by the atoms of  @xmath4 that belong to  @xmath836 . under some assumptions that hold in the case of an artin - tits group of spherical type ,
we prove ( _ cf . _  theorem  [ thgarssubg ] ) that  @xmath323 is a garside group .
this section is inspired by  ( * ? ? ?
* theorem b ) .
we still assume that  @xmath146 is monoidal garside structure such that  @xmath8 has a  @xmath2-structure .
we still denote by  @xmath137 and  @xmath1 the atom set and the group of fractions of  @xmath8 , respectively .
for all the section , we fix a standard parabolic subgroup  @xmath10 of  @xmath1 .
we set @xmath837 following @xcite , we call the elements of  @xmath838 the _ shakers _ of  @xmath10
. it is immediate that the set of shakers  @xmath838 is equal to  @xmath839 .
there is two kinds of shakers , namely the  @xmath682 and the  @xmath683 ; in the sequel , we denote by  @xmath840 the set @xmath841 , which is equal to the set  @xmath842 .
furthermore , we denote by  @xmath843 and by  @xmath844 the sets @xmath845 and  @xmath846 respectively .
there is no reason to expect that  @xmath847 in general .
similarly , we set  @xmath848 and  @xmath849 .
finally , in the sequel we extend the notation previously used for parabolic submonoids and parabolic subgroups : for every subset  @xmath434 of  @xmath8 , we denote by  @xmath850 and  @xmath851 the submonoid of  @xmath8 and the subgroup of  @xmath1 , respectively , generated by  @xmath434 .
below , we consider  @xmath852 and  @xmath853 , which are submonoids of  @xmath854 .
[ lemthgarsubg ] assume  @xmath855 is a parabolic submonoid of  @xmath8 , and denote by  @xmath856 its garside element .
then , + ( i ) the elements of  @xmath838 belong to  @xmath855 .
+ ( ii ) one has  @xmath857 , and every atom of  @xmath3 that appears in any decomposition of  @xmath856 as a product of atoms in  @xmath448 belongs to  @xmath838
. + ( iii ) one has  @xmath858 .
write  @xmath859
. then  @xmath812 belongs to  @xmath860 , and every atom of  @xmath790 that appears in any decomposition of  @xmath861 in  @xmath794 as a product of atoms belongs to  @xmath840 .
\(i ) all the elements of  @xmath843 left - divide  @xmath856 , which lies in  @xmath448 . then
, by the defining properties of the  @xmath2-structure , it follows that the elements of  @xmath862 left divides  @xmath856 .
but  @xmath855 is a parabolic submonoid , therefore all the elements of @xmath862 belong to  @xmath855 .
+ ( ii ) the set  @xmath852 is included in  @xmath863 by  @xmath418 .
conversely , consider an element  @xmath435 of  @xmath8 which lies in  @xmath863 and choose an arbitrary decomposition  @xmath864 of  @xmath435 in  @xmath448 ( where  @xmath825 ) . by definition of a  @xmath2-structure
, we can assume without restriction that each  @xmath828 left - divides  @xmath718 ; otherwise , if we consider  @xmath865 that left - divides  @xmath718 , then we have  @xmath866 . the assumption that  @xmath855 is
a parabolic submonoid implies that all the  @xmath828 belong to  @xmath855 .
therefore , we get step - by - step that all the  @xmath827 are equal to  @xmath434
. then  @xmath435 belongs to  @xmath852 .
if we applied the above argument to  @xmath867 we get the second part of  @xmath175 .
+ ( iii ) the element  @xmath809 belongs to  @xmath677 and no element of  @xmath434 can left - divides  @xmath812 . indeed ,
if an  @xmath136 in  @xmath137 left - divides  @xmath812 , then  @xmath868 is a simple element of  @xmath8 and therefore can not lie in  @xmath479 .
then ,  @xmath812 lies in  @xmath860 ( _ cf .
_ lemma  [ lemstructconjnu]@xmath418 ) and the atoms of  @xmath790 that appears in any decomposition of  @xmath861 belongs to  @xmath840 .
[ thgarssubg ] let  @xmath146 be a monoidal garside structure such that  @xmath8 has a @xmath2-structure
. denote by  @xmath137 its atom set and by  @xmath1 its associated garside group .
let @xmath433 be a parabolic submonoid of  @xmath8 such that  @xmath869 .
if the monoid  @xmath855 is a parabolic submonoid of  @xmath8 whose garside element is denoted by  @xmath856 , then + ( i ) the subgroup  @xmath870 is a standard parabolic subgroup of the groupoid  @xmath4 with  @xmath10 as unique object . in particular ,
@xmath870 is a garside group .
the garside element of  @xmath871 is  @xmath856 and its atom set is  @xmath838 .
+ ( ii ) write  @xmath859 .
the subgroup  @xmath872 of  @xmath1 is a ( standard ) parabolic subgroup of  @xmath870 with  @xmath812 for garside element , and @xmath873    @xmath418 the element  @xmath856 belongs to  @xmath874 and we have @xmath875_{\conjplusa } \subseteq [ 1_{a_x^{\scriptscriptstyle + } } , \delta]_{\conjplusa } \cap a^{\scriptscriptstyle + } _ { { \sh}(x ) } \subseteq \left(\delta\wedge a^{\scriptscriptstyle + } _ { \lsh(x)}\right)\cap { \conjplusa}_{a_x^{\scriptscriptstyle + } \to\cdot } \hfill\cr\hfill \subseteq \left(\delta_{{\lsh}(x)}\wedge a^{\scriptscriptstyle + } _ { \lsh(x)}\right)\cap { \conjplusa}_{a_x^{\scriptscriptstyle + } \to\cdot } \subseteq [ 1_{a_x^{\scriptscriptstyle + } } , \delta_{\lsh(x)}]_{\conjplusa}.}\ ] ] the first inclusion follows from lemma  [ lemthgarsubg]@xmath175 , and the third one from the fact that @xmath433 be a parabolic submonoid of  @xmath8 . by lemma  [ lemthgarsubg]@xmath175
, we also get that  @xmath874 is a sublattice of  @xmath448 for the left - divisibility : let  @xmath435 and  @xmath90 belong to  @xmath874 , then their gcd and their lcm for the left - divisibility lie in  @xmath876 because the latter is a parabolic submonoid of  @xmath8 .
but , they also lie in  @xmath448 . then , by lemma  [ lemthgarsubg]@xmath175 , they lie in  @xmath874 , and they are common divisor and common multiple , respectively , of  @xmath435 and  @xmath90 in  @xmath876 . since we assume  @xmath869 , by symmetry ,  @xmath874 is a sublattice of  @xmath454 for the right - divisibility .
+ @xmath877 we have to prove that  @xmath853 is a parabolic submonoid of  @xmath874 , with  @xmath812 as garside element .
this is a consequence of lemma  [ lemthgarsubg]@xmath421 and  [ lemstructconjnu ] with a proof similar to  @xmath175 .
it is clear that  @xmath853 normalizes  @xmath878 and both subgroups generate  @xmath870 .
finally , we have a semi - direct product because the submonoids  @xmath878 and @xmath853 are parabolic with a trivial intersection .
indeed , the left greedy normal of every element in the intersection of the parabolic subgroups  @xmath879 and @xmath872 has to be trivial .    in order to state the next result , we recall that an artin - tits group of spherical type is said to be _
indecomposable _ when it is not the direct product of two of its proper standard parabolic subgroups .    [ lastprop ]
let  @xmath146 be a monoidal garside structure such that  @xmath8 is an artin - tit monoid of spherical type , with  @xmath137 as set of atoms and  @xmath1 as associated artin - tits group .
assume that  @xmath434 is a subset of  @xmath137 .
the subgroup  @xmath870 is an artin - tits group of spherical type with  @xmath838 as associated atom set .
in particular , if  @xmath449 are distinct in  @xmath817 , the associated relation  ( [ deregalite ] ) of the presentation of  @xmath3 stated in theorem  [ theorpreseconjplusa ] is @xmath880 for some positive integer  @xmath881 .
when  @xmath882 is indecomposable with  @xmath883 , the subgroups  @xmath870 of  @xmath1 where  @xmath884 are classified by the _ tables of relations r2 _ of ( * ? ? ?
* appendix 5 ) .    by theorem  [ thgarssubg ] , we know that  @xmath870 is a garside group with  @xmath838 as associated atom set .
now , consider the decomposition  @xmath885 of  @xmath818 that starts with  @xmath683 in  @xmath733 ( _ cf . _ proposition  [ antelastprop ] ) . by assumption ,  @xmath886 . by the argument of the proof of proposition  [ antelastprop ]
, we get  @xmath887 , then  @xmath888 , and step - by - step that  @xmath889 .
similarly  @xmath890 .
finally ,  @xmath891 because otherwise we could decompose  @xmath892 as a product  @xmath893 with  @xmath894 , which is impossible .
then  @xmath870 is an artin - tits group of spherical type with  @xmath838 as associated atom set .
the proof of the remaining is a case by case computation , which is the same as in @xcite .
theorem  [ thgarssubg ] of the previous section claims that the group  @xmath870 is a semi - direct product of two of its subgroups . in order to established that result , we use lemma  [ lemstructconjnu ]  @xmath418 . if we were dealing with groups instead of categories in the latter
, we would have use the notion of a group semi - direct product in order to state it .
the notion of a _ semi - direct product of categories _ is not so easy to defined , even though one can find a definition in  @xcite , or more recently in  @xcite .
the notion of a _
zappa - szp product _ , as covered in  @xcite , appears as more natural .
* lemma  3.2 and  3.9 ) let  @xmath6 be a category and  @xmath895 be two subcategories of  @xmath6 .
we say that  @xmath6 is an ( _ internal _ ) _ zappa - szp product _ of  @xmath896 and  @xmath897 if every morphism  @xmath435 of  @xmath6 can be uniquely decomposed as a product  @xmath898 where  @xmath505 is a morphism of  @xmath896 and  @xmath793 is a morphism of  @xmath897 . in this case
, we write  @xmath899
.    then , lemma  [ lemstructconjnu]@xmath418 claims that @xmath900 where @xmath901 be the totally disconnected category whose objects are the parabolic submonoids of @xmath8 and whose vertex monoid at @xmath433 is @xmath902 . clearly , in our context , we have more than a zappa - szp product .
let us introduce the following definition :    let  @xmath6 be a category and  @xmath895 be two subcategories of  @xmath6 such that  @xmath899 .
assume  @xmath896 is equal to a totally disconnected category that is the union of its vertex monoids  @xmath903 .
we say that  @xmath6 is a _ semi - direct product _ of  @xmath896 and  @xmath897 when for every @xmath435 in @xmath904 one has  @xmath905 . in this case
, we write @xmath906 .
so , for instance one has @xmath907 .
this definition extends the standard definition of a semi - direct product of monoids , and is a special case of the definition considered in  @xcite .
we finish this article with the following result which generalizes  ( * ? ? ?
* prop .  4 ) and provides a nice description of the connection between the standard parabolic subgroups of a garside group .
[ theodescnormal]let  @xmath146 be a monoidal garside structure such that  @xmath8 has a  @xmath2-structure .
denote by  @xmath1 the group of fractions of @xmath8 .
+ ( i ) let @xmath908 be the totally disconnected groupoid whose objects are the parabolic subgroups of @xmath1 and whose vertex group at @xmath10 is @xmath909 .
then , @xmath910 ( ii ) let  @xmath9 be the groupoid whose objects are the parabolic subgroups of @xmath1 , whose morphism set  @xmath911 from  @xmath10 to  @xmath11 is @xmath12 , and whose composition is the product in  @xmath1 .
let @xmath13 be the totally disconnected groupoid whose objects are the parabolic subgroups of @xmath1 and whose vertex group at @xmath10 is @xmath10 .
then , @xmath912    note that  @xmath9 is the full subgroupoid of  @xmath913 ( see definition  [ defngc ] ) whose objects are the parabolic subgroups of @xmath1 . its vertex groups are normalizers of standard parabolic subgroups .
this result holds in particular when @xmath1 is an artin - tits group of spherical type .
@xmath418 the unique not obvious fact is that @xmath4 is equal to the zappa - szp product  @xmath914 .
this is a consequence of the zappa - szp product decomposition of  @xmath3 , since @xmath4 , @xmath908 and @xmath14 are the groupoids of fractions of  the garside categories  @xmath3 , @xmath915 and @xmath790 , respectively ( where @xmath915 is the totally disconnected category whose objects are the parabolic submonoids of @xmath8 and whose vertex monoid at @xmath433 is @xmath916 ) .
+ @xmath175 again the unique not obvious fact is that conj(a ) = @xmath917 .
the unicity of the decomposition follows easily from lemma  [ lemstructconjnu]@xmath175 .
let @xmath435 lie in  @xmath1 such that @xmath918 .
we show there exist @xmath359 in @xmath10 and @xmath919 in @xmath920 such that @xmath921 .
there exists @xmath922 and @xmath505 in @xmath8 such that @xmath923 .
furthermore , there exists a parabolic submonoid  @xmath924 of @xmath8 such that @xmath591 belongs to @xmath925 .
in particular , we have @xmath926 .
we can write @xmath927 such that @xmath928 belongs to @xmath479 , @xmath929 belongs to @xmath707 , no elements of @xmath434 left - divides  @xmath930 and no element of @xmath467 right - divides @xmath930 .
now , let @xmath48 belongs to @xmath434 and @xmath931 be the left greedy normal form of @xmath932 in @xmath1
. there exists @xmath673 in @xmath8 such that @xmath933 and @xmath934 .
since  @xmath932 belongs to @xmath935 , the elements  @xmath358 and @xmath168 belongs to @xmath707 . by the assumption on @xmath930 ,
this implies  @xmath936 and @xmath937 .
therefore @xmath938 is included in @xmath707 and by symmetry , @xmath939 .
therefore , @xmath930 lies in @xmath481 and we have @xmath940 with @xmath941 in @xmath479 and @xmath942 in @xmath943 . using  @xmath418 ,
we are done .
garside categories , periodic loops and cyclic sets . .
hermann , 1968 . on the zappa - szp product .
( 2005 ) 393424 normalizers of parabolic subgroups in coxeter groups . , 2 ( 1999 ) , 323351 . the language of geodesics for garside groups .
( 2004 ) 495509 .
groupe de garside .
( 2002 ) 267306 .
left - garside categories , self - distributivity , and braids . .
aussian groups and garside groups , two generalisations of artin groups .
( 1999 ) 569604 .
garside and locally garside categories .        .
phd thesis , universit de picardie - jules verne , 2001 .
normalisateur et groupe dartin de type sphrique .
( 2003 ) 263274 .
garside subgroups of garside groups parabolic subgroups of garside groups ( 2007 ) 116 .