Left Artinian algebraic algebras (Q2773016)

Let \(R\) be a left Artinian algebra over a field \(F\), \(U(R)\) the multiplicative group of \(R\), \(J(R)\) the Jacobson radical of \(R\), \([R,R]\) the subgroup of the additive group of \(R\) generated by the additive commutators of \(R\), and \(T(R)\) the sum of \(J(R)\) and \([R,R]\) as vector subspaces of \(R\) over \(F\). The paper under review shows that if \(R\) is algebraic over \(F\) and \(\text{char}(F)=0\), then the dimension \(d\) of the quotient \(F\)-vector space \(R/T(R)\) is at most equal to the number \(r\) of left simple components of the (semisimple) quotient ring \(R/J(R)\); also, it proves that \(d=r\), provided that \(R\) is locally finite dimensional over \(F\). The author obtains that the algebraicity of \(R\) is ensured in each of the following special cases: (i) if every element of the commutator subgroup of \(U(R)\) is algebraic over \(F\); (ii) if the elements of \([R,R]\) are algebraic over \(F\), and \(\text{char}(F)=0\) or \(F\) is a noncountable field. In addition, he proves that if \(R\) is finite dimensional over \(F\) and \(\text{char}(F)=p>0\), then an element \(a\in R\) lies in \(T(R)\) if and only if the \(p^m\)-th power of \(a\) lies in \([R,R]\), for some positive integer \(m\). Finally, he gives a short proof of Amitsur's theorem stating that if \(R\) is an algebraic division \(F\)-algebra and \(F\) is noncountable, then the matrix \(F\)-algebra \(M_n(D)\) is algebraic, for every positive integer \(n\).