Le séminaire LCR accueille Laurent Poinsot (LIPN, Université Paris 13).

La structure de monoïde est fondamentale en informatique théorique, et plus précisément en combinatoire algébrique, puisqu’elle est reliée aux concepts de langages, d’automates, de séries formelles et d’algèbres de Lie combinatoires par exemple.

Un monoïde est un ensemble non vide muni d’une loi de composition interne associative et d’un élément neutre bilatère. De façon informelle, un monoïde partiel est un monoïde dont la loi de composition n’est que partiellement défini. Un monoïde à zéro est un monoïde (total) pourvu d’un élément distingué, le zéro, qui est absorbant pour sa loi de composition interne.

Dans cet exposé, après avoir effectué des rappels concernant ces différentes structures ainsi que des notions de théorie des catégories, je montre que les catégories des monoïdes à zéro et des monoïdes partiels sont essentiellement identiques (le zéro marque l’erreur d’un produit non défini), et qu’elles diposent d’un objet libre, à savoir, le monoïde partiel libre, généralisant en cela le résultat classique concernant l’existence du monoïde (total) libre.