An n-ary algebra is a vector space provided with a multiplication given by an n-linear map. A 3-ary algebra is said to be partially associative if the product x ⋅ y ⋅ z satisfies ( ( x 1 ⋅ x 2 ⋅ x 3 ) ⋅ x 4 ⋅ x 5 ) + ( x 1 ⋅ ( x 2 ⋅ x 3 ⋅ x 4 ) ⋅ x 5 ) + ( x 1 ⋅ x 2 ⋅ ( x 3 ⋅ x 4 ⋅ x 5 ) ) = 0 . We compute the dimensions of the homogeneous components of degree ⩽7 in the free 3-ary partially associative algebra over a field of characteristic zero and give a system of generators for all the homogeneous components. We show that this system is a basis if and only if none of these generators is zero. As a consequence, we show that the corresponding operad doesnʼt verify the Koszul property. We also prove that any 3-ary partially associative algebra is solvable of derived length at most 2 and any 3-ary partially associative commutative algebra is nilpotent of index at most 4. For arbitrary integer n we describe the operadic cohomology of the n-ary partially associative algebras.
Read full abstract