In mathematics, more specifically ring theory, a branch of abstract algebra, the Jacobson radical of a ring R is the ideal consisting of those elements in R that annihilate all simple right R-modules. It happens that substituting "left" in place of "right" in the definition yields the same ideal, and so the notion is left-right symmetric. The Jacobson radical of a ring is frequently denoted by J(R) or rad(R); however to avoid confusion with other radicals of rings, the former notation will be preferred in this article. The Jacobson radical is named after Nathan Jacobson, who was the first to study it for arbitrary rings in Template:Harv.

The Jacobson radical of a ring has numerous internal characterizations, including a few definitions that successfully extend the notion to rings without unity. The radical of a module extends the definition of the Jacobson radical to include modules. The Jacobson radical plays a prominent role in many ring and module theoretic results, such as Nakayama's lemma.

## Intuitive discussion

As with other radicals of rings, the Jacobson radical can be thought of as a collection of "bad" elements. In this case the "bad" property is that these elements annihilate all simple left and right modules of the ring. For purposes of comparison, consider the nilradical of a commutative ring, which consists of all elements that are nilpotent. In fact for any ring, the nilpotent elements in the center of the ring are also in the Jacobson radical.Template:Sfn So, for commutative rings, the nilradical is contained in the Jacobson radical.

The Jacobson radical is very similar to the nilradical in an intuitive sense. A weaker notion of being bad, weaker than being a zero divisor, is being a non-unit (not invertible under multiplication). The Jacobson radical of a ring consists of elements that satisfy a stronger property than being merely a non-unit – in some sense, a member of the Jacobson radical must not "act as a unit" in any module "internal to the ring." More precisely, a member of the Jacobson radical must project under the canonical homomorphism to the zero of every "right division ring" (each non-zero element of which has a right inverse) internal to the ring in question. Concisely, it must belong to every maximal right ideal of the ring. These notions are of course imprecise, but at least explain why the nilradical of a commutative ring is contained in the ring's Jacobson radical.

In yet a simpler way, we may think of the Jacobson radical of a ring as method to "mod out bad elements" of the ring – that is, members of the Jacobson radical act as 0 in the quotient ring, R/J(R). If N is the nilradical of commutative ring R, then the quotient ring R/N has no nilpotent elements. Similarly for any ring R, the quotient ring has J(R/J(R))={0} and so all of the "bad" elements in the Jacobson radical have been removed by modding out J(R). Elements of the Jacobson radical and nilradical can be therefore seen as generalizations of 0.

## Equivalent characterizations

The Jacobson radical of a ring has various internal and external characterizations. The following equivalences appear in many noncommutative algebra texts such as Template:Harv, Template:Harv, and Template:Harv.

The following are equivalent characterizations of the Jacobson radical in rings with unity (characterizations for rings without unity are given immediately afterward):

• J(R) equals the intersection of all maximal right ideals of the ring. It is also true that J(R) equals the intersection of all maximal left ideals within the ring.Template:Sfn These characterizations are internal to the ring, since one only needs to find the maximal right ideals of the ring. For example, if a ring is local, and has a unique maximal right ideal, then this unique maximal right ideal is an ideal because it is exactly J(R). Maximal ideals are in a sense easier to look for than annihilators of modules. This characterization is deficient, however, because it does not prove useful when working computationally with J(R). The left-right symmetry of these two definitions is remarkable and has various interesting consequences.[1]Template:Sfn This symmetry stands in contrast to the lack of symmetry in the socles of R, for it may happen that soc(RR) is not equal to soc(RR). If R is a non-commutative ring, J(R) is not necessarily equal to the intersection of all maximal two-sided ideals of R. For instance, if V is a countable direct sum of copies of a field k and R=End(V) (the ring of endomorphisms of V as a k-module), then J(R)=0 because R is known to be von Neumann regular, but there is exactly one maximal double-sided ideal in R consisting of endomorphisms with finite-dimensional image. Template:Harv
• J(R) equals the sum of all superfluous right ideals (or symmetrically, the sum of all superfluous left ideals) of R. Comparing this with the previous definition, the sum of superfluous right ideals equals the intersection of maximal right ideals. This phenomenon is reflected dually for the right socle of R: soc(RR) is both the sum of minimal right ideals and the intersection of essential right ideals. In fact, these two relationships hold for the radicals and socles of modules in general.
• As defined in the introduction, J(R) equals the intersection of all annihilators of simple right R-modules, however it is also true that it is the intersection of annihilators of simple left modules. An ideal that is the annihilator of a simple module is known as a primitive ideal, and so a reformulation of this states that the Jacobson radical is the intersection of all primitive ideals. This characterization is useful when studying modules over rings. For instance, if U is right R-module, and V is a maximal submodule of U, U·J(R) is contained in V, where U·J(R) denotes all products of elements of J(R) (the "scalars") with elements in U, on the right. This follows from the fact that the quotient module, U/V is simple and hence annihilated by J(R).
• J(R) is the unique right ideal of R maximal with the property that every element is right quasiregular.[2]Template:Sfn Alternatively, one could replace "right" with "left" in the previous sentence.Template:Sfn This characterization of the Jacobson radical is useful both computationally and in aiding intuition. Furthermore, this characterization is useful in studying modules over a ring. Nakayama's lemma is perhaps the most well-known instance of this. Although every element of the J(R) is necessarily quasiregular, not every quasiregular element is necessarily a member of J(R).Template:Sfn
• While not every quasiregular element is in J(R), it can be shown that y is in J(R) if and only if xy is left quasiregular for all x in R. Template:Harv

