Jacobson radical

Jacobson radical
Konrad Jacobs, Erlangen · CC BY-SA 2.0 de · source
Name	Jacobson radical
Othernames	Jacobson semisimple radical
Field	Algebra
Introduced	1945
Namedafter	Nathan Jacobson

Jacobson radical The Jacobson radical is a concept in ring theory named for Nathan Jacobson and studied in the contexts of Emmy Noether-inspired algebraic structures, Claude Chevalley-style structural results, and module-theoretic frameworks such as those developed by Emil Artin, Israel Gelfand, and Andrey Kolmogorov. It appears in classical works connected to the Hilbert's Nullstellensatz, Wedderburn–Artin theorem, and investigations by Jacob Lurie and Jean-Pierre Serre into noncommutative analogues, informing connections to Alfred Tarski-style model theory and Oscar Zariski-inspired algebraic geometry. The radical plays roles in the study of Peter Gabriel's representation theory, Paul Erdős-adjacent combinatorial algebra, and in operator-algebra contexts linked to John von Neumann and Israel Gelfand.

Definition and basic properties

For an associative ring R with unity, the Jacobson radical is defined as the intersection of all maximal right ideals, the intersection of all maximal left ideals, and the largest right quasi-regular ideal; these formulations trace to work by Nathan Jacobson, Emil Artin, Issai Schur, Richard Brauer, and Jacob Bronowski. It is a two-sided ideal stable under ring homomorphisms studied by Claude Chevalley and features in the decomposition theorems due to Joseph Wedderburn and Emil Artin. Over Noetherian rings and Artinian rings, the radical is nilpotent as in results associated with the Wedderburn–Artin theorem, while in general it controls semisimplicity related to Maschke's theorem and the Jacobson density theorem of Nathan Jacobson and Israel Gelfand. The radical is functorial for surjective maps examined by Alexander Grothendieck in his work on rings and modules.

Characterizations and equivalent formulations

Equivalent characterizations include: intersection of annihilators of simple right modules as in the approach of Emmy Noether and Emil Artin; set of elements acting nilpotently on all simple modules in the spirit of Claude Chevalley; and the set of elements x for which 1−xy is invertible for every y in R, a viewpoint used by Nathan Jacobson and related to invertibility criteria studied by John von Neumann and Andrey Kolmogorov. In Banach algebra and C*-algebra contexts advanced by Israel Gelfand and John von Neumann, analogous radicals interact with spectrum considerations of Werner Heisenberg-inspired operators and with ideals studied by Gelfand–Naimark theory. The radical also coincides with the intersection of all primitive ideals emphasized in the representation-theoretic programs of Paul Erdős collaborators and in noncommutative geometry work linked to Alain Connes.

Examples and computations

Classical computations include: for a field k, the Jacobson radical of the matrix ring M_n(k) is zero via the Wedderburn–Artin theorem and results of Emil Artin; for a local ring such as a discrete valuation ring studied by Ernst Steinitz and Alexander Grothendieck, it equals the unique maximal ideal; for group algebras kG with G finite and char(k) dividing |G|, the radical relates to augmentation ideals in work by I. Schur and Richard Brauer; in polynomial rings k[x] over fields k, the radical is trivial following Hilbert's Nullstellensatz perspectives of David Hilbert and Oscar Zariski. Examples from operator algebra theory include Jacobson-type ideals in algebras considered by John von Neumann and Alain Connes, while path algebras of quivers investigated by Pierre Gabriel exhibit radicals computable through relations found in Gabriel's theorem.

Behavior under ring constructions

Under quotients and homomorphic images considered by Alexander Grothendieck and Emil Artin, the radical behaves functorially: the image of the radical is contained in the radical of the image, a principle used in category theory expositions by Saunders Mac Lane and Samuel Eilenberg. Direct products and direct limits analyzed by Israel Gelfand and Jean-Pierre Serre show that radicals commute with finite products but require care with infinite products as in phenomena studied by John von Neumann and Alexander Grothendieck. For module extensions and Morita equivalences described by Kiiti Morita, the radical is invariant under equivalences of module categories, a key observation in Morita theory and the work of Bernard Keller on derived categories. In completion processes such as those in Algebraic number theory by Ernst Zermelo-era algebraists and Alexander Grothendieck, radical behavior interacts with topological closures and Jacobson semisimplicity issues encountered by Jean-Pierre Serre.

Applications and significance in ring theory

The radical is central to the classification of rings via semisimple quotients in the Wedderburn–Artin theorem framework of Emil Artin and Joseph Wedderburn, and it underpins structure theory in the representation theory programs of Pierre Gabriel and André Weil. It informs the description of primitive ideals in enveloping algebras of Lie algebras studied by Élie Cartan and Harish-Chandra, and appears in the study of group representations initiated by Issai Schur and Richard Brauer. In noncommutative algebraic geometry influenced by Alain Connes and Maxim Kontsevich, Jacobson-radical ideas help distinguish noncommutative analogues of affine schemes, while in computational algebra systems inspired by David Harel-era computer algebra research, algorithms for radical computations draw on linear algebra methods formalized by John von Neumann.

Generalizations and related radicals

Generalizations include the Baer radical and lower radicals studied by Reinhold Baer and Kurosh-school algebraists, the Levitzki radical associated with Jacob Levitzki and explored alongside Levitzki's theorem, and the upper nilradical connected to research by Emmy Noether and Richard Brauer. In the setting of Lie algebras and associative algebras, analogues such as the solvable radical and Nilradical appear in studies by Élie Cartan, Nathan Jacobson, and Harish-Chandra, while in categorical and homological contexts, derived and homotopical radicals are considered by Bernard Keller and Jacob Lurie. These related notions play roles in modern treatments by Alexander Grothendieck, Jean-Pierre Serre, and Alain Connes.

Category:Ring theory