English

New elements in the center of free alternative algebra

Rings and Algebras 2022-01-25 v1

Abstract

A new series of central elements is found in the free alternative algebra. More exactly, let Alt[X]Alt[X] and SMalc[X]Alt[X]SMalc[X]\subset Alt[X] be the free alternative algebra and the free special Malcev algebra over a field of characteristic 0 on a set of free generators XX, and let f(x,y,x1,,xn)SMalc[X]f(x,y,x_1,\ldots,x_n)\in SMalc[X] be a multilinear element which is trivial in the free associative algebra. Then the element un=un(x,x1,,xn)=f(x2,x,x1,,xn)f(x,x2,x1,,xn)u_n=u_n(x,x_1,\ldots,x_n)=f(x^2,x,x_1,\ldots,x_n)-f(x,x^2,x_1,\ldots,x_n) lies in the center of the algebra Alt[X]Alt[X]. The elements un(x,x1,,xn)u_n(x,x_1,\ldots,x_n) are uniquely defined up to a scalar for a given nn, and they are skew-symmetric on the variables x1,,xnx_1,\ldots,x_n. Moreover, un=0u_n=0 for n=4m+2,4m+3n=4m+2,\,4m+3. and un0u_n\neq 0 for n=4m,4m+1n=4m,4m+1. The ideals generated by the elements u4m,u4m+1u_{4m},\,u_{4m+1} lie in the associative center of the algebra Alt[X]Alt[X] and have trivial multiplication.

Keywords

Cite

@article{arxiv.2201.08915,
  title  = {New elements in the center of free alternative algebra},
  author = {Ivan Shestakov and Sergey Sverchkov},
  journal= {arXiv preprint arXiv:2201.08915},
  year   = {2022}
}