New elements in the center of free alternative algebra

preprint2022arXivOpen access

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 un≠0u_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.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.