Product of rings · Lablypedia

Related on Lably

Through Mathematics, Ring (mathematics) and Cartesian product

LabHide & Seek Ghar LabTarazu Bazaar LabThe Counting Market LabFestival Mela

Since direct products are defined up to an isomorphism, one says colloquially that a ring is the product of some rings if it is isomorphic to the direct product of these rings. For example, the Chinese remainder theorem may be stated as: if m and n are coprime integers, the quotient ring $Z / m n Z$ is the product of $Z / m Z$ and $Z / n Z .$

Examples

An important example is Z/nZ, the ring of integers modulo n. If n is written as a product of prime powers (see Fundamental theorem of arithmetic),

n = p_{1}^{n_{1}} p_{2}^{n_{2}} \dots p_{k}^{n_{k}},

where the p_i are distinct primes, then Z/nZ is naturally isomorphic to the product

Z / p_{1}^{n_{1}} Z \times Z / p_{2}^{n_{2}} Z \times \dots \times Z / p_{k}^{n_{k}} Z .

This follows from the Chinese remainder theorem.

One more chapter is free with a Lably account.

Properties

If R = Π_i∈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 ith coordinate. The product R together with the projections p_i has the following universal property:

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 ∘ 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.

When I is finite, the underlying additive group of Π_i∈I R_i coincides with the direct sum of the additive groups of the R_i. In this case, some authors call R the "direct sum of the rings R_i" and write ⊕_i∈I R_i, but this is incorrect from the point of view of category theory, since it is usually not a coproduct in the category of rings (with identity): for example, when two or more of the R_i are non-trivial, the inclusion map R_i → R fails to map 1 to 1 and hence is not a ring homomorphism.

(A finite coproduct in the category of commutative algebras over a commutative ring is a tensor product of algebras. A coproduct in the category of algebras is a free product of algebras.)

Direct products are commutative and associative up to natural isomorphism, meaning that it doesn't matter in which order one forms the direct product.

If A_i is an ideal of R_i for each i in I, then A = Π_i∈I A_i is an ideal of R. If I is finite, then the converse is true, i.e., every ideal of R is of this form. However, if I is infinite and the rings R_i are non-trivial, then the converse is false: the set of elements with all but finitely many nonzero coordinates forms an ideal which is not a direct product of ideals of the R_i. The ideal A is a prime ideal in R 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. However, the converse is not true when I is infinite. For example, the direct sum of the R_i form an ideal not contained in any such A, but the axiom of choice gives that it is contained in some maximal ideal which is a fortiori prime.

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 the R_i.

A product of two or more non-trivial rings always has nonzero zero divisors: if x is an element of the product whose coordinates are all zero except p_i(x) and y is an element of the product with all coordinates zero except p_j(y) where i ≠ j, then xy = 0 in the product ring.

More in Algebra

Vector spaceAlgebraic structure in linear algebra Field (mathematics)Algebraic structure with addition, multiplication, and division Matrix (mathematics)Array of numbers Group (mathematics)Set with associative invertible operation Eigenvalues and eigenvectorsConcepts from linear algebra IsomorphismIn mathematics, invertible homomorphism