nom :
Post-Lie
abreviation :
PostLie
categorie :
vec
type :
symétrique
liste_dimension :
1, 3, 20, 210, 3024
serie :
-log((1+sqrt(1-4*x))/2)
oeis :
generateurs :
{'c': ['s[1,1]'], '>': ['s[1]**2']}
relations :
(xcy)cz+(ycz)cx+(zcx)cy)
x>(ycz) = (x>y)cz + yc(x>z)
(xcy)>z = x>(y>z)-(x>y)>z - y>(x>z) + (y>x)>z
dual_koszul :
proprietes :
Koszul, binaire, quadratique
morphismes :
Pre-Lie : {'c': '0', '>': 'y<x'}
references :
B. Vallette, 2007 : Lien
H. Munthe-Kaas et W. Wright, 2008 : Lien