z-logo
open-access-imgOpen Access
On Quantum Lie Nilpotency of Order 2
Author(s) -
E. A. Kireeva
Publication year - 2016
Publication title -
matematika i matematičeskoe modelirovanie
Language(s) - English
Resource type - Journals
ISSN - 2412-5911
DOI - 10.7463/mathm.0316.0846913
Subject(s) - order (exchange) , pure mathematics , quantum , mathematics , linguistics , physics , philosophy , business , quantum mechanics , finance

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-qyx

of 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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.
Having issues? You can contact us here