A Lie algebra over a finite field of characteristic 2: Graded polynomial identities and Specht property.

Let K be a finite field of characteristic 2, and U T 2 : = U T 2 (K) be the Lie algebra of 2 × 2 upper triangular matrices over K with the multiplication x ∘ y = x y + y x = x y − y x. In this paper, we exhibit a finite basis of graded identities for the variety of Lie algebras generated by U T 2 for any grading and show that it has the Specht property. It is important to highlight that the technique used in order to solve the Specht problem is independent of the characteristic of the field and also of its cardinality. [ABSTRACT FROM AUTHOR]