Javascript must be enabled to continue!
Coherent presentations of Artin monoids
View through CrossRef
We compute coherent presentations of Artin monoids, that is, presentations by generators, relations, and relations between the relations. For that, we use methods of higher-dimensional rewriting that extend Squier’s and Knuth–Bendix’s completions into a homotopical completion–reduction, applied to Artin’s and Garside’s presentations. The main result of the paper states that the so-called Tits–Zamolodchikov 3-cells extend Artin’s presentation into a coherent presentation. As a byproduct, we give a new constructive proof of a theorem of Deligne on the actions of an Artin monoid on a category.
Cambridge University Press (CUP)
Title: Coherent presentations of Artin monoids
Description:
We compute coherent presentations of Artin monoids, that is, presentations by generators, relations, and relations between the relations.
For that, we use methods of higher-dimensional rewriting that extend Squier’s and Knuth–Bendix’s completions into a homotopical completion–reduction, applied to Artin’s and Garside’s presentations.
The main result of the paper states that the so-called Tits–Zamolodchikov 3-cells extend Artin’s presentation into a coherent presentation.
As a byproduct, we give a new constructive proof of a theorem of Deligne on the actions of an Artin monoid on a category.
Related Results
Résultats sur les extensions singulières des groupes d'Artin et de tresses virtuelles
Résultats sur les extensions singulières des groupes d'Artin et de tresses virtuelles
Cette thèse se propose d’étudier deux objets liés aux monoïdes de tresses singulières, le morphisme de désingularisation et la famille des invariants de Vassiliev, transposés dans ...
Emil Artin: Ein musischer Mathematiker
Emil Artin: Ein musischer Mathematiker
Ein Porträt des brillanten Wissenschaftlers Emil Artin als vielseitig interessierten und künstlerisch begabten Menschen sowie als Emigranten, der nach Deutschland zurückkehrte. Em...
Coherent Monoids
Coherent Monoids
AbstractThis paper is concerned with a new notion of coherency for monoids. A monoid S is right coherent if the first order theory of right S-sets is coherent; this is equivalent t...
BCK-monoids
BCK-monoids
Abstract
We generalize the notions of a pseudo BCK-algebra and a residuated lattice by introducing, respectively, extended BCK-algebras and BCK-monoids, and prove a ...
BiHom Hopf algebras viewed as Hopf monoids
BiHom Hopf algebras viewed as Hopf monoids
We introduce monoidal categories whose monoidal products of any positive number of factors are lax coherent and whose nullary products are oplax coherent. We call them
...
Characterizations of normal cancellative monoids
Characterizations of normal cancellative monoids
<abstract><p>Normal cancellative monoids were introduced to explore the general structure of cancellative monoids, which are innovative and open up new possibilities. S...
Représentations linéaires des groupes d'Artin
Représentations linéaires des groupes d'Artin
Soit Г un graphe de Coxeter. Soient W le groupe de Coxeter, A le groupe d'Artin, et A+ le monoïde d'Artin, associés à Г. Soit G un groupe de symétries du graphe de Coxeter Г. Alors...
Artin's Primitive Root Conjecture – A Survey
Artin's Primitive Root Conjecture – A Survey
Abstract.One of the first concepts one meets in elementary number theory is that of the multiplicative order. We give a survey of the literature on this topic emphasizing the Artin...

