Namespaces
Variants
Actions

Difference between revisions of "Rings and algebras"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (MR/ZBL numbers added)
m (link)
Line 7: Line 7:
 
for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082480/r08248017.png" />. In general, a ring need not have an identity. Every skew-field is an associative ring with an identity and without divisors of zero. A commutative associative ring without divisors of zero and with an identity is called an integral domain.
 
for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082480/r08248017.png" />. In general, a ring need not have an identity. Every skew-field is an associative ring with an identity and without divisors of zero. A commutative associative ring without divisors of zero and with an identity is called an integral domain.
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082480/r08248018.png" /> be an associative ring with identity 1. Then a (not necessarily associative) ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082480/r08248019.png" /> is called an algebra over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082480/r08248020.png" />, or a [[Ring with operators|ring with operators]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082480/r08248021.png" />, if for any two elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082480/r08248022.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082480/r08248023.png" /> there is a unique product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082480/r08248024.png" /> such that the following relations hold for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082480/r08248025.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082480/r08248026.png" />:
+
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082480/r08248018.png" /> be an associative [[ring with identity]] 1. Then a (not necessarily associative) ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082480/r08248019.png" /> is called an algebra over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082480/r08248020.png" />, or a [[Ring with operators|ring with operators]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082480/r08248021.png" />, if for any two elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082480/r08248022.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082480/r08248023.png" /> there is a unique product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082480/r08248024.png" /> such that the following relations hold for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082480/r08248025.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r082/r082480/r08248026.png" />:
  
 
<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/r082/r082480/r08248027.png" /></td> <td valign="top" style="width:5%;text-align:right;">(1)</td></tr></table>
 
<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/r082/r082480/r08248027.png" /></td> <td valign="top" style="width:5%;text-align:right;">(1)</td></tr></table>

Revision as of 16:10, 11 September 2016

Sets with two binary operations, usually called addition and multiplication. Such a set with an addition and a multiplication is called a ring if: 1) it is an Abelian group with respect to addition (in particular, the ring has a zero element, denoted by 0, and a negative element for each element ); and 2) the multiplication operation is right and left distributive with respect to addition, that is, and , for all in the ring.

If the ring has no divisors of zero, that is, if for any non-zero , then the set of all non-zero elements of the ring is a groupoid with respect to multiplication. The ring is a skew-field if the set of all non-zero elements forms a group with respect to multiplication. A ring is called associative if the multiplication in it satisfies the associative law, that is, for all in . If the multiplication in the ring is commutative, that is, for all in , then the ring is called commutative. By an identity is meant an element 1 of the ring such that

for all . In general, a ring need not have an identity. Every skew-field is an associative ring with an identity and without divisors of zero. A commutative associative ring without divisors of zero and with an identity is called an integral domain.

Let be an associative ring with identity 1. Then a (not necessarily associative) ring is called an algebra over , or a ring with operators , if for any two elements , there is a unique product such that the following relations hold for all , :

(1)

If is commutative, then it is customary to require that the last of conditions (1) be strengthened:

(2)

Any ring can be regarded as an algebra over the ring of the integers by taking the product (where is an integer) to be the usual one, that is, ( times). Therefore a ring can be regarded as a special case of an algebra.

If is an algebra over a field , then, by definition, is a vector space over and therefore has a basis. This makes it possible to construct an algebra over a field in terms of its basis, for which it suffices to define the multiplication table of the basis elements. An algebra over a field is called finite dimensional if it has a finite basis, that is, if it is finite dimensional as a vector space over the field.

The best-known examples of algebras are algebras of square matrices, algebras of polynomials and algebras of formal power series over fields.

An important role is played in the theory of rings and algebras, as in any other algebraic theory, by the notions of homomorphism and isomorphism. Many arguments and descriptions are carried out "up to isomorphism" , that is, isomorphic rings and algebras are not distinguished. The notion of a homomorphism is closely related to those of an ideal and a subalgebra (subring).

Let and be two algebras (over some fixed ring with an identity). A mapping of the set into the set is called a homomorphism of the algebra into the algebra if it "preserves the operations of the algebra" , that is, if

for any , . A homomorphism is called an isomorphism if is a one-to-one mapping from onto . The latter is equivalent to saying that the image of the homomorphism ,

which is in general a subalgebra of , coincides with the whole of , while the kernel of the homomorphism ,

