Direct product

Short description: Generalization of the Cartesian product

In mathematics, the direct product of a collection of algebraic structures (such as groups, rings, or vector spaces) is a structure of the same type constructed by combining the given structures in a specific way, described below.[1] Its underlying set is the Cartesian product of the underlying sets of the given structures.

The direct sum of a collection of structures agrees with the direct product in some but not all cases. A direct product is an example of a product in a category, whereas a direct sum is an example of a coproduct.[2]

## Contents

* 1 Examples
* 2 Direct product of groups
* 3 Direct product of modules
* 4 Topological space direct product
* 5 Direct product of binary relations
* 6 Direct product in universal algebra
* 7 Categorical product
* 8 Internal and external direct product
* 9 See also
* 10 Notes
* 11 References

## Examples

* If ℝ is thought of as the set of real numbers without further structure, the direct product ℝ×ℝ is just the Cartesian product {(x,y):x,y∈ℝ}.
* If ℝ is thought of as the group of real numbers under addition, the direct product ℝ×ℝ still has {(x,y):x,y∈ℝ} as its underlying set. The difference between this and the preceding examples is that ℝ×ℝ is now a group and so how to add their elements must also be stated. That is done by defining (a,b)+(c,d)=(a+c,b+d).
* If ℝ is thought of as the ring of real numbers, the direct product ℝ×ℝ again has {(x,y):x,y∈ℝ} as its underlying set. The ring structure consists of addition defined by (a,b)+(c,d)=(a+c,b+d) and multiplication defined by (a,b)(c,d)=(ac,bd).
* Although the ring ℝ is a field, ℝ×ℝ is not because the nonzero element (1,0) does not have a multiplicative inverse.

In a similar manner, the direct product of finitely many algebraic structures can be talked about; for example, ℝ×ℝ×ℝ×ℝ. That relies on the direct product being associative up to isomorphism. That is, (A×B)×C≅A×(B×C) for any algebraic structures A, B, and C of the same kind. The direct product is also commutative up to isomorphism; that is, A×B≅B×A for any algebraic structures A and B of the same kind. Even the direct product of infinitely many algebraic structures can be talked about; for example, the direct product of countably many copies of ℝ, is written as ℝ×ℝ×ℝ×⋯.

## Direct product of groups

Main articles: Direct product of groups and Direct sum

In group theory, define the direct product of two groups (G,∘) and (H,⋅), can be denoted by G×H. For abelian groups that are written additively, it may also be called the direct sum of two groups, denoted by G⊕H.

It is defined as follows:

* the set of the elements of the new group is the Cartesian product of the sets of elements of G and H, that is {(g,h):g∈G,h∈H};
* on these elements put an operation, defined element-wise: (g,h)×(g′,h′)=(g∘g′,h⋅h′)

Note that (G,∘) may be the same as (H,⋅).

The construction gives a new group, which has a normal subgroup that is isomorphic to G (given by the elements of the form (g,1)) and one that is isomorphic to H (comprising the elements (1,h)).

The reverse also holds in the recognition theorem. If a group K contains two normal subgroups G and H, such that K=GH and the intersection of G and H contains only the identity, K is isomorphic to G×H. A relaxation of those conditions by requiring only one subgroup to be normal gives the semidirect product.

For example, G and H are taken as two copies of the unique (up to isomorphisms) group of order 2, C2: say {1,a} and {1,b}. Then, C2×C2={(1,1),(1,b),(a,1),(a,b)}, with the operation element by element. For instance, (1,b)*(a,1)=(1*a,b*1)=(a,b), and(1,b)*(1,b)=(1,b2)=(1,1).

With a direct product, some natural group homomorphisms are obtained for free: the projection maps defined by π1:G×H->G, π1(g,h)=gπ2:G×H->H, π2(g,h)=h are called the coordinate functions.

Also, every homomorphism f to the direct product is totally determined by its component functions fi=πi∘f.

For any group (G,∘) and any integer n≥0, repeated application of the direct product gives the group of all n-tuples Gn (for n=0, that is the trivial group); for example, ℤn and ℝn.

## Direct product of modules

The direct product for modules (not to be confused with the tensor product) is very similar to the one that is defined for groups above by using the Cartesian product with the operation of addition being componentwise, and the scalar multiplication just distributing over all the components. Starting from ℝ, Euclidean space ℝn is gotten, the prototypical example of a real n-dimensional vector space. The direct product of ℝm and ℝn is ℝm+n.

A direct product for a finite index ∏i=1nXi is canonically isomorphic to the direct sum ⨁i=1nXi. The direct sum and the direct product are not isomorphic for infinite indices for which the elements of a direct sum are zero for all but for a finite number of entries. They are dual in the sense of category theory: the direct sum is the coproduct, and the direct product is the product.

For example, for X=∏i=1∞ℝ and Y=⨁i=1∞ℝ, the infinite direct product and direct sum of the real numbers. Only sequences with a finite number of non-zero elements are in Y. For example, (1,0,0,0,…) is in Y but (1,1,1,1,…) is not. Both sequences are in the direct product X; in fact, Y is a proper subset of X (that is, Y⊂X).[3][4]

## Topological space direct product

The direct product for a collection of topological spaces Xi for i in I, some index set, once again makes use of the Cartesian product ∏i∈IXi.

Defining the topology is a little tricky. For finitely many factors, it is the obvious and natural thing to do: simply take as a basis of open sets to be the collection of all Cartesian products of open subsets from each factor: ℬ={U1×⋯×Un : Ui open in Xi}.

