Système de Garside

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.

Le fond de cet article de mathématiques est à vérifier (septembre 2016).

Améliorez-le ou discutez des points à vérifier. Si vous venez d’apposer le bandeau, merci d’indiquer ici les points à vérifier.

Définition[modifier | modifier le code]

Un système de Garside est la donnée d'un couple $(M,\Delta )$ où

$M$ est un monoïde simplifiable, sans élément inversible autre que 1 et admettant des PPCM et des PGCD (pour la divisibilité) ;
$\Delta$ $\Delta$ est un élément de Garside :
- ${\rm {{Div}_{L}\ \Delta ={\rm {{Div}_{R}\ \Delta }}}}$ (et on écrit par la suite ${\rm {{Div}\ \Delta }}$ pour cet ensemble) ;
- ${\rm {{Div}\ \Delta }}$ engendre $M$ ;
- ${\rm {{Div}\ \Delta }}$ est fini.

où ${\rm {{Div}_{L}\ \Delta }}$ (resp. ${\rm {{Div}_{R}\ \Delta }}$ ) désigne l'ensemble des diviseurs à gauche (resp. à droite) de $\Delta$ .

Exemple[modifier | modifier le code]

Le monoïde des tresses à trois brins $B_{3}^{+}$ présenté par $\langle \sigma _{1},\sigma _{2};\sigma _{1}\sigma _{2}\sigma _{1}=\sigma _{2}\sigma _{1}\sigma _{2}\rangle ^{+}$ et l'élément $\sigma _{1}\sigma _{2}\sigma _{1}$ forment un système de Garside.

Portail des mathématiques