Théorèmes sur la liberté de certaines opérades par les bases de Gröbner
Freeness theorems for operads via Gröbner bases
Séminaires et Congrès | 2013
Anglais
Nous montrons comment utiliser les bases de Gröbner des opérades pour démontrer que certaines d'entre elles sont libres : libre en tant qu'opérade non-symétrique, opérade $\mathscr {Q}$ libre comme $\mathscr {P}$-module pour une inclusion $\mathscr {P}\hookrightarrow \mathscr {Q}$ et opérade libre comme sous-opérade. Ceci fournit de nouvelles démonstrations pour des résultats déjà connus et permet d'en démontrer de nouveaux.
Bases de Gröbner, théorèmes libres.