Namespaces
Variants
Actions

Difference between revisions of "Radical of rings and algebras"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (tex encoded by computer)
 
Line 1: Line 1:
 +
<!--
 +
r0771301.png
 +
$#A+1 = 157 n = 0
 +
$#C+1 = 157 : ~/encyclopedia/old_files/data/R077/R.0707130 Radical of rings and algebras
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
A concept that first arose in the classical structure theory of finite-dimensional algebras at the beginning of the 20th century. Initially the radical was taken to be the largest [[Nilpotent ideal|nilpotent ideal]] of a finite-dimensional associative algebra. Algebras with zero radical (called semi-simple) have obtained a fairly complete description in the classical theory: Any semi-simple finite-dimensional associative algebra is a direct sum of simple matrix algebras over suitable fields. Afterwards it was shown that largest nilpotent ideals exist in associative rings and algebras with a minimum condition for left (or right) ideals, that is, in Artinian rings and algebras (cf. [[Artinian ring|Artinian ring]]), and that the description of Artinian semi-simple rings and algebras coincides with the description of finite-dimensional semi-simple algebras. At the same time it turned out that the radical, as well as the largest nilpotent or largest solvable ideal, could be defined in many classes of finite-dimensional non-associative algebras (alternative, Jordan, Lie, etc.). Here, as in the associative case, semi-simple algebras turned out to be direct sums of simple algebras of some special form.
 
A concept that first arose in the classical structure theory of finite-dimensional algebras at the beginning of the 20th century. Initially the radical was taken to be the largest [[Nilpotent ideal|nilpotent ideal]] of a finite-dimensional associative algebra. Algebras with zero radical (called semi-simple) have obtained a fairly complete description in the classical theory: Any semi-simple finite-dimensional associative algebra is a direct sum of simple matrix algebras over suitable fields. Afterwards it was shown that largest nilpotent ideals exist in associative rings and algebras with a minimum condition for left (or right) ideals, that is, in Artinian rings and algebras (cf. [[Artinian ring|Artinian ring]]), and that the description of Artinian semi-simple rings and algebras coincides with the description of finite-dimensional semi-simple algebras. At the same time it turned out that the radical, as well as the largest nilpotent or largest solvable ideal, could be defined in many classes of finite-dimensional non-associative algebras (alternative, Jordan, Lie, etc.). Here, as in the associative case, semi-simple algebras turned out to be direct sums of simple algebras of some special form.
  
Line 8: Line 20:
 
In this section only algebras (over an arbitrary fixed commutative associative ring with an identity) will be considered; any ring is a special case of such an algebra. By an ideal of an algebra, if not otherwise stipulated, is meant a two-sided ideal.
 
In this section only algebras (over an arbitrary fixed commutative associative ring with an identity) will be considered; any ring is a special case of such an algebra. By an ideal of an algebra, if not otherwise stipulated, is meant a two-sided ideal.
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r0771301.png" /> be a class of algebras that is closed under taking ideals and homomorphic images, that is, containing with each algebra all of its ideals and all of its homomorphic images. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r0771302.png" /> be an abstract property that an algebra of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r0771303.png" /> may or may not have. An algebra having property <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r0771304.png" /> is called an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r0771306.png" />-algebra. An ideal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r0771307.png" /> of an algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r0771308.png" /> is called an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713010.png" />-ideal if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713011.png" /> is an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713012.png" />-algebra. An algebra is called <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713014.png" />-semi-simple if it has no non-zero <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713015.png" />-ideals. It is said that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713016.png" /> is a radical property of the class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713017.png" />, or that there is given a radical in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713018.png" /> (in the sense of Kurosh), if the following conditions are satisfied:
+
Let $  \mathfrak A $
 +
be a class of algebras that is closed under taking ideals and homomorphic images, that is, containing with each algebra all of its ideals and all of its homomorphic images. Let r $
 +
be an abstract property that an algebra of $  \mathfrak A $
 +
may or may not have. An algebra having property r $
 +
is called an r $-
 +
algebra. An ideal $  I $
 +
of an algebra $  A $
 +
is called an r $-
 +
ideal if $  I $
 +
is an r $-
 +
algebra. An algebra is called r $-
 +
semi-simple if it has no non-zero r $-
 +
ideals. It is said that r $
 +
is a radical property of the class $  \mathfrak A $,  
 +
or that there is given a radical in $  \mathfrak A $(
 +
in the sense of Kurosh), if the following conditions are satisfied:
  
a) a homomorphic image of an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713019.png" />-algebra is an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713020.png" />-algebra;
+
a) a homomorphic image of an r $-
 +
algebra is an r $-
 +
algebra;
  
b) each algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713021.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713022.png" /> has a largest <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713023.png" />-ideal, that is, an ideal containing any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713024.png" />-ideal of this algebra; this maximal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713025.png" />-ideal is then called the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713027.png" />-radical of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713028.png" /> and is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713029.png" />;
+
b) each algebra $  A $
 +
of $  \mathfrak A $
 +
has a largest r $-
 +
ideal, that is, an ideal containing any r $-
 +
ideal of this algebra; this maximal r $-
 +
ideal is then called the r $-
 +
