Coherence of monoids by insertions and Chinese syzygies - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2019

Coherence of monoids by insertions and Chinese syzygies

Nohra Hage
  • Fonction : Auteur
  • PersonId : 974165
Philippe Malbos

Résumé

A data structure describes a way to organize and store a collection of data. It defines primitive efficient functions and operations that can be applied to the data such as constructors, modifications and access maps on the data. In this work, we consider data structures on strings as combinatorial descriptions of structured words having a theory of normal forms defined by insertion algorithms. We show that an insertion map of a string data structure induces a product on data and we give necessary conditions making this product associative. Our construction allows us to give a rewriting description of the cross-section property for the structure monoid of a string data structure. We show how to compute a coherent presentation of the structure monoid made of rewriting rules defined by insertion on words and whose syzygies are defined as relations among the insertion algorithms. As an illustration, we show how our constructions can be applied to Chinese monoids by making explicit the shape of syzygies of the Chinese congruence.
Fichier principal
Vignette du fichier
coheInsert.pdf (503.26 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02015084 , version 1 (12-02-2019)
hal-02015084 , version 2 (21-11-2021)

Identifiants

  • HAL Id : hal-02015084 , version 1

Citer

Nohra Hage, Philippe Malbos. Coherence of monoids by insertions and Chinese syzygies. 2019. ⟨hal-02015084v1⟩
127 Consultations
136 Téléchargements

Partager

Gmail Facebook X LinkedIn More