Page for the operad Triassociative

• nom :

  Triassociative

• abreviation :

  Trias

• categorie :

  set

• type :

  non-symétrique

• liste_dimension :

  1, 3, 7, 15, 31, 63, 127, 255, 511

• serie :

  x/(1-x)/(1-2*x)

• equation :

  (1-x)*(1-2*x)*P-x

• formule_dimension :

  2**n-1

• oeis :

  A000225

• generateurs :

  {'<': ['2'], '*': ['2'], '>': ['2']}

• relations :

  (x<y)<z = x<(y<z)
  (x<y)<z = x<(y>z)
  (x>y)<z = x>(y<z)
  (x<y)>z = x>(y>z)
  (x>y)>z = x>(y>z)
  (x<y)<z = x<(y*z)
  (x*y)<z = x*(y<z)
  (x<y)*z = x*(y>z)
  (x>y)*z = x>(y*z)
  (x*y)>z = x>(y*z)
  (x*y)*z = x*(y*z)

• dual_koszul :

  Tridendriforme

• proprietes :

  binaire, quadratique, Koszul

• morphismes :

  Associative : {}, Pascal : {}

• references :

  J.-L. Loday and M. Ronco, 2004 : Lien

  F. Chapoton :

• notes :

  relations en termes de signaletique