Algebraic Lie algebras of bounded degree (Q2246866)

Let \(F\) be an associative and commutative ring with 1, and let \(R\) be an associative algebra over \(F\). Considered with the usual Lie bracket, \(R\) becomes a Lie algebra denoted by \(R^{(-)}\); analogously if \(1/2\in F\), by means of the Jordan product \(a\cdot b=(1/2)(ab+ba)\) it becomes a Jordan algebra denoted by \(R^{(+)}\). Suppose \(R\) is a finitely generated \(F\)-module, then \(R\) is finite, respectively Shirshov-finite, over the ideal \(I\) of \(F\) if \(R/IR\) is solvable, respectively nilpotent, in the case when \(R\) is a Lie algebra. Similarly \(r\in R\) is integral, respectively Shirshov-integral over \(I\) whenever the subalgebra \(\langle r\rangle\) generated by \(r\) is finite, respectively Shirshov-finite over \(I\). Observe that if \(I=0\) then such elements are nil. One defines algebraic elements over an ideal \(I\) of \(F\) for a Lie algebra \(L\) as follows: \(x\in L\) is algebraic if for each \(y\in L\) there is a monic polynomial \(f(t)\in F[t]\), depending on \(x\) and on \(y\), and such that \(f(ad\,x)(y)=0\), and the coefficients of \(f\) apart from the leading one belong to \(I\). The main results of the paper are as follows. The author studies radicals in algebraic Lie algebras of bounded degree (that is the polynomials \(f\) above are of bounded degrees). Let \(\mathfrak{M}\) be a class of Lie algebras over \(F\) that is closed under taking subalgebras and homomorphic images, and such that the Kostrikin radical is hereditary to ideals. The author proves that if \(L\in \mathfrak{M}\) is strongly prime, OI, and has nonzero Jordan elements then its weakly solvable radical is 0. In Theorem 2.9 of the paper the author assumes \(F\) a field of characteristic 0, and takes \(L\) a Lie algebra such that for some field extension \(F'\) of \(F\), the nonzero strongly prime homomorphic images of the extension \(L'\) of \(L\) contain nonzero strongly algebraic over \(F'\) elements and are PI. Then he proves that several radicals coincide for such algebras, namely the Kostrikin radical, and the weakly solvable one among them. Several corollaries to that theorem are deduced as well. Later on the author studies nondegenerate Lie algebras over fields whose adjoint representations are algebraic, and studies the relations among the notions of the algebra being special, locally finite dimensional, and PI. He proves in Theorem 3.6 that if \(L\ne 0\) is prime then \(L\) is special and with an algebraic adjoint representation if and only if The Martindale centroid \(CM(L)\) is algebraic over \(F\), and its central closure \(P(L)\) is finite dimensional over \(CM(L)\). In Theorem 3.11 he establishes that if \(n\ge 1\) then there exists \(q=q(n)\ge n\) such that every Lie algebra \(L\) whose adjoint representation is algebraic of degree \(\le n\), and \(F\) is an arbitrary field of characteristic \(p>q\) then \(L\) is locally finite dimensional. Several other conditions are established in the same theorem as well. It should be noted that these results go in the direction of the theorems and methods developed by \textit{E. I. Zel'manov} [Mat. Sb., Nov. Ser. 112(154), 611--629 (1980; Zbl 0442.17003); Math. USSR, Sb. 49, 537--552 (1984; Zbl 0544.17003); translation from Mat. Sb., Nov. Ser. 121(163), No. 4, 545--561 (1983); \textit{A. I. Kostrikin} and \textit{E. I. Zel'manov}, Proc. Steklov Inst. Math. 183, 121--126 (1990; Zbl 0747.17013)]. There are several statements in the paper concerning the interplay between Lie and Jordan algebras.