Namespaces
Variants
Actions

Difference between revisions of "Associative rings and algebras"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m
Line 1: Line 1:
 +
 +
{{TEX|want}}
 +
 
Rings and algebras with an associative multiplication, i.e. sets with two binary operations, addition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013510/a0135101.png" /> and multiplication <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013510/a0135102.png" />, that are Abelian groups with respect to addition and semi-groups with respect to multiplication, and in which the multiplication is distributive (from the left and from the right) with respect to the addition. Moreover, an associative algebra should be a vector space over a fixed field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013510/a0135103.png" />, and the multiplication in it is compatible with multiplication by field elements in the sense of the condition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013510/a0135104.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013510/a0135105.png" /> and all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013510/a0135106.png" /> from the algebra.
 
Rings and algebras with an associative multiplication, i.e. sets with two binary operations, addition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013510/a0135101.png" /> and multiplication <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013510/a0135102.png" />, that are Abelian groups with respect to addition and semi-groups with respect to multiplication, and in which the multiplication is distributive (from the left and from the right) with respect to the addition. Moreover, an associative algebra should be a vector space over a fixed field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013510/a0135103.png" />, and the multiplication in it is compatible with multiplication by field elements in the sense of the condition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013510/a0135104.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013510/a0135105.png" /> and all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013510/a0135106.png" /> from the algebra.
  

Revision as of 14:12, 29 January 2012


Rings and algebras with an associative multiplication, i.e. sets with two binary operations, addition and multiplication , that are Abelian groups with respect to addition and semi-groups with respect to multiplication, and in which the multiplication is distributive (from the left and from the right) with respect to the addition. Moreover, an associative algebra should be a vector space over a fixed field , and the multiplication in it is compatible with multiplication by field elements in the sense of the condition for all and all from the algebra.

The first examples of associative rings and associative algebras were number rings and fields (the field of complex numbers and its subrings), polynomial algebras, matrix algebras over fields, and function fields. The theory of associative rings and algebras became an independent part of algebra at the beginning of the 20th century. This theory has many contact points with numerous fields of mathematics, especially so with algebraic geometry and algebraic number theory (commutative rings), functional analysis (commutative normed rings, operator rings and function rings), and topology (rings of continuous functions on topological spaces). The theory of fields, the theory of commutative rings (cf. Field; Commutative ring, see also Commutative algebra) and the theory of representations of associative algebras have become independent branches of the theory of associative rings and algebras. The theory of topological rings and skew-fields forms part of topological algebra.

The classical part of the theory of associative rings and algebras is formed by the theory of finite-dimensional associative algebras [2]. The principal results of this theory are: A finite-dimensional simple associative algebra (i.e. one without proper ideals) over a field is a complete matrix algebra over some skew-field that is finite-dimensional over (Wedderburn's theorem); a finite-dimensional associative algebra over a field of characteristic zero (and, even more generally — a separable finite-dimensional associative algebra) is the direct sum (as linear spaces) of its radical I (i.e. its maximal nilpotent ideal) and some semi-simple (i.e. with a radical zero) subalgebra , any two complementary semi-simple subalgebras and being conjugate (cf. Wedderburn–Mal'tsev theorem).

