nom :
Diassociative
abreviation :
Dias
categorie :
set
type :
non-symétrique
liste_dimension :
1, 2, 3, 4, 5, 6, 7, 8, 9
serie :
x/(1-x)**2
equation :
(1-x)**2*P-x
formule_dimension :
n
oeis :
generateurs :
{'⊣': ['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)
dual_koszul :
proprietes :
Koszul, binaire, quadratique, anticyclique
morphismes :
Permutative : {'⊣': 'x*y', '⊢': 'y*x'}, Associative : {'⊣': 'x*y', '⊢': 'x*y'}, Triassociative : {}
references :
J.-L. Loday, 2001 : Lien