which is in general a two-sided ideal of , is in this case the zero ideal. Only the two-sided ideals of an algebra are kernels of homomorphisms from this algebra, while the homomorphic images of , up to isomorphism, are accounted for by all quotient algebras of by all possible two-sided ideals of it.

Passing from an algebra to its subalgebras and its homomorphic images is one of the methods for obtaining new algebras. For example, one can obtain any commutative associative algebra over a field as a homomorphic image of an algebra of polynomials (in a sufficient number of variables) over . Other frequently-applied constructions that should be mentioned are direct sums and direct and subdirect products of rings and algebras.

Historical information.

Until about the middle of the 19th century only individual examples of rings were known: number rings, that is, subrings of the field of complex numbers, emerging in connection with the requirements of the theory of algebraic equations, and residue-class rings of integers in number theory. The general concept of a ring did not exist.

The first examples of non-commutative rings and algebras are encountered (1843–1844) in the work of W.R. Hamilton and H. Grassmann. These are the skew-field of quaternions (cf. Quaternion), the algebra of biquaternions and the exterior algebra. The concept of a hypercomplex system began to be formulated, that is, in modern terminology, a finite associative algebra over the field of real numbers or the field of complex numbers. In 1870 there appeared in papers by B. Peirce the notions of an idempotent element (cf. Idempotent) and a nilpotent element; and it was proved that if not all elements of a hypercomplex system are nilpotent, then it has at least one non-zero idempotent. This result permitted the development of "the technique of idempotentstechnique of idempotents" and of "Peirce decompositionPeirce decompositions" , which are widely applied in the study of finite-dimensional algebras. After 1870 there began a more general study of hypercomplex systems. Encountered in the works of R. Dedekind is the general notion of an (associative) ring, a skew-field and an algebra over a field (a hypercomplex system), although he called a ring an order. The term "ring" was subsequently introduced by D. Hilbert. K. Weierstrass and Dedekind proved that any finite-dimensional commutative associative algebra without nilpotent elements over the field of real numbers is a direct sum of fields that are isomorphic either to or . In 1878 G. Frobenius proved that the only non-commutative skew-field of finite dimension over the field of real numbers is the skew-field of quaternions.

At the beginning of the 20th century significant results were obtained in papers by S.E. Molin and E. Cartan in the theory of hypercomplex systems. At this time there was already a fairly well-developed theory of homomorphisms, the relation between them and ideals was clarified, and the notion of a direct sum of algebras had emerged. By considering finite-dimensional associative algebras over , Molin introduced the notion of a simple algebra, and proved that the simple algebras are precisely the general matrix algebras over . He also introduced the notion of a radical (now called a classical radical) and proved, in essence, that if the radical of an algebra is zero, then the algebra is a direct sum of simple algebras (cf. Radical of rings and algebras). These results were rediscovered by Cartan, who extended them to algebras over .

At the beginning of the 20th century (associative and finite-dimensional) algebras over an arbitrary field began to be studied, rather than merely over the fields of real or complex numbers. J.M. Wedderburn, by perfecting Peirce's technique of idempotents, carried over the results of Molin and Cartan to the case of an arbitrary field. He also proved that any finite skew-field is commutative.

Finally, in the 1920's and 1930's the study of arbitrary associative rings and algebras began and left and right ideals of rings began to play a large part. In 1925–1926 W. Krull and E. Noether introduced and made systematic use of the maximum and minimum conditions for left ideals. In 1927 E. Artin carried over the results of Wedderburn on the decomposition of semi-simple algebras to all associative rings and algebras whose left ideals simultaneously satisfy the maximum and the minimum condition. In 1929 Noether showed that in this connection it suffices merely to require the minimum condition. In 1939 it was proved that under the minimum condition (as under the maximum condition) the radical of a ring is its largest nilpotent left ideal (see Artinian ring; Noetherian ring). Thus, by 1940 the Molin–Cartan–Wedderburn theory had been carried over to the case of associative rings and algebras with the minimum condition for their left (or right) ideals.

Basic trends in the theory of rings and algebras.

