nom :
As<2>
abreviation :
As<2>
categorie :
Zvec
type :
non-symétrique
liste_dimension :
1, 2, 5, 14, 42, 132, 429, 1430, 4862
serie :
(x/(1+x)**2).reverse()
equation :
P-x*(1+P)**2
formule_dimension :
binomial(2*n,n)/(n+1)
oeis :
generateurs :
{'*': ['2', '0'], '.': ['2', '1']}
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)
proprietes :
Koszul, binaire, quadratique
morphismes :
As(2) : {'*': 'xay', '.': 'xby'}
notes :
produits associatifs compatibles