radical of $  A $
 +
and is denoted by r ( A) $;
  
c) the quotient algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713030.png" /> is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713031.png" />-semi-simple.
+
c) the quotient algebra $  A / r ( A) $
 +
is r $-
 +
semi-simple.
  
An algebra coinciding with its radical is called a radical algebra. In any class of algebras and for any radical, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713032.png" /> is the unique algebra that is simultaneously radical and semi-simple. The subdirect product of any set of semi-simple algebras is itself semi-simple.
+
An algebra coinciding with its radical is called a radical algebra. In any class of algebras and for any radical, $  \{ 0 \} $
 +
is the unique algebra that is simultaneously radical and semi-simple. The subdirect product of any set of semi-simple algebras is itself semi-simple.
  
Associated with each radical <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713033.png" /> there are two subclasses of algebras in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713034.png" />; the class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713035.png" /> of all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713036.png" />-radical algebras and the class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713037.png" /> of all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713038.png" />-semi-simple algebras. With respect to each of these classes a radical <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713039.png" />, for each algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713040.png" /> from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713041.png" />, can be defined, namely:
+
Associated with each radical r $
 +
there are two subclasses of algebras in $  \mathfrak A $;  
 +
the class $  {\mathcal R} ( r) $
 +
of all r $-
 +
radical algebras and the class $  {\mathcal P} ( r) $
 +
of all r $-
 +
semi-simple algebras. With respect to each of these classes a radical r ( A) $,  
 +
for each algebra $  A $
 +
from $  \mathfrak A $,  
 +
can be defined, namely:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713042.png" /></td> </tr></table>
+
$$
 +
r ( A)  = \sum
 +
\{ {I } : {I  \textrm{ is  an  ideal  in  }  A ,\
 +
I \in {\mathcal R} ( r) } \}
 +
,
 +
$$
  
 
respectively,
 
respectively,
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713043.png" /></td> </tr></table>
+
$$
 +
r ( A)  = \cap
 +
\{ {I } : {I  \textrm{ is  an  ideal  in  }  A ,\
 +
A / I \in {\mathcal P} ( r) } \}
 +
.
 +
$$
  
An algebra is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713044.png" />-radical if and only if it cannot be mapped homomorphically onto a non-zero <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713045.png" />-semi-simple algebra.
+
An algebra is r $-
 +
radical if and only if it cannot be mapped homomorphically onto a non-zero r $-
 +
semi-simple algebra.
  
Necessary and sufficient conditions are known for a subclass of algebras to be the class of all radical or all semi-simple algebras for some radical on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713046.png" />. Such subclasses are usually called, respectively, radical or semi-simple subclasses.
+
Necessary and sufficient conditions are known for a subclass of algebras to be the class of all radical or all semi-simple algebras for some radical on $  \mathfrak A $.  
 +
Such subclasses are usually called, respectively, radical or semi-simple subclasses.
  
The partial ordering of radical classes by inclusion induces a partial order on the class of all radicals on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713047.png" />. Namely, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713048.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713049.png" /> contains <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713050.png" /> (and, in this case, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713051.png" /> contains <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713052.png" />).
+
The partial ordering of radical classes by inclusion induces a partial order on the class of all radicals on $  \mathfrak A $.  
 +
Namely, $  r _ {1} < r _ {2} $
 +
if $  {\mathcal R} ( r _ {1} ) $
 +
contains $  {\mathcal R} ( r _ {2} ) $(
 +
and, in this case, $  {\mathcal P} ( r _ {1} ) $
 +
contains $  {\mathcal P} ( r _ {2} ) $).
  