For rings without unity it is possible for R=J(R), however the equation that J(R/J(R))={0} still holds. The following are equivalent characterizations of J(R) for rings without unity appear in Template:Harv:

• The notion of left quasiregularity can be generalized in the following way. Call an element a in R left generalized quasiregular if there exists c in R such that c+a-ca= 0. Then J(R) consists of every element a for which ra is left generalized quasiregular for all r in R. It can be checked that this definition coincides with the previous quasiregular definition for rings with unity.
• For a ring without unity, the definition of a left simple module M is amended by adding the condition that R•M ≠ 0. With this understanding, J(R) may be defined as the intersection of all annihilators of simple left R modules, or just R if there are no simple left R modules. Rings without unity with no simple modules do exist, in which case R=J(R), and the ring is called a radical ring. By using the generalized quasiregular characterization of the radical, it is clear that if one finds a ring with J(R) nonzero, then J(R) is a radical ring when considered as a ring without unity.

## Examples

• Rings for which J(R) is {0} are called semiprimitive rings, or sometimes "Jacobson semisimple rings". The Jacobson radical of any field, any von Neumann regular ring and any left or right primitive ring is {0}. The Jacobson radical of the integers is {0}.
• The Jacobson radical of the ring Z/12Z (see modular arithmetic) is 6Z/12Z, which is the intersection of the maximal ideals 2Z/12Z and 3Z/12Z.
• If K is a field and R is the ring of all upper triangular n-by-n matrices with entries in K, then J(R) consists of all upper triangular matrices with zeros on the main diagonal.
• If K is a field and R = K[[X1, ..., Xn]] is a ring of formal power series, then J(R) consists of those power series whose constant term is zero. More generally: the Jacobson radical of every local ring is the unique maximal ideal of the ring.
• Start with a finite, acyclic quiver Γ and a field K and consider the quiver algebra KΓ (as described in the quiver article). The Jacobson radical of this ring is generated by all the paths in Γ of length ≥ 1.
• The Jacobson radical of a C*-algebra is {0}. This follows from the Gelfand–Naimark theorem and the fact for a C*-algebra, a topologically irreducible *-representation on a Hilbert space is algebraically irreducible, so that its kernel is a primitive ideal in the purely algebraic sense (see spectrum of a C*-algebra).

## Properties

• The Jacobson radical of the ring R/J(R) is zero. Rings with zero Jacobson radical are called semiprimitive rings.
• J(R) contains all central nilpotent elements, but contains no idempotent elements except for 0.
• If R is commutative and finitely generated as an algebra over either a field or Z, then J(R) is equal to the nilradical of R.
• The Jacobson radical of a (unital) ring is its largest superfluous right (equivalently, left) ideal.

## Notes

1. Isaacs, Problem 12.5, p. 173
2. Isaacs, Corollary 13.4, p. 180

## References

• {{#invoke:citation/CS1|citation

|CitationClass=citation }}

• {{#invoke:citation/CS1|citation

|CitationClass=citation }}

• N. Bourbaki. Éléments de Mathématique.
• {{#invoke:citation/CS1|citation

|CitationClass=citation }} Reprint of the 1968 original; With an afterword by Lance W. Small

• {{#invoke:citation/CS1|citation

|CitationClass=book }}

• {{#invoke:citation/CS1|citation

|CitationClass=citation }}

• {{#invoke:citation/CS1|citation

|CitationClass=citation }}

• {{#invoke:citation/CS1|citation

|CitationClass=citation }} Studies in the History of Modern Science, 9

• {{#invoke:citation/CS1|citation

|CitationClass=citation }}