title: Algèbre dendriforme
text: # Algèbre dendriforme
  
  En mathématiques, une algèbre dendriforme est un module A sur un anneau commutatif R muni de deux opérations bilinéaires $\prec$ et $\succ$, appelées respectivement opération gauche et opération droite, satisfaisant les relations suivantes
  
      $(a\prec b)\prec c=a\prec (b\prec c)+a\prec (b\succ c)\,$
      $(a\succ b)\prec c=a\succ (b\prec c)\,$
      $(a\prec b)\succ c+(a\succ b)\succ c=a\succ (b\succ c)\,$
  
  On remarque que le produit
  
      $a*b:=a\prec b+a\succ b\,$
  
  est associatif. Donc A est une algèbre associative (sans unité) dont le produit a été dichotomisé. L'algèbre dendriforme libre sur un module V, notée Dend(V), peut être décrite en termes d'arbres binaires planaires enracinés, d'où le qualificatif dendriforme, de la racine grecque dend-.
  
  Ce type d'algèbres, découvert par Jean-Louis Loday en 1995, est en relation avec de nombreux autres types comme les algèbres associatives (voir ci-dessus), les algèbres pré-Lie (en), les algèbres de Leibniz, les algèbres de Zinbiel. Par exemple, l'opération $\{a,b\}:=a\prec b-b\succ a$ est une opération pré-Lie (son associateur est symétrique en les deux dernières variables). Si les opérations gauche et droite satisfont à la relation de symétrie $a\prec b=b\succ a$, alors on a une algèbre de Zinbiel.
  
  