Product of rings

Short description: Ring built from other rings (mathematics)

Algebraic structure → Ring theory
Ring theory

Basic concepts

Rings

• Subrings
• Ideal
• Quotient ring

• Fractional ideal
• Total quotient ring
• Product ring
• Free product of associative algebras
• Tensor product of rings

Ring homomorphisms

• Kernel
• Inner automorphism
• Frobenius endomorphism

Algebraic structures

• Module
• Associative algebra
• Graded ring
• Involutive ring
• Category of rings

• Initial ring ℤ
• Terminal ring 0=ℤ1

Related structures

• Field

• Finite field
• Non-associative ring

• Lie ring
• Jordan ring
• Semiring

• Semifield

* * *

Commutative algebra

Commutative rings

• Integral domain

• Integrally closed domain
• GCD domain
• Unique factorization domain
• Principal ideal domain
• Euclidean domain
• Field

• Finite field
• Composition ring

• Polynomial ring
• Formal power series ring

Algebraic number theory

• Algebraic number field
• Ring of integers
• Algebraic independence
• Transcendental number theory
• Transcendence degree

p-adic number theory and decimals

• Direct limit/Inverse limit
• Zero ring ℤ1
• Integers modulo pn ℤ/pnℤ
• Prüfer p-ring ℤ(p∞)
• Base-p circle ring 𝕋
• Base-p integers ℤ
• p-adic rationals ℤ[1/p]
• Base-p real numbers ℝ
• p-adic integers ℤp
• p-adic numbers ℚp
• p-adic solenoid 𝕋p

Algebraic geometry

• Affine variety

* * *

Noncommutative algebra

Noncommutative rings

• Division ring
• Semiprimitive ring
• Simple ring
• Commutator

Noncommutative algebraic geometry

Free algebra

Clifford algebra

• Geometric algebra
Operator algebra

* v
* t
* e

In mathematics, a product of rings or direct product of rings is a ring that is formed by the Cartesian product of the underlying sets of several rings (possibly an infinity), equipped with componentwise operations. It is a direct product in the category of rings.

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 ℤ/mnℤ is the product of ℤ/mℤ and ℤ/nℤ.

## 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=p1n1p2n2⋯ pknk,

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

𝐙/p1n1𝐙 × 𝐙/p2n2𝐙 × ⋯ × 𝐙/pknk𝐙.

This follows from the Chinese remainder theorem.

## Properties

If R = Πi∈I Ri is a product of rings, then for every i in I we have a surjective ring homomorphism pi : R → Ri which projects the product on the i th coordinate. The product R together with the projections pi has the following universal property:

if S is any ring and fi : S → Ri is a ring homomorphism for every i in I, then there exists precisely one ring homomorphism f : S → R such that pi ∘ f = fi 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 Ri coincides with the direct sum of the additive groups of the Ri. In this case, some authors call R the "direct sum of the rings Ri" and write ⊕i∈I Ri, 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 Ri are non-trivial, the inclusion map Ri → 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 Ai is an ideal of Ri for each i in I, then A = Πi∈I Ai 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 Ri 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 Ri. The ideal A is a prime ideal in R if all but one of the Ai are equal to Ri and the remaining Ai is a prime ideal in Ri. However, the converse is not true when I is infinite. For example, the direct sum of the Ri 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 pi (x) is a unit in Ri for every i in I. The group of units of R is the product of the groups of units of the Ri.

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 pi (x) and y is an element of the product with all coordinates zero except pj (y) where i ≠ j, then xy = 0 in the product ring.

## References

* Herstein, I.N. (2005), Noncommutative rings (5th ed.), Cambridge University Press, ISBN 978-0-88385-039-8, https://archive.org/details/noncommutativeri0000hers
* Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, 211 (Revised third ed.), New York: Springer-Verlag, p. 91, ISBN 978-0-387-95385-4

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Product of rings. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Product_of_rings&oldid=335345"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template