of a ring $A$
The ideal $J(A)$ of an associative ring (cf. Associative rings and algebras) $A$ which satisfies the following two requirements: 1) $J(A)$ is the largest quasi-regular ideal in $A$ (a ring $R$ is called quasi-regular if the equation $a+x+ax=0$ is solvable for any of its elements $a$; cf. Quasi-regular ring); and 2) the quotient ring $\overline A=A/J(A)$ contains no non-zero quasi-regular ideals. The radical was introduced and studied in detail in 1945 by N. Jacobson .
The Jacobson radical always exists and may be characterized in very many ways: $J(A)$ is the intersection of the kernels of all irreducible representations of the ring $A$; it is the intersection of all modular maximal right ideals (cf. Modular ideal); it is the intersection of all modular maximal left ideals; it contains all quasi-regular one-sided ideals; it contains all one-sided nil ideals; etc. If $I$ is an ideal of $A$, then $J(I)=I\cap J(A)$. If $A_n$ is the ring of all matrices of order $n$ over $A$, then
If the following $\circ$-composition is introduced on the associative ring $A$:
then the radical $J(A)$ in the semi-group $\langle A,\circ\rangle$ will be a subgroup with respect to the composition $\circ$.
There are no non-zero irreducible finitely-generated modules over a quasi-regular associative ring (i.e. an associative ring coinciding with its own Jacobson radical), but there exist simple associative quasi-regular rings. The Jacobson radical of the associative ring $A$ is zero if and only if $A$ is a subdirect sum of primitive rings.
|||N. Jacobson, "Structure of rings" , Amer. Math. Soc. (1956)|
The Jacobson radical is the intersection of the right primitive ideals. It is also the intersection of the left primitive ideals. This is perhaps the most frequently occurring definition. Modular ideals are also called regular ideals. If $A$ has a unit element, then all ideals are regular, so that in this case the Jacobson radical $J(A)$ is the intersection of all right maximal ideals and also the intersection of all left maximal ideals. Nakayama's lemma says that if $M$ is a finitely-generated non-zero right $A$-module, then $M\neq MJ(A)$.
|[a1]||J.C. McConnell, J.C. Robson, "Noncommutative Noetherian rings" , Wiley (1987)|
|[a2]||I.N. Herstein, "Noncommutative rings" , Math. Assoc. Amer. (1968)|
Nakayama lemma. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Nakayama_lemma&oldid=42234