Radical of rings and algebras
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 .
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 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 be an abstract property that an algebra of may or may not have. An algebra having property is called an -algebra. An ideal of an algebra is called an -ideal if is an -algebra. An algebra is called -semi-simple if it has no non-zero -ideals. It is said that is a radical property of the class , or that there is given a radical in (in the sense of Kurosh), if the following conditions are satisfied:
a) a homomorphic image of an -algebra is an -algebra;
b) each algebra of has a largest -ideal, that is, an ideal containing any -ideal of this algebra; this maximal -ideal is then called the -radical of and is denoted by ;
c) the quotient algebra is -semi-simple.
An algebra coinciding with its radical is called a radical algebra. In any class of algebras and for any radical, 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 there are two subclasses of algebras in ; the class of all -radical algebras and the class of all -semi-simple algebras. With respect to each of these classes a radical , for each algebra from , can be defined, namely:
An algebra is -radical if and only if it cannot be mapped homomorphically onto a non-zero -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 . 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 . Namely, if contains (and, in this case, contains ).
For each subclass of the lower radical class generated by is the least radical class containing , and the radical corresponding to it is called the lower radical determined by . The upper radical class determined by is the largest radical class relative to the radicals of which all the algebras from are semi-simple (this radical is called the upper radical determined by ). For any class the lower radical class exists. If is a class of associative algebras, then any subclass also has an upper radical. In the non-associative case the upper radical need not exist. Sufficient conditions on a class are known for the upper radical for 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 of -semi-simple algebras, or the upper class, and the class of all -radical simple algebras, or the lower class. One says that the radical corresponds to this partition. Conversely, for an arbitrary partition of the simple algebras into two disjoint classes, one of which, , is called upper and the other, , is called lower, there is a radical corresponding to the given partition. These will be the upper radical determined by , as well as the lower radical determined by ; the radicals and are called, respectively, the upper and lower radicals of the given partition of the class of simple algebras. For any radical corresponding to the same partition of the simple algebras, . In the class of all associative algebras, for any partition of the simple algebras, . 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.
A radical is called an ideally hereditary radical, or a torsion radical, in the class if for any ideal of an algebra of this class one has . Ideally hereditary radicals are precisely the radicals for which the classes and are closed under passing to ideals. A radical is called hereditary if the class 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 is called strictly hereditary if the class 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 such that all algebras with zero multiplication are -radical, and the class of sub-idempotent torsion radicals, i.e., torsion radicals such that all algebras with zero multiplication are -semi-simple (and all -radical algebras are idempotent). An important special case of super-nilpotent radicals are the special radicals, i.e., torsion radicals such that all -semi-simple algebras decompose into a subdirect sum of primary -semi-simple algebras. There are super-nilpotent non-special radicals (see , ).
Radicals in the class of associative rings.
Let be the class of all associative rings and define:
— the lower radical determined by the class of all simple rings with zero multiplication;
(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;
(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;
(the upper nil radical or Köthe radical) — the lower radical determined by the class of all nil rings;
(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;
(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;
— the upper radical determined by the class of all matrix rings over fields;
(the generalized nil radical) — the upper radical determined by the class of all rings without divisor of zero;
— 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 rings with a minimum condition the first seven radicals coincide and correspond to the classical radical. If a radical induces the radical on the class of rings with a minimum condition, then . For rings with a maximum condition, . For commutative rings, , . The radicals , , , , , , , are special. The radicals , , correspond to the same partition of the simple rings, and , , , , to other pairwise different partitions.
|[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|
|||A.G. Kurosh, "Radicals of rings and algebras" Mat. Sb. , 33 : 1 (1953) pp. 13–26 (In Russian)|
|||N.J. Divinsky, "Rings and radicals" , Allen & Unwin (1965)|
|||E. Artin, C.J. Nesbitt, R.M. Thrall, "Rings with minimum condition" , Univ. Michigan Press , Ann Arbor (1946)|
|||Itogi Nauk. Algebra Topol. Geom. 1967 (1969) pp. 28–32|
|||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)|
|||V.A. Andrunakievich, Yu.M. Ryabukhin, "Radicals of algebras and structure theory" , Moscow (1979) (In Russian)|
|||K.A. Zhevlakov, A.M. Slin'ko, I.P. Shestakov, A.I. Shirshov, "Rings that are nearly associative" , Acad. Press (1982) (Translated from Russian)|
In the class of Lie algebras the radical is the largest solvable ideal, that is, the solvable ideal containing all solvable ideals of the given Lie algebra (cf. Solvable group). In a finite-dimensional Lie algebra there is also a largest nilpotent ideal (sometimes called the nil radical) that coincides with the largest ideal consisting of nilpotent elements, and also with the set of such that the adjoint operator is contained in the radical of the associative algebra of linear transformations of generated by the adjoint Lie algebra . The nilpotent radical of a Lie algebra has also been considered — the set of those such that for any irreducible finite-dimensional linear representation of . The nilpotent radical also coincides with the largest ideal represented by nilpotent operators for any finite-dimensional linear representation of . Here . If the characteristic of the ground field is , then is the smallest ideal for which is a reductive Lie algebra (cf. Lie algebra, reductive). In this case the nilpotent radical is related to by:
any derivation of transforms to and to . The nil radical and the nilpotent radical, however, are not radicals in the sense of the general theory of radicals of rings and algebras.
|||N. Jacobson, "Lie algebras" , Interscience (1962) ((also: Dover, reprint, 1979))|
|||, 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)|
|||C. Chevalley, "Theory of Lie groups" , 1 , Princeton Univ. Press (1946)|
|[a1]||N. Bourbaki, "Groupes et algèbres de Lie" , Hermann (1960) pp. Chapt. I: Algèbres de Lie|
Radical of rings and algebras. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Radical_of_rings_and_algebras&oldid=39418