Álgebras associativas Lie nilpotentes de classe 4

Sejam K um anel associativo, comutativo e unitário e (K) X a K-álgebra associativa livre num conjunto não-vazio X de geradores livres. Defina um comutador normado à esquerda [x1;x2; : : : ;xn] por [a;b] = ab−ba e [a;b;c] = [ [a;b];c ] . Para n ≥ 2, seja T(n) o ideal bilateral em K(X) gerado pelos comutadores [a1;a2; : : : ;an] (ai ∈ K(X)). A álgebra quociente K(X)=T(n+1) pode ser vista como a K-álgebra universal associativa Lie nilpotente de classe n gerada por X. É fácil ver que o ideal T(2) é gerado, como um ideal bilateral em K(X), pelos comutadores [x1;x2] (xi ∈ X). É bem conhecido que o ideal T(3) é gerado pelos polinômios [x1;x2;x3] e [x1;x2][x3;x4]+[x1;x3][x2;x4] (xi ∈ X). Um conjunto similar de geradores para T(4) é também conhecido. O resultado principal do presente trabalho é exibir um conjunto semelhante de geradores para T(5). Nós provaremos que o ideal T(5) é gerado, como um ideal bilateral em K(X), pelos seguintes polinômios: [x1;x2;x3;x4;x5]; [x1;x2;x3][x4;x5;x6]; [x1;x2;x3][x4;x5;x6;x7]; [x1;x2][x3;x4;x5;x6]+[x6;x2][x3;x4;x5;x1]; ( [x1;x2][x3;x4]+[x1;x3][x2;x4] ) [x5;x6;x7]; [ [x1;x2][x3;x4]+[x1;x3][x2;x4];x5;x6 ] ; [ [x1;x2][x3;x4]+[x1;x3][x2;x4];x5 ] [x6;x7]+ [ [x1;x2][x3;x4]+[x1;x3][x2;x4];x6 ] [x5;x7]; ( [x1;x2][x3;x4]+[x1;x3][x2;x4] )( [x5;x6][x7;x8]+[x5;x7][x6;x8] ) ; com xi ∈ X para todo i. Nós também descreveremos algumas componentes multilineares de Z(X)=L3 e Z(X)=L4, sendo Ln o n-ésimo termo da série central inferior de Z(X) visto como um anel de Lie . ______________________________________________________________________________ ABSTRACTLet K be a unital associative and commutative ring and let K(X) be the free associative K-algebra on a non-empty set X of free generators. Define a left-normed commutator [x1;x2; : : : ;xn] by [a;b] = ab−ba and [a;b;c] = [ [a;b];c ] . For n ≥ 2, let T(n) be the two-sided ideal in K(X) generated by all commutators [a1;a2; : : : ;an] (ai ∈ K(X)). The quotient algebra K(X)=T(n+1) can be viewed as the universal Lie nilpotent associative K-algebra of class n generated by X. It can be easily seen that the ideal T(2) is generated, as a two-sided ideal in K(X), by the commutators [x1;x2] (xi ∈ X). It is well-known that T(3) is generated by the polynomials [x1;x2;x3] and [x1;x2][x3;x4]+[x1;x3][x2;x4] (xi ∈ X). A similar generating set for T(4) is also known. The aim of the present work is to exhibit a similar generating set for T(5). We prove that the ideal T(5) is generated, as a two-sided ideal in K(X), by the following polynomials: [x1;x2;x3;x4;x5]; [x1;x2;x3][x4;x5;x6]; [x1;x2;x3][x4;x5;x6;x7]; [x1;x2][x3;x4;x5;x6]+[x6;x2][x3;x4;x5;x1]; ( [x1;x2][x3;x4]+[x1;x3][x2;x4] ) [x5;x6;x7]; [ [x1;x2][x3;x4]+[x1;x3][x2;x4];x5;x6 ] ; [ [x1;x2][x3;x4]+[x1;x3][x2;x4];x5 ] [x6;x7]+ [ [x1;x2][x3;x4]+[x1;x3][x2;x4];x6 ] [x5;x7]; ( [x1;x2][x3;x4]+[x1;x3][x2;x4] )( [x5;x6][x7;x8]+[x5;x7][x6;x8] ) ; where xi ∈ X for all i. We also describe some multilinear components of Z(X)=L3 and Z(X)=L4 where Ln is the n-th term of the lower central series of Z(X) viewed as a Lie ring