For each subclass <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713053.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713054.png" /> the lower radical class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713055.png" /> generated by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713056.png" /> is the least radical class containing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713057.png" />, and the radical corresponding to it is called the lower radical determined by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713058.png" />. The upper radical class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713059.png" /> determined by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713060.png" /> is the largest radical class relative to the radicals of which all the algebras from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713061.png" /> are semi-simple (this radical is called the upper radical determined by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713062.png" />). For any class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713063.png" /> the lower radical class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713064.png" /> exists. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713065.png" /> is a class of associative algebras, then any subclass <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713066.png" /> also has an upper radical. In the non-associative case the upper radical need not exist. Sufficient conditions on a class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713067.png" /> are known for the upper radical for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713068.png" /> to exist. These conditions, in particular, are satisfied by every class containing only simple algebras.
+
For each subclass $  M $
 +
of $  \mathfrak A $
 +
the lower radical class $  l ( M) $
 +
generated by $  M $
 +
is the least radical class containing $  M $,  
 +
and the radical corresponding to it is called the lower radical determined by $  M $.  
 +
The upper radical class $  u ( M) $
 +
determined by $  M $
 +
is the largest radical class relative to the radicals of which all the algebras from $  M $
 +
are semi-simple (this radical is called the upper radical determined by $  M $).  
 +
For any class $  M $
 +
the lower radical class $  l ( M) $
 +
exists. If $  \mathfrak A $
 +
is a class of associative algebras, then any subclass $  M $
 +
also has an upper radical. In the non-associative case the upper radical need not exist. Sufficient conditions on a class $  M $
 +
are known for the upper radical for $  M $
 +
to exist. These conditions, in particular, are satisfied by every class containing only simple algebras.
  
For any radical type a simple algebra is either radical or semi-simple. Thus, corresponding to each radical type there is a partition of the class of simple algebras into two disjoint classes: the class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713069.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713070.png" />-semi-simple algebras, or the upper class, and the class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713071.png" /> of all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713072.png" />-radical simple algebras, or the lower class. One says that the radical <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713073.png" /> corresponds to this partition. Conversely, for an arbitrary partition of the simple algebras into two disjoint classes, one of which, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713074.png" />, is called upper and the other, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713075.png" />, is called lower, there is a radical corresponding to the given partition. These will be the upper radical <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713076.png" /> determined by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713077.png" />, as well as the lower radical <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713078.png" /> determined by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713079.png" />; the radicals <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713080.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713081.png" /> are called, respectively, the upper and lower radicals of the given partition of the class of simple algebras. For any radical <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713082.png" /> corresponding to the same partition of the simple algebras, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713083.png" />. In the class of all associative algebras, for any partition of the simple algebras, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713084.png" />. The classical radical in the class of finite-dimensional associative algebras over a field corresponds to the partition of the simple algebras with empty lower class; moreover, there is a unique non-trivial radical corresponding to this partition.
+
For any radical type a simple algebra is either radical or semi-simple. Thus, corresponding to each radical type there is a partition of the class of simple algebras into two disjoint classes: the class $  S _ {1} $
 +
of r $-
 +
semi-simple algebras, or the upper class, and the class $  S _ {2} $
 +
of all r $-
 +
radical simple algebras, or the lower class. One says that the radical r $
 +
corresponds to this partition. Conversely, for an arbitrary partition of the simple algebras into two disjoint classes, one of which, $  S _ {1} $,  
 +
is called upper and the other, $  S _ {2} $,  
 +
is called lower, there is a radical corresponding to the given partition. These will be the upper radical r _ {1} $
 +
determined by $  S _ {1} $,  
 +
as well as the lower radical r _ {2} $
 +
determined by $  S _ {2} $;  
 +
the radicals r _ {1} $
 +
and r _ {2} $
 +
are called, respectively, the upper and lower radicals of the given partition of the class of simple algebras. For any radical r $
 +
corresponding to the same partition of the simple algebras, $  r _ {1} \geq  r \geq  r _ {2} $.  
 +
In the class of all associative algebras, for any partition of the simple algebras, r _ {1} > r _ {2} $.  
 +
The classical radical in the class of finite-dimensional associative algebras over a field corresponds to the partition of the simple algebras with empty lower class; moreover, there is a unique non-trivial radical corresponding to this partition.
  
 
==Hereditary radicals.==
 
==Hereditary radicals.==
A radical <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713085.png" /> is called an ideally hereditary radical, or a torsion radical, in the class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713086.png" /> if for any ideal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713087.png" /> of an algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713088.png" /> of this class one has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713089.png" />. Ideally hereditary radicals are precisely the radicals for which the classes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713090.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713091.png" /> are closed under passing to ideals. A radical <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713092.png" /> is called hereditary if the class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713093.png" /> is closed under passing to ideals. In the class of associative, and also in that of alternative, algebras, each hereditary radical is torsion. A radical <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713094.png" /> is called strictly hereditary if the class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713095.png" /> is closed under taking subalgebras.
+
A radical r $
 +
is called an ideally hereditary radical, or a torsion radical, in the class $  \mathfrak A $
 +
if for any ideal $  I $
 +
of an algebra $  A $
 +
of this class one has $  r ( I) = r ( A) \cap I $.  
 +
Ideally hereditary radicals are precisely the radicals for which the classes $  {\mathcal R} ( r) $
 +
and $  {\mathcal P} ( r) $
 +
are closed under passing to ideals. A radical r $
 +
is called hereditary if the class $  {\mathcal R} ( r) $
 +
is closed under passing to ideals. In the class of associative, and also in that of alternative, algebras, each hereditary radical is torsion. A radical r $
 +
is called strictly hereditary if the class $  {\mathcal P} ( r) $
 +
is closed under taking subalgebras.
  
 
The class of all torsion radicals is a complete distributive  "lattice"  (see [[Distributive lattice|Distributive lattice]]). The use of quotation marks here is due to the fact that the collection of elements of this  "lattice"  is not a set but a class.
 
The class of all torsion radicals is a complete distributive  "lattice"  (see [[Distributive lattice|Distributive lattice]]). The use of quotation marks here is due to the fact that the collection of elements of this  "lattice"  is not a set but a class.
  
In the class of all torsion radicals two opposite subclasses may be distinguished: the class of super-nilpotent torsion radicals, that is, torsion radicals <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713096.png" /> such that all algebras with zero multiplication are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713097.png" />-radical, and the class of sub-idempotent torsion radicals, i.e., torsion radicals <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713098.png" /> such that all algebras with zero multiplication are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r07713099.png" />-semi-simple (and all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130100.png" />-radical algebras are idempotent). An important special case of super-nilpotent radicals are the special radicals, i.e., torsion radicals <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130101.png" /> such that all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130102.png" />-semi-simple algebras decompose into a subdirect sum of primary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130103.png" />-semi-simple algebras. There are super-nilpotent non-special radicals (see [[#References|[5]]], [[#References|[7]]]).
+
In the class of all torsion radicals two opposite subclasses may be distinguished: the class of super-nilpotent torsion radicals, that is, torsion radicals r $
 +
such that all algebras with zero multiplication are r $-
 +
radical, and the class of sub-idempotent torsion radicals, i.e., torsion radicals r $
 +
such that all algebras with zero multiplication are r $-
 +
semi-simple (and all r $-
 +
radical algebras are idempotent). An important special case of super-nilpotent radicals are the special radicals, i.e., torsion radicals r $
 +
such that all r $-
 +
semi-simple algebras decompose into a subdirect sum of primary r $-
 +
semi-simple algebras. There are super-nilpotent non-special radicals (see [[#References|[5]]], [[#References|[7]]]).
  
 
==Radicals in the class of associative rings.==
 
==Radicals in the class of associative rings.==
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130104.png" /> be the class of all associative rings and define:
+
Let $  \mathfrak A $
 +
be the class of all associative rings and define:
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130105.png" /> — the lower radical determined by the class of all simple rings with zero multiplication;
+
$  \phi $—  
 +
the lower radical determined by the class of all simple rings with zero multiplication;
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130106.png" /> (the lower Baer radical) — the lower radical determined by the class of all nilpotent rings; the upper radical determined by the class of all primary rings; the least special radical; or the intersection of the prime ideals of the ring;
+
$  \beta $(
 +
the lower Baer radical) — the lower radical determined by the class of all nilpotent rings; the upper radical determined by the class of all primary rings; the least special radical; or the intersection of the prime ideals of the ring;
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130107.png" /> (the [[Levitskii radical|Levitzki radical]]) — the lower radical determined by the class of all locally nilpotent rings; or the sum of all locally nilpotent ideals of the ring and containing every one-sided locally nilpotent ideal of the ring;
+
$  {\mathcal L} $(
 +
the [[Levitskii radical|Levitzki radical]]) — the lower radical determined by the class of all locally nilpotent rings; or the sum of all locally nilpotent ideals of the ring and containing every one-sided locally nilpotent ideal of the ring;
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130108.png" /> (the upper nil radical or Köthe radical) — the lower radical determined by the class of all nil rings;
+
$  {\mathcal K} $(
 +
the upper nil radical or Köthe radical) — the lower radical determined by the class of all nil rings;
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130109.png" /> (the Jacobson radical) — the upper radical determined by the class of all primitive rings; the intersection of all primitive ideals of the ring; or the intersection of all modular maximal right (left) ideals. It is a quasi-regular ideal containing all quasi-regular right (left) ideals;
+
$  {\mathcal J} $(
 +
the Jacobson radical) — the upper radical determined by the class of all primitive rings; the intersection of all primitive ideals of the ring; or the intersection of all modular maximal right (left) ideals. It is a quasi-regular ideal containing all quasi-regular right (left) ideals;
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130110.png" /> (the Brown–McCoy radical) — the upper radical determined by the class of all simple rings with an identity. It coincides with the upper radical of its partition; it is equal to the intersection of all maximal modular ideals of the rings;
+
$  {\mathcal T} $(
 +
the Brown–McCoy radical) — the upper radical determined by the class of all simple rings with an identity. It coincides with the upper radical of its partition; it is equal to the intersection of all maximal modular ideals of the rings;
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130111.png" /> — the upper radical determined by the class of all matrix rings over fields;
+
$  \tau $—  
 +
the upper radical determined by the class of all matrix rings over fields;
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130112.png" /> (the generalized nil radical) — the upper radical determined by the class of all rings without divisor of zero;
+
$  {\mathcal A} $(
 +
the generalized nil radical) — the upper radical determined by the class of all rings without divisor of zero;
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130113.png" /> — the upper radical determined by the class of all fields.
+
$  F $—  
 +
the upper radical determined by the class of all fields.
  
 
In the class of associative rings one has the strict inequalities:
 
In the class of associative rings one has the strict inequalities:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130114.png" /></td> </tr></table>
+
$$
 +
\phi  < \beta  < {\mathcal L} < {\mathcal K}  < {\mathcal J}  < {\mathcal T}  < \tau  < F ,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130115.png" /></td> </tr></table>
+
$$
 +
{\mathcal K}  < {\mathcal A}  < F .
 +
$$
  
In the class of rings with a minimum condition the first seven radicals coincide and correspond to the classical radical. If a radical <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130116.png" /> induces the radical on the class of rings with a minimum condition, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130117.png" />. For rings with a maximum condition, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130118.png" />. For commutative rings, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130119.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130120.png" />. The radicals <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130121.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130122.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130123.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130124.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130125.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130126.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130127.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130128.png" /> are special. The radicals <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130129.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130130.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130131.png" /> correspond to the same partition of the simple rings, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130132.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130133.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130134.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130135.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130136.png" /> to other pairwise different partitions.
+
In the class of rings with a minimum condition the first seven radicals coincide and correspond to the classical radical. If a radical r $
 +
induces the radical on the class of rings with a minimum condition, then $  \phi < r < \tau $.  
 +
For rings with a maximum condition, $  \beta = {\mathcal L} = {\mathcal K} $.  
 +
For commutative rings, $  {\mathcal J} = {\mathcal T} = \tau = F $,  
 +
$  \beta = {\mathcal L} = {\mathcal K} = {\mathcal A} $.  
 +
The radicals $  \beta $,  
 +
$  {\mathcal L} $,  
 +
$  {\mathcal K} $,  
 +
$  {\mathcal J} $,  
 +
$  {\mathcal T} $,  
 +
$  \tau $,  
 +
$  {\mathcal A} $,  
 +
$  F $
 +
are special. The radicals $  \phi $,  
 +
$  \beta $,  
 +
$  {\mathcal L} $
 +
correspond to the same partition of the simple rings, and $  {\mathcal J} $,  
 +
$  {\mathcal T} $,  
 +
$  \tau $,  
 +
$  {\mathcal A} $,  
 +
$  F $
 +
to other pairwise different partitions.
  
 
====References====
 
====References====
Line 77: Line 229:
 
''V.A. Andrunakievich''
 
''V.A. Andrunakievich''
  
In the class of Lie algebras the radical is the largest solvable ideal, that is, the solvable ideal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130137.png" /> containing all solvable ideals of the given Lie algebra (cf. [[Solvable group|Solvable group]]). In a finite-dimensional [[Lie algebra|Lie algebra]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130138.png" /> there is also a largest [[Nilpotent ideal|nilpotent ideal]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130139.png" /> (sometimes called the nil radical) that coincides with the largest ideal consisting of nilpotent elements, and also with the set of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130140.png" /> such that the adjoint operator is contained in the radical of the associative algebra of linear transformations of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130141.png" /> generated by the adjoint Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130142.png" />. The nilpotent radical <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130143.png" /> of a Lie algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130144.png" /> has also been considered — the set of those <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130145.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130146.png" /> for any irreducible finite-dimensional linear representation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130147.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130148.png" />. The nilpotent radical also coincides with the largest ideal represented by nilpotent operators for any finite-dimensional linear representation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130149.png" />. Here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130150.png" />. If the characteristic of the ground field is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130151.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130152.png" /> is the smallest ideal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130153.png" /> for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130154.png" /> is a reductive Lie algebra (cf. [[Lie algebra, reductive|Lie algebra, reductive]]). In this case the nilpotent radical is related to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130155.png" /> by:
+
In the class of Lie algebras the radical is the largest solvable ideal, that is, the solvable ideal $  \mathfrak r $
 +
containing all solvable ideals of the given Lie algebra (cf. [[Solvable group|Solvable group]]). In a finite-dimensional [[Lie algebra|Lie algebra]] $  \mathfrak g $
 +
there is also a largest [[Nilpotent ideal|nilpotent ideal]] $  \mathfrak n $(
 +
sometimes called the nil radical) that coincides with the largest ideal consisting of nilpotent elements, and also with the set of $  x \in \mathfrak g $
 +
such that the adjoint operator is contained in the radical of the associative algebra of linear transformations of $  \mathfrak g $
 +
generated by the adjoint Lie algebra $  \mathop{\rm ad}  \mathfrak g $.  
 +
The nilpotent radical $  \mathfrak s $
 +
of a Lie algebra $  \mathfrak g $
 +
has also been considered — the set of those $  x \in \mathfrak g $
 +
such that $  \sigma ( x) = 0 $
 +
for any irreducible finite-dimensional linear representation $  \sigma $
 +
of $  \mathfrak g $.  
 +
The nilpotent radical also coincides with the largest ideal represented by nilpotent operators for any finite-dimensional linear representation of $  \mathfrak g $.  
 +
Here $  \mathfrak r \supseteq \mathfrak n \supseteq \mathfrak s $.  
 +
If the characteristic of the ground field is 0 $,  
 +
then $  \mathfrak s $
 +
is the smallest ideal $  \mathfrak i \subset  \mathfrak g $
 +
for which $  \mathfrak g / \mathfrak i $
 +
is a reductive Lie algebra (cf. [[Lie algebra, reductive|Lie algebra, reductive]]). In this case the nilpotent radical is related to $  \mathfrak r $
 +
by:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130156.png" /></td> </tr></table>
+
$$
 +
\mathfrak s  = [ \mathfrak g , \mathfrak r ]  = [ \mathfrak g , \mathfrak g ] \cap \mathfrak r ;
 +
$$
  
any derivation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130157.png" /> transforms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130158.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130159.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130160.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r077/r077130/r077130161.png" />. The nil radical and the nilpotent radical, however, are not radicals in the sense of the general theory of radicals of rings and algebras.
+
any derivation of $  \mathfrak g $
 +
transforms $  \mathfrak r $
 +
to $  \mathfrak n $
 +
and $  \mathfrak s $
 +
to $  \mathfrak s $.  
 +
The nil radical and the nilpotent radical, however, are not radicals in the sense of the general theory of radicals of rings and algebras.
  
 
====References====
 
====References====
Line 89: Line 267:
  
 
====Comments====
 
====Comments====
 
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  N. Bourbaki,  "Groupes et algèbres de Lie" , Hermann  (1960)  pp. Chapt. I: Algèbres de Lie</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  N. Bourbaki,  "Groupes et algèbres de Lie" , Hermann  (1960)  pp. Chapt. I: Algèbres de Lie</TD></TR></table>

Latest revision as of 08:09, 6 June 2020


A concept that first arose in the classical structure theory of finite-dimensional algebras at the beginning of the 20th century. Initially the radical was taken to be the largest nilpotent ideal of a finite-dimensional associative algebra. Algebras with zero radical (called semi-simple) have obtained a fairly complete description in the classical theory: Any semi-simple finite-dimensional associative algebra is a direct sum of simple matrix algebras over suitable fields. Afterwards it was shown that largest nilpotent ideals exist in associative rings and algebras with a minimum condition for left (or right) ideals, that is, in Artinian rings and algebras (cf. Artinian ring), and that the description of Artinian semi-simple rings and algebras coincides with the description of finite-dimensional semi-simple algebras. At the same time it turned out that the radical, as well as the largest nilpotent or largest solvable ideal, could be defined in many classes of finite-dimensional non-associative algebras (alternative, Jordan, Lie, etc.). Here, as in the associative case, semi-simple algebras turned out to be direct sums of simple algebras of some special form.

In connection with the fact that in the infinite-dimensional case the largest nilpotent ideal need not exist, many different generalizations of the classical ideal have appeared: the Baer radical, the Jacobson radical, the Levitzki radical, the Köthe radical, etc. The most frequently used of these is the Jacobson radical (cf. also Quasi-regular radical). Radicals that are in some sense opposite to the classical radical have also been introduced. For example, all classical semi-simple rings (that is, direct sums of complete matrix rings) are radical in the sense of the regular von Neumann radical and are hereditary for the idempotent Baer radical. The construction of the general theory of radicals was initiated by S. Amitsur

and A.G. Kurosh [2].

General theory of radicals.

In this section only algebras (over an arbitrary fixed commutative associative ring with an identity) will be considered; any ring is a special case of such an algebra. By an ideal of an algebra, if not otherwise stipulated, is meant a two-sided ideal.

Let $ \mathfrak A $ be a class of algebras that is closed under taking ideals and homomorphic images, that is, containing with each algebra all of its ideals and all of its homomorphic images. Let $ r $ be an abstract property that an algebra of $ \mathfrak A $ may or may not have. An algebra having property $ r $ is called an $ r $- algebra. An ideal $ I $ of an algebra $ A $ is called an $ r $- ideal if $ I $ is an $ r $- algebra. An algebra is called $ r $- semi-simple if it has no non-zero $ r $- ideals. It is said that $ r $ is a radical property of the class $ \mathfrak A $, or that there is given a radical in $ \mathfrak A $( in the sense of Kurosh), if the following conditions are satisfied:

a) a homomorphic image of an $ r $- algebra is an $ r $- algebra;

b) each algebra $ A $ of $ \mathfrak A $ has a largest $ r $- ideal, that is, an ideal containing any $ r $- ideal of this algebra; this maximal $ r $- ideal is then called the $ r $- radical of $ A $ and is denoted by $ r ( A) $;

c) the quotient algebra $ A / r ( A) $ is $ r $- semi-simple.

An algebra coinciding with its radical is called a radical algebra. In any class of algebras and for any radical, $ \{ 0 \} $ is the unique algebra that is simultaneously radical and semi-simple. The subdirect product of any set of semi-simple algebras is itself semi-simple.

Associated with each radical $ r $ there are two subclasses of algebras in $ \mathfrak A $; the class $ {\mathcal R} ( r) $ of all $ r $- radical algebras and the class $ {\mathcal P} ( r) $ of all $ r $- semi-simple algebras. With respect to each of these classes a radical $ r ( A) $, for each algebra $ A $ from $ \mathfrak A $, can be defined, namely:

$$ r ( A) = \sum \{ {I } : {I \textrm{ is an ideal in } A ,\ I \in {\mathcal R} ( r) } \} , $$

respectively,

$$ r ( A) = \cap \{ {I } : {I \textrm{ is an ideal in } A ,\ A / I \in {\mathcal P} ( r) } \} . $$

An algebra is $ r $- radical if and only if it cannot be mapped homomorphically onto a non-zero $ r $- semi-simple algebra.

Necessary and sufficient conditions are known for a subclass of algebras to be the class of all radical or all semi-simple algebras for some radical on $ \mathfrak A $. Such subclasses are usually called, respectively, radical or semi-simple subclasses.

The partial ordering of radical classes by inclusion induces a partial order on the class of all radicals on $ \mathfrak A $. Namely, $ r _ {1} < r _ {2} $ if $ {\mathcal R} ( r _ {1} ) $ contains $ {\mathcal R} ( r _ {2} ) $( and, in this case, $ {\mathcal P} ( r _ {1} ) $ contains $ {\mathcal P} ( r _ {2} ) $).

For each subclass $ M $ of $ \mathfrak A $ the lower radical class $ l ( M) $ generated by $ M $ is the least radical class containing $ M $, and the radical corresponding to it is called the lower radical determined by $ M $. The upper radical class $ u ( M) $ determined by $ M $ is the largest radical class relative to the radicals of which all the algebras from $ M $ are semi-simple (this radical is called the upper radical determined by $ M $). For any class $ M $ the lower radical class $ l ( M) $ exists. If $ \mathfrak A $ is a class of associative algebras, then any subclass $ M $ also has an upper radical. In the non-associative case the upper radical need not exist. Sufficient conditions on a class $ M $ are known for the upper radical for $ M $ to exist. These conditions, in particular, are satisfied by every class containing only simple algebras.

For any radical type a simple algebra is either radical or semi-simple. Thus, corresponding to each radical type there is a partition of the class of simple algebras into two disjoint classes: the class $ S _ {1} $ of $ r $- semi-simple algebras, or the upper class, and the class $ S _ {2} $ of all $ r $- radical simple algebras, or the lower class. One says that the radical $ r $ corresponds to this partition. Conversely, for an arbitrary partition of the simple algebras into two disjoint classes, one of which, $ S _ {1} $, is called upper and the other, $ S _ {2} $, is called lower, there is a radical corresponding to the given partition. These will be the upper radical $ r _ {1} $ determined by $ S _ {1} $, as well as the lower radical $ r _ {2} $ determined by $ S _ {2} $; the radicals $ r _ {1} $ and $ r _ {2} $ are called, respectively, the upper and lower radicals of the given partition of the class of simple algebras. For any radical $ r $ corresponding to the same partition of the simple algebras, $ r _ {1} \geq r \geq r _ {2} $. In the class of all associative algebras, for any partition of the simple algebras, $ r _ {1} > r _ {2} $. The classical radical in the class of finite-dimensional associative algebras over a field corresponds to the partition of the simple algebras with empty lower class; moreover, there is a unique non-trivial radical corresponding to this partition.

Hereditary radicals.

A radical $ r $ is called an ideally hereditary radical, or a torsion radical, in the class $ \mathfrak A $ if for any ideal $ I $ of an algebra $ A $ of this class one has $ r ( I) = r ( A) \cap I $. Ideally hereditary radicals are precisely the radicals for which the classes $ {\mathcal R} ( r) $ and $ {\mathcal P} ( r) $ are closed under passing to ideals. A radical $ r $ is called hereditary if the class $ {\mathcal R} ( r) $ is closed under passing to ideals. In the class of associative, and also in that of alternative, algebras, each hereditary radical is torsion. A radical $ r $ is called strictly hereditary if the class $ {\mathcal P} ( r) $ is closed under taking subalgebras.

The class of all torsion radicals is a complete distributive "lattice" (see Distributive lattice). The use of quotation marks here is due to the fact that the collection of elements of this "lattice" is not a set but a class.

In the class of all torsion radicals two opposite subclasses may be distinguished: the class of super-nilpotent torsion radicals, that is, torsion radicals $ r $ such that all algebras with zero multiplication are $ r $- radical, and the class of sub-idempotent torsion radicals, i.e., torsion radicals $ r $ such that all algebras with zero multiplication are $ r $- semi-simple (and all $ r $- radical algebras are idempotent). An important special case of super-nilpotent radicals are the special radicals, i.e., torsion radicals $ r $ such that all $ r $- semi-simple algebras decompose into a subdirect sum of primary $ r $- semi-simple algebras. There are super-nilpotent non-special radicals (see [5], [7]).

Radicals in the class of associative rings.

Let $ \mathfrak A $ be the class of all associative rings and define:

$ \phi $— the lower radical determined by the class of all simple rings with zero multiplication;

$ \beta $( the lower Baer radical) — the lower radical determined by the class of all nilpotent rings; the upper radical determined by the class of all primary rings; the least special radical; or the intersection of the prime ideals of the ring;

$ {\mathcal L} $( the Levitzki radical) — the lower radical determined by the class of all locally nilpotent rings; or the sum of all locally nilpotent ideals of the ring and containing every one-sided locally nilpotent ideal of the ring;

$ {\mathcal K} $( the upper nil radical or Köthe radical) — the lower radical determined by the class of all nil rings;

$ {\mathcal J} $( the Jacobson radical) — the upper radical determined by the class of all primitive rings; the intersection of all primitive ideals of the ring; or the intersection of all modular maximal right (left) ideals. It is a quasi-regular ideal containing all quasi-regular right (left) ideals;

$ {\mathcal T} $( the Brown–McCoy radical) — the upper radical determined by the class of all simple rings with an identity. It coincides with the upper radical of its partition; it is equal to the intersection of all maximal modular ideals of the rings;

$ \tau $— the upper radical determined by the class of all matrix rings over fields;

$ {\mathcal A} $( the generalized nil radical) — the upper radical determined by the class of all rings without divisor of zero;

$ F $— the upper radical determined by the class of all fields.

In the class of associative rings one has the strict inequalities:

$$ \phi < \beta < {\mathcal L} < {\mathcal K} < {\mathcal J} < {\mathcal T} < \tau < F , $$

$$ {\mathcal K} < {\mathcal A} < F . $$

In the class of rings with a minimum condition the first seven radicals coincide and correspond to the classical radical. If a radical $ r $ induces the radical on the class of rings with a minimum condition, then $ \phi < r < \tau $. For rings with a maximum condition, $ \beta = {\mathcal L} = {\mathcal K} $. For commutative rings, $ {\mathcal J} = {\mathcal T} = \tau = F $, $ \beta = {\mathcal L} = {\mathcal K} = {\mathcal A} $. The radicals $ \beta $, $ {\mathcal L} $, $ {\mathcal K} $, $ {\mathcal J} $, $ {\mathcal T} $, $ \tau $, $ {\mathcal A} $, $ F $ are special. The radicals $ \phi $, $ \beta $, $ {\mathcal L} $ correspond to the same partition of the simple rings, and $ {\mathcal J} $, $ {\mathcal T} $, $ \tau $, $ {\mathcal A} $, $ F $ to other pairwise different partitions.

References

[1a] S.A. Amitsur, "A general theory of radicals I. Radicals in complete lattices" Amer. J. Math. , 74 (1952) pp. 774–786
[1b] S.A. Amitsur, "A general theory of radicals II. Radicals in rings and bicategories" Amer. J. Math. , 76 (1954) pp. 100–125
[1c] S.A. Amitsur, "A general theory of radicals III. Applications" Amer. J. Math. , 76 (1954) pp. 126–136
[2] A.G. Kurosh, "Radicals of rings and algebras" Mat. Sb. , 33 : 1 (1953) pp. 13–26 (In Russian)
[3] N.J. Divinsky, "Rings and radicals" , Allen & Unwin (1965)
[4] E. Artin, C.J. Nesbitt, R.M. Thrall, "Rings with minimum condition" , Univ. Michigan Press , Ann Arbor (1946)
[5] Itogi Nauk. Algebra Topol. Geom. 1967 (1969) pp. 28–32
[6] V.A. Andrunakievich, Yu.M. Rabukhin, "The theory of radicals of rings" L.A. Bokut' (ed.) et al. (ed.) , Rings , 2 , Novosibirsk (1973) pp. 3–6 (In Russian)
[7] V.A. Andrunakievich, Yu.M. Ryabukhin, "Radicals of algebras and structure theory" , Moscow (1979) (In Russian)
[8] K.A. Zhevlakov, A.M. Slin'ko, I.P. Shestakov, A.I. Shirshov, "Rings that are nearly associative" , Acad. Press (1982) (Translated from Russian)

V.A. Andrunakievich

In the class of Lie algebras the radical is the largest solvable ideal, that is, the solvable ideal $ \mathfrak r $ containing all solvable ideals of the given Lie algebra (cf. Solvable group). In a finite-dimensional Lie algebra $ \mathfrak g $ there is also a largest nilpotent ideal $ \mathfrak n $( sometimes called the nil radical) that coincides with the largest ideal consisting of nilpotent elements, and also with the set of $ x \in \mathfrak g $ such that the adjoint operator is contained in the radical of the associative algebra of linear transformations of $ \mathfrak g $ generated by the adjoint Lie algebra $ \mathop{\rm ad} \mathfrak g $. The nilpotent radical $ \mathfrak s $ of a Lie algebra $ \mathfrak g $ has also been considered — the set of those $ x \in \mathfrak g $ such that $ \sigma ( x) = 0 $ for any irreducible finite-dimensional linear representation $ \sigma $ of $ \mathfrak g $. The nilpotent radical also coincides with the largest ideal represented by nilpotent operators for any finite-dimensional linear representation of $ \mathfrak g $. Here $ \mathfrak r \supseteq \mathfrak n \supseteq \mathfrak s $. If the characteristic of the ground field is $ 0 $, then $ \mathfrak s $ is the smallest ideal $ \mathfrak i \subset \mathfrak g $ for which $ \mathfrak g / \mathfrak i $ is a reductive Lie algebra (cf. Lie algebra, reductive). In this case the nilpotent radical is related to $ \mathfrak r $ by:

$$ \mathfrak s = [ \mathfrak g , \mathfrak r ] = [ \mathfrak g , \mathfrak g ] \cap \mathfrak r ; $$

any derivation of $ \mathfrak g $ transforms $ \mathfrak r $ to $ \mathfrak n $ and $ \mathfrak s $ to $ \mathfrak s $. The nil radical and the nilpotent radical, however, are not radicals in the sense of the general theory of radicals of rings and algebras.

References

[1] N. Jacobson, "Lie algebras" , Interscience (1962) ((also: Dover, reprint, 1979))
[2] , Theórie des algèbres de Lie. Topologie des groupes de Lie , Sem. S. Lie , Ie année 1954–1955 , Secr. Math. Univ. Paris (1955)
[3] C. Chevalley, "Theory of Lie groups" , 1 , Princeton Univ. Press (1946)

A.L. Onishchik

Comments

References

[a1] N. Bourbaki, "Groupes et algèbres de Lie" , Hermann (1960) pp. Chapt. I: Algèbres de Lie
How to Cite This Entry:
Radical of rings and algebras. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Radical_of_rings_and_algebras&oldid=39418
This article was adapted from an original article by V.A. Andrunakievich, A.L. Onishchik (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article