Algèbre de mélange

En mathématiques, et notamment en combinatoire algébrique, une algèbre de mélange est une algèbre de Hopf dont la base est formée de mots sur un certain alphabet avec, comme produit, le produit de mélange $x$ ш $y$ de deux mots $x$ et $y$ : ce produit consiste en l'entrelacement, de toutes les manières possibles, les séquences de lettres composant les motsModèle:,.

L'algèbre de mélange sur un ensemble fini est l'algèbre graduée duale de l'algèbre enveloppante universelle de l'algèbre de Lie libre sur cet ensemble.

L'algèbre de mélange sur les nombres rationnels est isomorphe à l'algèbre polynomiale des mots de Lyndon.

Produit de mélange

Le produit de mélange $x$ ш $y$ de deux mots $x$ de longueur N et $y$ de longueur M est la somme des $\frac{(N+M)!}{N!M!}$ mots $x_1{y}_1{x}_2{y}_2\cdots x_n{y}_n$, où les $x_i$ et les $y_i$ sont des mots, tels que $x=x_1{x}_2\dots x_n$ et $y=y_1{y}_2\dots y_n$. Par exemple,

$aab$ ш $ab=6aaabb+3aabab+abaab$.

On peut aussi le définir par récurrence par :

$ua$ ш $vb$=$(u$ ш $vb)a+(ua$ ш $v)b$.

Le produit de mélange est associatif et commutatif.

Produit d'infiltration

Le produit d'infiltration est une opération semblable, introduite par Modèle:Harvsp. Il est défini par récurrence sur la longueur des mots, pour deux mots $f$ et $g$ et deux lettres $a\ne b$ (le mot vide est noté $\epsilon$) comme suit :

$f\uparrow \epsilon =\epsilon \uparrow f=f$ ;

$fa\uparrow ga=(f\uparrow ga)a+(fa\uparrow g)a+(f\uparrow g)a$ ;

$fa\uparrow gb=(f\uparrow gb)a+(fa\uparrow g)b$.

Par exemple,

$a\uparrow a=(\epsilon \uparrow a)a+(a\uparrow \epsilon )a+(\epsilon \uparrow \epsilon )a=2aa+a$.

$a\uparrow b=(\epsilon \uparrow b)a+(a\uparrow \epsilon )b=ba+ab$.

De même,

$ab\uparrow ab=ab+2aab+2abb+4aabb+2abab$ ;

$ab\uparrow ba=aba+bab+abab+2abba+2baab+baba$ .

Le produit d'infiltration est également associatif et commutatif.

Notes et références

Références

• Modèle:Article
• Modèle:Article
• Modèle:Ouvrage
• Modèle:Ouvrage

Liens externes

• Modèle:EncycloMath
• Le symbole ш en LateX