Structure theory gives a description of algebras (as a rule, satisfying certain finiteness conditions), presenting them in the form of a direct sum or a subdirect product of algebras of a simpler structure. Nowadays (that is, since about 1970) the classical Molin–Cartan–Wedderburn–Artin theory for associative rings and algebras has been carried over to the case of rings and algebras with the minimum condition for their principal left ideals. Under this condition it has in fact been proved that if the algebra does not have nilpotent ideals, then it decomposes into a direct (not necessarily finite) sum of simple algebras, while if it does not even have nilpotent elements, then into a direct sum of skew-fields. In the case when the algebra has nilpotent ideals, its structure is considerably more complicated. The best-known theorem concerning such algebras is the Wedderburn–Mal'tsev theorem "on the splitting of a radical" . It concerns the decomposition of a finite-dimensional associative algebra into the semi-direct sum of a radical and a semi-simple subalgebra. A meaningful structure theory has been created for alternative algebras (see Alternative rings and algebras), to which in fact the complete Molin–Cartan–Wedderburn–Artin theory has been carried over, as well as for Jordan algebras (cf. Jordan algebra).

A number of structure theorems have also been obtained without finiteness conditions. Already Krull proved that any commutative associative ring without nilpotent elements decomposes into a subdirect product of rings without divisors of zero. It was subsequently proved that in Krull's theorem the commutativity requirement can be dropped; thereupon a number of criteria were found for the decomposability of an arbitrary non-associative algebra into a subdirect product of algebras without divisors of zero and algebras with unique division.

The theory of simple algebras and skew-fields is closely related to structure theory, since many structure theorems reduce the study of the rings and algebras considered above to that of simple algebras and skew-fields. A description has been obtained of the associative simple algebras with an identity having minimal left ideals, and also of the finite-dimensional alternative and Jordan simple algebras. Automorphisms and derivations of simple associative algebras and skew-fields have been considered (see Algebraic system, automorphism of an; Differential algebra).

The theory of radicals is also closely related to structure theory; structure theorems are as a rule theorems concerning rings and algebras that are semi-simple in the sense of some radical. To obtain new structure theorems various different radicals have been introduced: the Baer lower nil-radical, the Levitski locally nilpotent radical, the quasi-regular Jacobson radical, the Brown–McCoy radical, etc. At the beginning of the 1950's a general theory of radicals was created that is closely related to the theory of modules and representations (see Radical of rings and algebras).

Since then, algebras with identity relations have begun to attract the attention of algebraists, since it was realized that the presence of a (non-trivial) identity strongly influences the structure of rings and algebras. In this connection there is the Kaplansky index theorem on associative algebras: If is a primitive algebra with a polynomial identity of degree , then is a finite-dimensional simple algebra over its centre and its dimension does not exceed (see [6]). There are also several results on non-associative algebras with identity relations (see Variety of rings).

Free algebras and free products (cf. Free algebra; Free product) of algebras are important constructs in the theory of rings and algebras, since any algebra (of some variety) is a homomorphic image of the free algebra of this variety. It has been proved that any subalgebra of a free non-associative algebra is itself free, and that all subalgebras of free commutative algebras, free anti-commutative algebras and free Lie algebras are free. Investigations in this area are closely related to those of algebras with identity relations and varieties of algebras, since the identities of a given variety are defining relations in the free algebra of the given variety.

The theory of imbeddings largely studies questions of imbedding associative rings and algebras into skew-fields or simple algebras in which some or other equations are solvable (see Imbedding of rings). The example of an associative algebra without divisors of zero that is not imbeddable in a skew-field acted as a stimulus to the development of this theory. Thereupon a criterion was discovered for the existence of a (classical) quotient skew-field for associative rings and algebras without divisors of zero, as well as necessary and sufficient conditions for the imbeddability of a ring in a skew-field. The theory of rings of fractions can also be related to the theory of imbeddings (see Fractions, ring of).

The additive theory of ideals arose in connection with a generalization of the fundamental theorem of arithmetic, which is equivalent to the theorem on representing any ideal of the ring of integers as an intersection of powers of prime ideals, to arbitrary commutative associative rings with the maximum condition (that is, Noetherian rings). The fundamental aim of this theory is to represent any ideal of a ring as the intersection of a finite number of ideals of a certain special form (primary, primal, tertiary, etc.). Here the form of the "special" ideals and the form of the decompositions are chosen so that under certain finiteness conditions the "existence theorems" (that is, any ideal has a decomposition) and the "uniqueness theorems" (with each ideal a certain set of simple ideals is associated that does not depend on the decomposition) will hold. This aim has been achieved for Noetherian rings in the classical Noetherian theory of primary ideals. A generalization of this theorem has been found also for the non-commutative case.

