On Quantum Lie Nilpotency of Order 2

• Main Author: E. A. Kireeva
• Format: Article
• Language: Russian
• Published: MGTU im. N.È. Baumana 2017-01-01
• Series: Matematika i Matematičeskoe Modelirovanie
• Subjects: varieties of associative algebras; free algebras; quantum commutator
• Online Access: https://www.mathmelpub.ru/jour/article/view/44

The paper investigates the free algebras of varieties of associative algebras modulo identities of quantum Lie nilpotency of order 1 and 2. Let q be an invertible element of the ground field K (or of its extension). The element[x,y]q = xy-qyxof the free associative algebra is called a quantum commutator. We consider the algebras modulo identities                                                           [x,y]q = 0                                             (1)and                                                      [[x,y]q ,z]q = 0.                                       (2)It is natural to consider the aforementioned algebras as the quantum analogs of commutative algebras and algebras of Lie nilpotency of order 2. The free algebras of the varieties of associative algebras modulo the identity of Lie nilpotency of order 2, that is the identity[[x,y] ,z] =0,where [x,y]=xy-yx is a Lie commutator, are of great interest in the theory of algebras with polynomial identities, since it was proved by A.V.Grishin for algebras over fields of characteristic 2, and V.V.Shchigolev for algebras over fields of characteristic p>2, that these algebras contain non-finitely generated T-spaces.We prove in the paper that the algebras modulo identities (1) and (2) are nilpotent in the usual sense and calculate precisely the nilpotency order of these algebras. More precisely, we prove that the free algebra of the variety of associative algebras modulo identity (1) is nilpotent of order 2 if q ≠ ± 1, and nilpotent of order 3 if q = - 1 and the characteristic of K is not equal to 2. It is also proved that the free algebra of the variety of associative algebras modulo identity (2) is nilpotent of order 3 if q3 ≠ 1, q ≠ ± 1, nilpotent of order 4 if q3 = 1, q ≠ 1, and nilpotent of order 5 if q = - 1 and the characteristic of K is not equal to 2. The corollary of the last fact is that this algebra doesn’t contain non-finitely generated T-spaces.