2-Graded polynomial identities for the Jordan algebra of the symmetric matrices of order two

Abstract

The Jordan algebra of the symmetric matrices of order two over a field K has two natural gradings by Z 2 , the cyclic group of order 2. We describe the graded polynomial identities for these two gradings when the base field is infinite and of characteristic different from 2. We exhibit bases for these identities in each of the two cases. In one of the cases we perform a series of computations in order to reduce the problem to dealing with associators while in the other case one employs methods and results from Invariant theory. Moreover we extend the latter grading to a Z 2 -grading on B n , the Jordan algebra of a symmetric bilinear form in a vector space of dimension n (n = 1, 2, . . . , ∞).We call this grading the scalar one since its even part consists only of the scalars. As a by-product we obtain finite bases of the Z 2 -graded identities for B n . In fact the last result describes the weak Jordan polynomial identities for the pair (B n , V n ).

Specht property of varieties of graded Lie algebras

“…In [4] it was shown that the variety generated by U J 2 has the Specht property when it is graded by any finite abelian group. In [19] the graded identities for any Z 2 -grading on the Jordan algebra of symmetric matrices of order two were obtained, and in [29] the Specht property for the finite dimensional Jordan algebra of a non-degenerate symmetric bilinear form, graded by Z 2 , in characteristic 0, was established. Here we recall that the more difficult situation where there is no grading at all, for this algebra, was settled by Iltyakov [11] in the finite dimensional case.…”