Congruences Compatible with the Shuffle Product

Gérard Henry Edmond Duchamp (1) , Jean-Gabriel Luque (2)

1 LIPN - Laboratoire d'Informatique de Paris-Nord
2 LIGM - Laboratoire d'Informatique Gaspard-Monge

This article is devoted to the study of monoids which can be endowed with a shuffle product with coefficients in a semiring. We show that, when the multiplicities do not belong to a ring with prime characteristic, such a monoid is a monoid of traces. When the characteristic is prime, we give a decomposition of the congruences $\equiv$ (or relators $R$) such that $A^*/_\equiv=\langle A; R\rangle$ admits a shuffle product. This decomposition involves only addition of primitive elements to the successive quotients. To end with, we study the compatibility with Magnus transformation and examine the case of congruences which are homogeneous for some weight function. The existence of such a weight function is also showed for congruences of depth one.

Domaines: Combinatoire [math.CO]; Mathématiques générales [math.GM]

Gérard Henry Edmond Duchamp, Jean-Gabriel Luque. Congruences Compatible with the Shuffle Product. 2000, pp.422-431. ⟨hal-00086292⟩