nom :
Lie
abreviation :
Lie
categorie :
vec
type :
symétrique
liste_dimension :
1, 1, 2, 6, 24, 120, 720, 5040, 40320, 362880
formule_dimension :
factorial(n - 1)
serie :
-log(1 - x)
equation :
(1-x)*diff(P,x)-1
oeis :
formule_caractere :
sum(moebius(n//d)*p[d]**(n//d) for d in divisors(n))
generateurs :
{'c': ['s[1, 1]']}
relations :
(xcy)cz+(ycz)cx+(zcx)cy
dual_koszul :
proprietes :
Koszul, binaire, quadratique, cyclique
morphismes :
Associative : {'c': 'x*y - y*x'}, Pre-Lie : {'c': 'x<y - y<x'}, Poisson : {'c': 'xcy'}, Lambda : {}
references :
Folklore :
notes :
Sophus Lie