Namespaces
Variants
Actions

Difference between revisions of "Jacobson radical"

From Encyclopedia of Mathematics
Jump to: navigation, search
(TeX)
(MSC 16N20)
 
Line 1: Line 1:
{{TEX|done}}
+
{{TEX|done}}{{MSC|16N20}}
 +
 
 
''of a ring $A$''
 
''of a ring $A$''
  
The [[Ideal|ideal]] $J(A)$ of an associative ring (cf. [[Associative rings and algebras|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$); 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 [[#References|[1]]].
+
The [[Ideal|ideal]] $J(A)$ of an associative ring (cf. [[Associative rings and algebras|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 [[#References|[1]]].
  
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|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
+
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
  
 
$$J(A_n)=(J(A))_n.$$
 
$$J(A_n)=(J(A))_n.$$
Line 12: Line 13:
 
$$a\circ b=a+b+ab,$$
 
$$a\circ b=a+b+ab,$$
  
then the radical $J(A)$ in the [[Semi-group|semi-group]] $\langle A,\circ\rangle$ will be a subgroup with respect to the composition $\circ$.
+
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 (cf. [[Primitive ring|Primitive ring]]).
 
  
 +
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 ring]]s.
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  N. Jacobson,  "Structure of rings" , Amer. Math. Soc.  (1956)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  N. Jacobson,  "Structure of rings" , Amer. Math. Soc.  (1956)</TD></TR></table>
Line 22: Line 22:
  
 
====Comments====
 
====Comments====
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)$.
+
The Jacobson radical is the intersection of the right [[primitive ideal]]s. 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)$.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  J.C. McConnell,  J.C. Robson,  "Noncommutative Noetherian rings" , Wiley  (1987)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  I.N. Herstein,  "Noncommutative rings" , Math. Assoc. Amer.  (1968)</TD></TR></table>
+
<table>
 +
<TR><TD valign="top">[a1]</TD> <TD valign="top">  J.C. McConnell,  J.C. Robson,  "Noncommutative Noetherian rings" , Wiley  (1987)</TD></TR>
 +
<TR><TD valign="top">[a2]</TD> <TD valign="top">  I.N. Herstein,  "Noncommutative rings" , Math. Assoc. Amer.  (1968)</TD></TR>
 +
</table>

Latest revision as of 06:49, 21 October 2017

2020 Mathematics Subject Classification: Primary: 16N20 [MSN][ZBL]

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 [1].

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

$$J(A_n)=(J(A))_n.$$

If the following $\circ$-composition is introduced on the associative ring $A$:

$$a\circ b=a+b+ab,$$

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.

References

[1] N. Jacobson, "Structure of rings" , Amer. Math. Soc. (1956)


Comments

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)$.

References

[a1] J.C. McConnell, J.C. Robson, "Noncommutative Noetherian rings" , Wiley (1987)
[a2] I.N. Herstein, "Noncommutative rings" , Math. Assoc. Amer. (1968)
How to Cite This Entry:
Jacobson radical. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Jacobson_radical&oldid=31809
This article was adapted from an original article by K.A. Zhevlakov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article