Conditions for nilpotency of Lie rings. II (Q1211106)

The author presents a correction to his paper [ibid. 79, 289--296 (1962; Zbl. 286.17008)], as well as some new results. If we define \[ D_p(L)=\{x\mid x\in L,\;p^\mu x= 0 \quad\text{for some } \mu\}, \] then Lemma 4.5 [loc. cit.] can now be proved by a modification of the original methods. The author establishes the following two results. Theorem 1: Let \(L\) be a finite dimensional Lie algebra over the Noetherian ring \(R\). If every maximal subalgebra of \(L\) is an ideal, then \(L\) is \(\omega\)-nilpotent. Theorem 2: Let \(A\) be a torsion-free associative algebra over the integral domain \(R\). If \(A\) is generated as an \(R\)-module by a finite set of nilpotent elements, then \(A\) is nilpotent. As the author points out, Theorem 2 generalizes the well-known theorem of Wedderburn, which states that if a finite-dimensional associative algebra \(A\) over a field has a basis of nilpotent elements, then \(A\) is nilpotent. The author derives some consequences from Theorem 2, one of the most interesting being the following. Theorem: If \(A\) is an associative algebra over the Noetherian ring \(R\) and if \(A\) can be generated as an \(A\)-module by a finite set of nilpotent elements, then \(A\) is \(\omega\)-nilpotent (i.e., \bigcap_{i=1}^\infty A^i=(0))\(.\)