Jacobson radical

The Jacobson radical is the part of a ring that is 'invisible to all simple modules' — the elements that act as zero on every simplest possible representation. It is a measure of how far a ring is from being semisimple, packaging the ring's most degenerate behavior into a single ideal you can quotient away.

For a ring R, the Jacobson radical J(R) is defined as the intersection of all maximal left ideals of R. Remarkably this equals the intersection of all maximal right ideals, so J(R) is a two-sided ideal. Equivalent descriptions: it is the set of all elements annihilating every simple left R-module, and it is the set of x such that 1 − a·x·b is a unit for all a, b in R. In a commutative ring it is simply the intersection of all maximal ideals.

The radical's power comes from Nakayama's lemma: if M is a finitely generated module with J(R)·M = M, then M = 0. Quotienting by J(R) always yields a ring with zero radical (a 'Jacobson semisimple' or J-semisimple ring). The Jacobson radical contains the nilradical and every nil ideal, and for Artinian rings the two radicals coincide and J(R) is nilpotent — which is the gateway to the Artin–Wedderburn structure theory.