2021/07/22 by Fidelis, Claudemir, Koshlukov, Plamen
#16R10 (Primary) 17B01 #17B65 #17B70 (Secondary) #FOS: Mathematics #Rings and Algebras (math.RA)
paper · doi:10.48550/arxiv.2107.10903
Let K be an infinite field of characteristic different from two and let U1 be the Lie algebra of the derivations of the algebra of Laurent polynomials K[t,t-1]. The algebra U1 admits a natural ℤ-grading. We provide a basis for the graded identities of U1 and prove that they do not admit any finite basis. Moreover, we provide a basis for the identities of certain graded Lie algebras with a grading such that every homogeneous component has dimension ≤ 1, if a basis of the multilinear graded identities is known. As a consequence of this latter result we are able to provide a basis of the graded identities of the Lie algebra W1 of the derivations of the polynomial ring K[t]. The ℤ-graded identities for W1, in characteristic 0, were described in \citeFKK. As a consequence of our results, we give an alternative proof of the main result, Theorem 1, in \citeFKK, and generalize it to positive characteristic. We also describe a basis of the graded identities for the special linear Lie algebra slq(K) with the Pauli gradings where q is a prime number.