That topology is called the product topology. For example, by directly defining the product topology on ℝ2 by the open sets of ℝ (disjoint unions of open intervals), the basis for that topology would consist of all disjoint unions of open rectangles in the plane (as it turns out, it coincides with the usual metric topology).

The product topology for infinite products has a twist, which has to do with being able to make all the projection maps continuous and to make all functions into the product continuous if and only if all its component functions are continuous (that is, to satisfy the categorical definition of product: the morphisms here are continuous functions). The basis of open sets is taken to be the collection of all Cartesian products of open subsets from each factor, as before, with the proviso that all but finitely many of the open subsets are the entire factor: ℬ={∏i∈IUi : (∃j1,…,jn)(Uji open in Xji) and (∀i≠j1,…,jn)(Ui=Xi)}.

The more natural-sounding topology would be, in this case, to take products of infinitely many open subsets as before, which yields a somewhat interesting topology, the box topology. However, it is not too difficult to find an example of bunch of continuous component functions whose product function is not continuous (see the separate entry box topology for an example and more). The problem that makes the twist necessary is ultimately rooted in the fact that the intersection of open sets is guaranteed to be open only for finitely many sets in the definition of topology.

Products (with the product topology) are nice with respect to preserving properties of their factors; for example, the product of Hausdorff spaces is Hausdorff, the product of connected spaces is connected, and the product of compact spaces is compact. That last one, called Tychonoff's theorem, is yet another equivalence to the axiom of choice.

For more properties and equivalent formulations, see product topology.

## Direct product of binary relations

On the Cartesian product of two sets with binary relations R and S, define (a,b)T(c,d) as aRc and bSd. If R and S are both reflexive, irreflexive, transitive, symmetric, or antisymmetric, then T will be also.[5] Similarly, totality of T is inherited from R and S. If the properties are combined, that also applies for being a preorder and being an equivalence relation. However, if R and S are connected relations, T need not be connected; for example, the direct product of ≤ on ℕ with itself does not relate (1,2) and (2,1).

## Direct product in universal algebra

If Σ is a fixed signature, I is an arbitrary (possibly infinite) index set, and (𝐀i)i∈I is an indexed family of Σ algebras, the direct product 𝐀=∏i∈I𝐀i is a Σ algebra defined as follows:

* The universe set A of 𝐀 is the Cartesian product of the universe sets Ai of 𝐀i, formally: A=∏i∈IAi.
* For each n and each n-ary operation symbol f∈Σ, its interpretation f𝐀 in 𝐀 is defined componentwise, formally. For all a1,…,an∈A and each i∈I, the ith component of f𝐀(a1,…,an) is defined as f𝐀i(a1(i),…,an(i)).

For each i∈I, the ith projection πi:A->Ai is defined by πi(a)=a(i). It is a surjective homomorphism between the Σ algebras 𝐀 and 𝐀i.[6]

As a special case, if the index set I={1,2}, the direct product of two Σ algebras 𝐀1 and 𝐀2 is obtained, written as 𝐀=𝐀1×𝐀2. If Σ contains only one binary operation f, the above definition of the direct product of groups is obtained by using the notation A1=G,A2=H, fA1=∘, fA2=⋅, and fA=×. Similarly, the definition of the direct product of modules is subsumed here.

## Categorical product

Main article: Product (category theory)

The direct product can be abstracted to an arbitrary category. In a category, given a collection of objects (Ai)i∈I indexed by a set I, a product of those objects is an object A together with morphisms pi:A->Ai for all i∈I, such that if B is any other object with morphisms fi:B->Ai for all i∈I, there is a unique morphism B->A whose composition with pi equals fi for every i. Such A and (pi)i∈I do not always exist. If they exist, then (A,(pi)i∈I) is unique up to isomorphism, and A is denoted ∏i∈IAi.

In the special case of the category of groups, a product always exists. The underlying set of ∏i∈IAi is the Cartesian product of the underlying sets of the Ai, the group operation is componentwise multiplication, and the (homo)morphism pi:A->Ai is the projection sending each tuple to its ith coordinate.

## Internal and external direct product

Some authors draw a distinction between an internal direct product and an external direct product. For example, if A and B are subgroups of an additive abelian group G such that A+B=G and A∩B={0}, A×B≅G, and it is said that G is the internal direct product of A and B. To avoid ambiguity, the set {(a,b)∣a∈A,b∈B} can be referred to as the external direct product of A and B.

## See also

* Direct sum - Algebraic structure formed from a collection of algebraic structures
* Cartesian product - Mathematical set formed from two given sets
* Product ring
* Coproduct
* Free product - Operation that combines groups
* Semidirect product - Operation in group theory
* Tensor product and Kronecker product also use the symbol ⊗ to produce a larger space

## Notes

1. ↑ Lang, pp. 9–10 and 127.
2. ↑ Lang, pp. 59 and 128.
3. ↑ Weisstein, Eric W.. "Direct Product" (in en). http://mathworld.wolfram.com/DirectProduct.html.
4. ↑ Weisstein, Eric W.. "Group Direct Product" (in en). http://mathworld.wolfram.com/GroupDirectProduct.html.
5. ↑ "Equivalence and Order". http://cr.yp.to/2005-261/bender1/EO.pdf.
6. ↑ Stanley N. Burris and H.P. Sankappanavar, 1981. A Course in Universal Algebra. Springer-Verlag. ISBN 3-540-90578-2. Here: Def. 7.8, p. 53 (p. 67 in PDF)

## References

* Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, 211 (Revised third ed.), New York: Springer-Verlag, ISBN 978-0-387-95385-4

ru:Прямое произведение#Прямое произведение групп

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Direct product. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Direct_product&oldid=4296203"