One of the most important classes of associative algebras are skew-fields (cf. Skew-field, i.e. associative rings in which the equations and are solvable for all , in the ring, ). Skew-fields that are algebras over a certain field are called division algebras (cf. Division algebra). The theory of finite-dimensional division algebras forms a classical part of the theory of fields. All finite-dimensional associative division algebras over the field of real numbers have been described: these are the field of real numbers, the field of complex numbers and the skew-field of quaternions (cf. Frobenius theorem). All finite skew-fields are commutative (Wedderburn's theorem on skew-fields). A Galois theory of skew-fields has been constructed [5].

The key concepts in the structural theory of associative rings are the concepts of the Jacobson radical, semi-simplicity and primitivity. An associative ring is called semi-simple (in the sense of Jacobson) if its Jacobson radical is zero. A ring is called primitive (from the right) if it has an irreducible exact right module. All semi-simple associative rings are a subdirect sum of primitive rings. Any primitive associative ring is a dense ring of linear transformations of some vector space over a skew-field (Jacobson's density theorem); here the meaning of density is that for all linearly independent elements from and all elements from there exists a transformation such that for . The general theory of radicals occupies an important place in the structural theory of rings (cf. Radical of rings and algebras).

The theory of Artinian rings (from the right, cf. Artinian ring), i.e. rings with the descending chain condition (minimum condition) for right ideals, forms a classical part of the theory of associative rings. The main result of this theory is that an associative ring is a semi-simple Artinian ring if and only if it is a direct sum of a finite number of complete matrix rings over skew-fields (the Wedderburn–Artin theorem).

The concept of the (classical) ring of fractions is important in the structural theory of associative rings. A ring is called the (right) ring of fractions of a subring of it if in all the regular elements (i.e. not divisors of zero) of are invertible and if any element of has the form , where . An associative ring has a ring of fractions if and only if for all elements , where is regular, there exist elements such that and is regular (Ore's theorem). A ring has a semi-simple Artinian ring of fractions if and only if it is semi-primary (i.e. for all non-zero ideals ), satisfies the minimum condition for right annihilating ideals of the form

where is a subset of , and contains no infinite direct sums of right ideals (Goldie's theorem). In addition to the classical rings of fractions, rings of fractions having other meanings are also studied — mainly maximal or complete rings of fractions [8].

Special stress is laid on the study of free associative algebras (cf. Free associative algebra). Let be a field and let be a set. The free associative algebra over with a unit element and with base is the algebra of non-commutative polynomials with free terms in the set of variables and with coefficients from . The algebra is characterized by the fact that it is is generated by as an algebra with a unit element and any mapping of into an associative algebra with a unit element can be extended (even uniquely) to a homomorphism from into . A free associative algebra is a ring with free ideals, i.e. the right (left) ideals of the ring are free right (left) -modules, and all bases of the free finitely-generated -modules contain the same number of elements (Cohn's theorem). Other examples of rings with free ideals are group algebras of free groups, and free products of associative division algebras. The free associative algebra is also a unique factorization domain: Any non-invertible element has a representation , where are irreducible elements, and this representation is unique except for the order of the sequence and similarities (two element and of a ring are called similar if and are isomorphic as right -modules). The centralizer of each non-scalar element of the algebra is isomorphic to the algebra of polynomials in one variable (Bergman's theorem).

Group algebras and PI-algebras are important classes of associative algebras (cf. Group algebra; PI-algebra). The theory of varieties of rings is in the process of being developed.

The importance of ring theory in mathematics has increased with the development of homological algebra. Many known classes of rings may be characterized in terms of properties of the category of modules (cf. Modules, category of) over these rings. For instance, a ring is a semi-simple Artinian ring if and only if all right (left) modules over are projective (injective). A ring is regular (in the sense of von Neumann) if and only if all right (left) modules over are flat. See also Regular ring (in the sense of von Neumann); Homological classification of rings; Quasi-Frobenius ring.

References

[1] B.L. van der Waerden, "Algebra" , 1–2 , Springer (1967–1971) (Translated from German)
[2] A.A. Albert, "Structure of algebras" , Amer. Math. Soc. (1939)
[3] E. Artin, C.J. Nesbitt, R.M. Thrall, "Rings with minimum condition" , Univ. Michigan Press , Ann Arbor (1946)
[4] N. Jacobson, "The theory of rings" , Amer. Math. Soc. (1943)
[5] N. Jacobson, "Structure of rings" , Amer. Math. Soc. (1956)
[6] A.G. Kurosh, "Lectures on general algebra" , Chelsea (1963) (Translated from Russian)
[7] I.N. Herstein, "Noncommutative rings" , Math. Assoc. Amer. (1968)
[8] J. Lambek, "Lectures on rings and modules" , Blaisdell (1966)
[9] C.W. Curtis, I. Reiner, "Representation theory of finite groups and associative algebras" , Interscience (1962)
[10] L.S. Pontryagin, "Topological groups" , Princeton Univ. Press (1958) (Translated from Russian)
[11] P.M. Cohn, "Free rings and their relations" , Acad. Press (1971)
[12] O. Zariski, P. Samuel, "Commutative algebra" , 1 , v. Nostrand (1960)
[13] H. Cartan, S. Eilenberg, "Homological algebra" , Princeton Univ. Press (1956)
[14] Itogi Nauk. Algebra Topol. 1962 (1963) pp. 59–79
[15] Itogi Nauk. Algebra Topol. Geom. 1965 (1967) pp. 133–180
[16] Itogi Nauk. Algebra Topol. Geom. 1968 (1970) pp. 9–56
[17] L.A. Bokut', E.N. Kuz'min, A.I. Shirshov, "Rings" , 1–3 , Novosibirsk (1973) (In Russian)
[18] N.J. Divinsky, "Rings and radicals" , Allen & Unwin (1965)
[19] D.S. Passman, "Infinite group rings" , New York (1971)
[20] C. Procesi, "Rings with polynomial identities" , M. Dekker (1973)


Comments

References

[a1] C. Faith, "Algebra: rings, modules, and categories" , 1 , Springer (1973)
[a2] C. Faith, "Algebra" , II. Ring theory , Springer (1976)
[a3] R. Gilmore, "Multiplicative ideal theory" , M. Dekker (1972)
[a4] B.R. McDonald, "Finite rings with identity" , M. Dekker (1974)
How to Cite This Entry:
Associative rings and algebras. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Associative_rings_and_algebras&oldid=15123
This article was adapted from an original article by L.A. Bokut' (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article