Commutative algebra initially concerned itself with number rings arising in algebraic number theory. Nowadays the theory of commutative rings is a rapidly-developing area on the interface between algebra and algebraic geometry.

Normed, topological, ordered, and certain other rings and algebras with extra structures are often encountered in functional analysis and other areas of mathematics. For further details on rings with additional structures see Normed ring; Topological algebra; Ordered ring.

References

[1] N. Bourbaki, "Eléments d'histoire des mathématiques" , Hermann (1960) MR0113788 Zbl 0129.24508
[2] N. Bourbaki, "Eléments de mathématiques. Algèbre: Polynômes; Corps commutatives; Groupes et corps ordonnés" , Masson (1981) pp. Chapts. 4–6 MR0643362 MR0647314
[3] N. Bourbaki, "Elements of mathematics. Algebra: Algebraic structures. Linear algebra" , 1 , Addison-Wesley (1974) pp. Chapt.1;2 (Translated from French) MR0354207
[4] N. Bourbaki, "Elements of mathematics. Commutative algebra" , Addison-Wesley (1972) (Translated from French) MR0360549 Zbl 0279.13001
[5] N. Jacobson, "The theory of rings" , Amer. Math. Soc. (1943) MR0008601 Zbl 0060.07302
[6] N. Jacobson, "Structure of rings" , Amer. Math. Soc. (1956) MR0081264 Zbl 0073.02002
[7] N. Jacobson, "Lie algebras" , Interscience (1962) ((also: Dover, reprint, 1979)) MR0148716 MR0143793 Zbl 0121.27504 Zbl 0109.26201
[8] O. Zariski, P. Samuel, "Commutative algebra" , 1 , Springer (1975) MR0389876 MR0384768 Zbl 0313.13001
[9] M. Atiyah, I.G. Macdonald, "Introduction to commutative algebra" , Addison-Wesley (1969) MR0242802 Zbl 0175.03601
[10] I.N. Herstein, "Noncommutative rings" , Math. Assoc. Amer. (1968) MR1535024 MR0227205 Zbl 0177.05801
[11] A.G. Kurosh, "Higher algebra" , MIR (1972) (Translated from Russian) MR0945393 MR0926059 MR0778202 MR0759341 MR0628003 MR0384363 Zbl 0237.13001
[12] S. Lang, "Algebra" , Addison-Wesley (1974) MR0783636 Zbl 0712.00001
[13] B.L. van der Waerden, "Algebra" , 1–2 , Springer (1967–1971) (Translated from German) MR1541390 Zbl 1032.00002 Zbl 1032.00001 Zbl 0903.01009 Zbl 0781.12003 Zbl 0781.12002 Zbl 0724.12002 Zbl 0724.12001 Zbl 0569.01001 Zbl 0534.01001 Zbl 0997.00502 Zbl 0997.00501 Zbl 0316.22001 Zbl 0297.01014 Zbl 0221.12001 Zbl 0192.33002 Zbl 0137.25403 Zbl 0136.24505 Zbl 0087.25903 Zbl 0192.33001 Zbl 0067.00502
[14] L.S. Pontryagin, "Topological groups" , Princeton Univ. Press (1958) (Translated from Russian) MR0201557 Zbl 0022.17104
[15] M.A. Naimark, "Normed rings" , Reidel (1984) (Translated from Russian) MR1292007 MR0355601 MR0355602 MR0205093 MR0110956 MR0090786 MR0026763 Zbl 0218.46042 Zbl 0137.31703 Zbl 0089.10102 Zbl 0073.08902
[16] C. Faith, "Algebra: rings, modules and categories" , 1 , Springer (1973) MR0366960 Zbl 0266.16001


Comments

For non-commutative rings acting on a ring , the bilinearity condition is practically incompatible with the module conditions and in that then for all , . It is for this reason that the bilinearity condition (2) is not imposed when considering a non-commutative ring of operators on a ring .

The following terminology is used: is a ring with operator ring (or ring of operators) if conditions (1) hold; is a -algebra, or algebra over , if (1) and (2) hold.

References

[a1] L.H. Rowen, "Theory of rings" , I, II , Acad. Press (1988) Zbl 0384.17003 Zbl 0381.17002
How to Cite This Entry:
Rings and algebras. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Rings_and_algebras&oldid=39090
This article was adapted from an original article by V.A. Andrunakievich (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article