Specht property of varieties of graded Lie algebras (Q6109720)

\textit{A. R. Kemer}'s [Math. USSR, Izv. 25, 359--374 (1985; Zbl 0586.16010); translation from Izv. Akad. Nauk SSSR, Ser. Mat. 48, No. 5, 1042--1059 (1984)] proof of the Specht conjecture for associative algebras in characteristic zero helped fuel the continuing interest in the question of which algebraic structures admit a finite basis for their identities. The well-written paper under review includes a nice description of this subject in the introduction. As for the body of the paper, it focuses on the \(\mathbb Z_n\)-graded identities of \(UT_n(F)^{(-)}\), the Lie algebra of \(n\times n\) upper triangular matrices. There are two main results: If the characteristic is 0 or is greater than or equal to \(n\), then any \(\mathbb Z_n\)-graded Lie algebra satisfying all of the graded Lie identities of \(UT_n(F)^{(-)}\) has a finite basis of identities. On the other hand, if \(F\) is an infinite field of characteristic~2, then there is a graded Lie algebra satisfying all of the graded Lie identities of \(UT_3(F)^{(-)}\) whose ideal of identities is not finitely based.