product of rings

In abstract algebra, 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.

(a_i) + (b_i) = (a_i + b_i)

(a_i) (b_i) = (a_i b_i)

The product of finitely many rings R₁,...,R_k is also written as R₁ × R₂ × ... × R_k.

Examples

The most important example is the ring Z/nZ 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}\ \cdots\ {p_k}^{n_k}

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

\mathbf{Z}/{p_1}^{n_1}\mathbf{Z} \ \times \ \mathbf{Z}/{p_2}^{n_2}\mathbf{Z} \ \times \ \cdots \ \times \ \mathbf{Z}/{p_k}^{n_k}\mathbf{Z}

This follows from the Chinese remainder theorem.

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:

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

<< Previous

Word Browser

Next >>

proton proton chain reaction
plankton
pi day
the excellent prismatic spray
positivism
pauli effect
pat mills
pearl index
presbyterian church usa
pia colada
packbits

pub rock (australia)
phonation
principal ideal domain
pioneer program
p 38 lightning
prayer
punjabi language
power associativity
pierre de coubertin
polish notation
peyote

primary education
preprocessing
piedmont
palestinian views of the peace process
posthumanism
parameter
procedure
paavo nurmi
purple heart
polyatomic ion
persecution of christians

processor
photograph
paradigm shift
public speaking
pecorino romano cheese
parity
la parrina
pr watch
philip ii of france
preposition
peripheral nervous system