Levitzki theorem

Levitzki theorem
Name	Levitzki theorem
Field	Algebra
Introduced	1930s
Key people	Jacob Levitzki, Amitsur, Levitzky Prize
Related	Engel's theorem, Nilpotent group, Noetherian ring

Levitzki theorem The Levitzki theorem is a fundamental result in ring theory concerning nilpotent ideals and nilpotency conditions in associative rings and algebras. It connects structural properties of Emil Artin-type rings, Noetherian conditions, and nilpotency behavior studied by Jacob Levitzki and contemporaries such as Issai Schur, Nathan Jacobson, and Amitsur. The theorem played a role in the development of PI-theory, influenced work by Alexander Razmyslov, and interacts with concepts from Lie algebra theory including Engel's theorem and results of Kurt Mahler-era predecessors.

Statement of the theorem

The classical Levitzki theorem asserts that in a right Noetherian (or left Noetherian) associative ring, every right (or left) nil ideal is nilpotent. This can be placed alongside statements by Hopkins, Goldie, and Kaplansky that characterize chains of ideals and uniform dimension. Variants are often stated for associative algebras over fields such as C or R, and for finitely generated modules over Artinian rings. The theorem is often compared with the Engel theorem for Lie algebras and with the Jacobson radical characterization by Nathan Jacobson and Jacobson radical-related studies.

Historical background and mathematicians

Levitzki's result emerged in the context of early 20th-century structural algebra. Influential figures included Emil Artin, Richard Brauer, Walter Ledermann, Israel Gelfand, Jacob Levitzki, and Nathan Jacobson, whose work on radicals, modules, and rings framed the problem. The interplay with Pavel Aleksandrov-era algebraic methods and contemporaneous investigations by Amitsur, Kaplansky, Goldie, Hopkins, and Herstein helped situate the theorem within ring theory developments. Later contributions and generalizations were made by Kurosh, Malcev, Burnside-problem researchers including G. Higman, and by modern contributors such as Rowen, Berezin, Procesi, and Razmyslov.

Proofs and key ideas

Proofs of the Levitzki theorem combine chain conditions with combinatorial and structural arguments familiar from the work of Jacobson and Amitsur. Key ideas leverage ascending chain conditions from Noetherian hypotheses, manipulation of nil ideals inspired by Engel-type arguments, and module-theoretic decompositions akin to techniques used by Krull and Hopkins. Standard proofs utilize Engel-like sequences, the structure theory of Artinian rings, and faithful module considerations comparable to constructions in Wedderburn theory. Alternative approaches draw on polynomial identity methods developed by Kaplansky, Posner, and Rowen and on representational tactics related to Burnside-style theorems.

Generalizations and related results

Generalizations extend Levitzki's nilpotency conclusion to broader contexts: for instance, to PI-rings studied by Amitsur and Kaplansky; to graded rings considered by researchers such as Bergen and Montgomery; and to nonassociative settings inspired by Lie algebra results of Engel and Jacobson. Related theorems include Goldie's theorem on semiprime rings, the Hopkins–Levitzki theorem linking Artinian and Noetherian conditions with module finiteness, and the Wedderburn–Artin theorem describing semisimple structure. Connections to the Jacobson radical, Brown–McCoy radical, and results of Kurosh and Malcev on nilpotence in nonassociative algebras are also noteworthy.

Applications and examples

Applications occur in structural classification problems tackled by Emil Artin, Jacobson, and Kaplansky: for instance, deducing nilpotency of ideals in finite-dimensional algebras over fields such as C or finite fields like F_p. The theorem is applied in proofs about module decomposition in Artinian contexts, in PI-theory arguments of Amitsur and Rowen, and in constraints on radical behavior used by Posner and Razmyslov in invariant theory. Concrete examples include nil ideals in matrix rings studied by Wedderburn and nilpotent subalgebras in associative algebras arising in classification problems considered by Burnside and Herstein.

Variants and counterexamples

Variants explore weakening hypotheses: dropping Noetherian conditions leads to counterexamples built using infinite direct sums and constructions related to Kaplansky and Herstein; such counterexamples often cite pathological rings crafted by Cohn and methods inspired by Higman and Graham Higman. Counterexamples demonstrate that without chain conditions (e.g., in non-Noetherian rings or certain group ring constructions involving Higman-type groups), nil ideals need not be nilpotent. Other nuances arise in graded contexts studied by Bergen and in nonassociative frameworks examined by Samelson and Zassenhaus.

Category:Ring theory