In mathematics, it is possible to combine several rings into one large **product ring**. This is done as follows: if *I* is some index set and *R*_{i} is a ring for every *i* in *I*, then the cartesian product Π_{i in I} *R*_{i} can be turned into a ring by defining the operations coordinatewise, i.e. Euclid, detail from The School of Athens by Raphael. ...
In mathematics, a ring is an algebraic structure in which addition and multiplication are defined and have properties listed below. ...
In mathematics, an index set is another name for a function domain. ...
In mathematics, the Cartesian product (or direct product) of two sets X and Y, denoted X Ã— Y, is the set of all possible ordered pairs whose first component is a member of X and whose second component is a member of Y: The Cartesian product is named after RenÃ© Descartes...
- (
*a*_{i}) + (*b*_{i}) = (*a*_{i} + *b*_{i}) - (
*a*_{i}) · (*b*_{i}) = (*a*_{i} · *b*_{i}) The resulting ring is called a **direct product** of the rings *R*_{i}. The direct product of finitely many rings *R*_{1},...,*R*_{k} is also written as *R*_{1} × *R*_{2} × ... × *R*_{k}.
## Examples
The most important example is the ring **Z**/*n***Z** of integers modulo *n*. If *n* is written as a product of prime powers (see fundamental theorem of arithmetic): The integers consist of the positive natural numbers (1, 2, 3, â€¦), their negatives (âˆ’1, âˆ’2, âˆ’3, ...) and the number zero. ...
Modular arithmetic (sometimes called modulo arithmetic) is a system of arithmetic for integers, where numbers wrap around after they reach a certain value â€” the modulus. ...
In mathematics, a prime number (or a prime) is a natural number that has exactly two (distinct) natural number divisors, which are 1 and the prime number itself. ...
In mathematics, and in particular number theory, the fundamental theorem of arithmetic or unique factorization theorem is the statement that every positive integer greater than 1 is either a prime number or can be written as a product of prime numbers. ...
where the *p*_{i} are distinct primes, then **Z**/*n***Z** is naturally isomorphic to the product ring In mathematics, an isomorphism (in Greek isos = equal and morphe = shape) is a kind of interesting mapping between objects. ...
This follows from the Chinese remainder theorem. link titleThe Chinese remainder theorem (CRT) is the name for several related results in abstract algebra and number theory. ...
## Properties If *R* = Π_{i in I} *R*_{i} is a product of rings, then for every *i* in *I* we have a surjective ring homomorphism *p*_{i} : *R* `->` *R*_{i} which projects the product on the *i*-th coordinate. The product *R*, together with the projections *p*_{i}, has the following universal property: In mathematics, a surjective function (or onto function or surjection) is a function with the property that all possible output values of the function are generated when the input ranges over all the values in the domain. ...
In abstract algebra, a ring homomorphism is a function between two rings which respects the operations of addition and multiplication. ...
In various branches of mathematics, certain constructions are frequently defined or characterised by an abstract property which requires the existence of a unique morphism under certain conditions. ...
- if
*S* is any ring and *f*_{i} : *S* → *R*_{i} is a ring homomorphism for every *i* in *I*, then there exists *precisely one* ring homomorphism *f* : *S* → *R* such that *p*_{i} o *f* = *f*_{i} for every *i* in *I*. This shows that the product of rings is an instance of products in the sense of category theory. In category theory, one defines products to generalize constructions such as the cartesian product of sets, the product of groups, the product of rings and the product of topological spaces. ...
If *A* is a (left, right, two-sided) ideal in *R*, then there exist (left, right, two-sided) ideals *A*_{i} in *R*_{i} such that *A* = Π_{i in I} *A*_{i}. Conversely, every such product of ideals is an ideal in *R*. *A* is a prime ideal in *R* if and only if all but one of the *A*_{i} are equal to *R*_{i} and the remaining *A*_{i} is a prime ideal in *R*_{i}. In ring theory, a branch of abstract algebra, an ideal is a special subset of a ring which generalizes important properties of integers. ...
In mathematics, a prime ideal is a subset of a ring which shares many important properties of a prime number in the ring of integers. ...
An element *x* in *R* is a unit if and only if all of its components are units, i.e. if and only if *p*_{i}(*x*) is a unit in *R*_{i} for every *i* in *I*. The group of units of *R* is the product of the groups of units of *R*_{i}. A product of more than one non-zero rings always has zero divisors: if *x* is an element of the product all of whose coordinates are zero except *p*_{i}(*x*), and *y* is an element of the product with all coordinates zero except *p*_{j}(*y*) (with *i* ≠ *j*), then *xy* = 0 in the product ring. In abstract algebra, a non-zero element a of a ring R is a left zero divisor if there exists a non-zero b such that ab = 0. ...
## See also |